runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debian.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/debian//27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debian.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.29 1.15 0.94 5/39 11692
/proc/meminfo: memFree=655144/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) R 11690 11691 29493 34817 29493 4202496 357 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2572 CPUtime=0
/proc/11692/stat : 11692 (p2cudf-trendy-1) R 11691 11691 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 41 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11692/statm: 643 41 0 194 0 30 0

[startup+0.155663 s]
/proc/loadavg: 1.29 1.15 0.94 5/39 11692
/proc/meminfo: memFree=655144/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.205663 s]
/proc/loadavg: 1.29 1.15 0.94 5/39 11692
/proc/meminfo: memFree=655144/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.305679 s]
/proc/loadavg: 1.29 1.15 0.94 5/39 11692
/proc/meminfo: memFree=655144/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.705787 s]
/proc/loadavg: 1.29 1.15 0.94 5/39 11692
/proc/meminfo: memFree=655144/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50597 s]
/proc/loadavg: 1.29 1.15 0.94 4/50 11714
/proc/meminfo: memFree=604880/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=885300 CPUtime=1.47
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 24260 0 1 0 139 8 0 0 25 0 10 0 74799409 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 221325 21195 1723 10 0 218416 0
[pid=11705/tid=11706] ppid=11692 vsize=885300 CPUtime=0.79
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 13068 0 1 0 75 4 0 0 25 0 10 0 74799409 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4095332075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 17 0 10 0 74799411 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 74799411 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 74799411 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74799414 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=885300 CPUtime=0.43
/proc/11705/task/11711/stat : 11711 (java) R 11692 11691 29493 34817 29493 4202560 8317 0 0 0 41 2 0 0 25 0 10 0 74799414 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=885300 CPUtime=0.23
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 1792 0 0 0 22 1 0 0 22 0 10 0 74799414 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74799414 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=885300 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74799414 906547200 21195 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 890448

[startup+3.10638 s]
/proc/loadavg: 1.29 1.15 0.94 2/50 11714
/proc/meminfo: memFree=481252/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=883432 CPUtime=3.07
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 74087 0 1 0 283 24 0 0 25 0 10 0 74799409 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220858 70761 1743 10 0 217949 0
[pid=11705/tid=11706] ppid=11692 vsize=883432 CPUtime=1.67
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50067 0 1 0 152 15 0 0 25 0 10 0 74799409 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=883432 CPUtime=0.26
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 12515 0 0 0 22 4 0 0 16 0 10 0 74799411 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=883432 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74799411 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=883432 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74799411 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=883432 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74799414 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=883432 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 10 0 74799414 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=883432 CPUtime=0.61
/proc/11705/task/11712/stat : 11712 (java) R 11692 11691 29493 34817 29493 4202560 2039 0 0 0 60 1 0 0 16 0 10 0 74799414 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4152001094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=883432 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74799414 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=883432 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74799414 904634368 70761 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 888580

[startup+6.3072 s]
/proc/loadavg: 1.35 1.17 0.95 2/50 11714
/proc/meminfo: memFree=329228/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=883488 CPUtime=6.27
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 88405 0 1 0 599 28 0 0 25 0 11 0 74799409 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220872 83050 1779 10 0 217963 0
[pid=11705/tid=11706] ppid=11692 vsize=883488 CPUtime=2.93
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50259 0 1 0 277 16 0 0 25 0 11 0 74799409 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4096098361 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=883488 CPUtime=0.55
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 24454 0 0 0 50 5 0 0 16 0 11 0 74799411 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=883488 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=883488 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=883488 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=883488 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=883488 CPUtime=2.26
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4222 0 0 0 223 3 0 0 15 0 11 0 74799414 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=883488 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=883488 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 904691712 83050 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 888636

[startup+12.7092 s]
/proc/loadavg: 1.32 1.16 0.95 2/51 11716
/proc/meminfo: memFree=329840/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882080 CPUtime=12.67
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 88425 0 1 0 1239 28 0 0 25 0 11 0 74799409 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220520 82718 1780 10 0 217611 0
[pid=11705/tid=11706] ppid=11692 vsize=882080 CPUtime=9.12
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50261 0 1 0 896 16 0 0 25 0 11 0 74799409 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4096103762 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882080 CPUtime=0.55
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 24454 0 0 0 50 5 0 0 16 0 11 0 74799411 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882080 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882080 CPUtime=2.47
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4240 0 0 0 244 3 0 0 15 0 11 0 74799414 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) R 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74799972 903249920 82718 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 887228

[startup+25.5124 s]
/proc/loadavg: 1.25 1.15 0.95 3/51 11717
/proc/meminfo: memFree=293384/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882080 CPUtime=25.47
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97601 0 1 0 2517 30 0 0 25 0 11 0 74799409 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220520 91894 1788 10 0 217611 0
[pid=11705/tid=11706] ppid=11692 vsize=882080 CPUtime=21.31
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50263 0 1 0 2115 16 0 0 25 0 11 0 74799409 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4096106808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882080 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 15 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882080 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882080 CPUtime=2.67
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4269 0 0 0 264 3 0 0 16 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74799972 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 887228

Solver just ended. Dumping a history of the last processes samples

[startup+26.9127 s]
/proc/loadavg: 1.25 1.15 0.95 2/51 11717
/proc/meminfo: memFree=293384/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882080 CPUtime=26.84
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97601 0 1 0 2654 30 0 0 25 0 11 0 74799409 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220520 91894 1788 10 0 217611 0
[pid=11705/tid=11706] ppid=11692 vsize=882080 CPUtime=22.68
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50263 0 1 0 2252 16 0 0 25 0 11 0 74799409 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4096106808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882080 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 15 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882080 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882080 CPUtime=2.67
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4269 0 0 0 264 3 0 0 16 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74799972 903249920 91894 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (KiB) 887228

[startup+27.7212 s]
/proc/loadavg: 1.25 1.15 0.95 2/51 11717
/proc/meminfo: memFree=293384/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882080 CPUtime=27.64
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97604 0 1 0 2734 30 0 0 25 0 11 0 74799409 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220520 91897 1788 10 0 217611 0
[pid=11705/tid=11706] ppid=11692 vsize=882080 CPUtime=23.46
/proc/11705/task/11706/stat : 11706 (java) R 11692 11691 29493 34817 29493 4202560 50263 0 1 0 2330 16 0 0 25 0 11 0 74799409 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882080 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 15 0 11 0 74799411 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882080 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882080 CPUtime=2.7
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4272 0 0 0 267 3 0 0 15 0 11 0 74799414 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) R 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882080 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74799972 903249920 91897 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.67
Current children cumulated vsize (KiB) 887228

[startup+28.0073 s]
/proc/loadavg: 1.25 1.15 0.95 2/51 11717
/proc/meminfo: memFree=293384/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882404 CPUtime=27.72
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97621 0 1 0 2741 31 0 0 25 0 12 0 74799409 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220601 91914 1788 10 0 217692 0
[pid=11705/tid=11706] ppid=11692 vsize=882404 CPUtime=23.5
/proc/11705/task/11706/stat : 11706 (java) S 11692 11691 29493 34817 29493 4202560 50271 0 1 0 2333 17 0 0 25 0 12 0 74799409 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882404 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 16 0 12 0 74799411 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74799411 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74799411 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74799414 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882404 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 12 0 74799414 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882404 CPUtime=2.73
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4277 0 0 0 270 3 0 0 15 0 12 0 74799414 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74799414 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74799414 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74799972 903581696 91914 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (KiB) 887552

[startup+28.4153 s]
/proc/loadavg: 1.23 1.15 0.95 1/52 11719
/proc/meminfo: memFree=293252/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882404 CPUtime=27.83
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97623 0 1 0 2750 33 0 0 25 0 12 0 74799409 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220601 91916 1788 10 0 217692 0
[pid=11705/tid=11706] ppid=11692 vsize=882404 CPUtime=23.5
/proc/11705/task/11706/stat : 11706 (java) S 11692 11691 29493 34817 29493 4202560 50271 0 1 0 2333 17 0 0 25 0 12 0 74799409 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882404 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 16 0 12 0 74799411 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74799411 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74799411 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74799414 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882404 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 12 0 74799414 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882404 CPUtime=2.77
/proc/11705/task/11712/stat : 11712 (java) R 11692 11691 29493 34817 29493 4202560 4277 0 0 0 274 3 0 0 16 0 12 0 74799414 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4151980036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74799414 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) R 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74799414 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74799972 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11718] ppid=11692 vsize=882404 CPUtime=0.07
/proc/11705/task/11718/stat : 11718 (java) R 11692 11691 29493 34817 29493 4202560 6 0 0 0 5 2 0 0 20 0 12 0 74802185 903581696 91916 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.86
Current children cumulated vsize (KiB) 887552

[startup+28.5073 s]
/proc/loadavg: 1.23 1.15 0.95 1/52 11719
/proc/meminfo: memFree=293252/1048576 swapFree=0/0
[pid=11691] ppid=11690 vsize=2572 CPUtime=0
/proc/11691/stat : 11691 (p2cudf-trendy-1) S 11690 11691 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 74799405 2633728 271 1283457024 134512640 135304128 4293015568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11691/statm: 643 271 230 194 0 30 0
[pid=11692] ppid=11691 vsize=2576 CPUtime=0.03
/proc/11692/stat : 11692 (p2cudf) S 11691 11691 29493 34817 29493 4202496 392 3012 0 1 0 0 0 3 25 0 1 0 74799405 2637824 281 1283457024 134512640 135304128 4290782704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11692/statm: 644 281 239 194 0 31 0
[pid=11705] ppid=11692 vsize=882404 CPUtime=27.9
/proc/11705/stat : 11705 (java) S 11692 11691 29493 34817 29493 4202496 97624 0 1 0 2755 35 0 0 25 0 11 0 74799409 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11705/statm: 220601 91917 1789 10 0 217692 0
[pid=11705/tid=11706] ppid=11692 vsize=882404 CPUtime=23.5
/proc/11705/task/11706/stat : 11706 (java) S 11692 11691 29493 34817 29493 4202560 50271 0 1 0 2333 17 0 0 19 0 11 0 74799409 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11707] ppid=11692 vsize=882404 CPUtime=0.96
/proc/11705/task/11707/stat : 11707 (java) S 11692 11691 29493 34817 29493 4202560 33599 0 0 0 89 7 0 0 16 0 11 0 74799411 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11708] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11692 11691 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74799411 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11709] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11692 11691 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74799411 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11710] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11711] ppid=11692 vsize=882404 CPUtime=0.49
/proc/11705/task/11711/stat : 11711 (java) S 11692 11691 29493 34817 29493 4202560 8387 0 0 0 47 2 0 0 25 0 11 0 74799414 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11712] ppid=11692 vsize=882404 CPUtime=2.79
/proc/11705/task/11712/stat : 11712 (java) S 11692 11691 29493 34817 29493 4202560 4277 0 0 0 276 3 0 0 15 0 11 0 74799414 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11713] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11692 11691 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74799414 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11714] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11714/stat : 11714 (java) S 11692 11691 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74799414 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=11705/tid=11715] ppid=11692 vsize=882404 CPUtime=0
/proc/11705/task/11715/stat : 11715 (java) S 11692 11691 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74799972 903581696 91917 1283457024 134512640 134550932 4287959504 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.93
Current children cumulated vsize (KiB) 887552

Child status: 0
Real time (s): 28.5756
CPU time (s): 27.9937
CPU user time (s): 27.5657
CPU system time (s): 0.428026
CPU usage (%): 97.9637
Max. virtual memory (cumulated for all children) (KiB): 890968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5657
system time used= 0.428026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101425
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1429
involuntary context switches= 1604

runsolver used 0 second user time and 0 second system time

The end