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/201108291842/p2cudf-user-1.13/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.result -notuptodate,-removed,-changed 

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.20 1.14 5/35 32182
/proc/meminfo: memFree=514032/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2568 CPUtime=0
/proc/32181/stat : 32181 (p2cudf) R 32180 32180 17511 34816 17511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 46682069 2629632 271 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32181/statm: 642 271 231 194 0 29 0
[pid=32182] ppid=32181 vsize=2568 CPUtime=0
/proc/32182/stat : 32182 (p2cudf) R 32181 32180 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46682069 2629632 40 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32182/statm: 642 40 0 194 0 29 0

[startup+0.164033 s]
/proc/loadavg: 1.29 1.20 1.14 5/35 32182
/proc/meminfo: memFree=514032/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.204028 s]
/proc/loadavg: 1.29 1.20 1.14 5/35 32182
/proc/meminfo: memFree=514032/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.304043 s]
/proc/loadavg: 1.29 1.20 1.14 5/35 32182
/proc/meminfo: memFree=514032/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.704106 s]
/proc/loadavg: 1.29 1.20 1.14 5/35 32182
/proc/meminfo: memFree=514032/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50425 s]
/proc/loadavg: 1.29 1.20 1.14 4/45 32203
/proc/meminfo: memFree=471844/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=886056 CPUtime=1.46
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 23576 0 1 0 136 10 0 0 25 0 10 0 46682072 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221514 20500 1723 10 0 218605 0
[pid=32194/tid=32195] ppid=32181 vsize=886056 CPUtime=0.79
/proc/32194/task/32195/stat : 32195 (java) R 32181 32180 17511 34816 17511 4202560 11741 0 1 0 74 5 0 0 25 0 10 0 46682073 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4095236763 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32196/stat : 32196 (java) S 32181 32180 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46682074 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46682075 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46682075 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=886056 CPUtime=0.48
/proc/32194/task/32200/stat : 32200 (java) R 32181 32180 17511 34816 17511 4202560 8272 0 0 0 44 4 0 0 21 0 10 0 46682077 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4149820547 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=886056 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 24 0 10 0 46682077 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=886056 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46682077 907321344 20500 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 891196

[startup+3.11463 s]
/proc/loadavg: 1.29 1.20 1.14 3/45 32203
/proc/meminfo: memFree=365452/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=884988 CPUtime=3.07
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 67402 0 1 0 284 23 0 0 25 0 10 0 46682072 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221247 64088 1742 10 0 218338 0
[pid=32194/tid=32195] ppid=32181 vsize=884988 CPUtime=1.71
/proc/32194/task/32195/stat : 32195 (java) R 32181 32180 17511 34816 17511 4202560 50078 0 1 0 154 17 0 0 25 0 10 0 46682073 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=884988 CPUtime=0.12
/proc/32194/task/32196/stat : 32196 (java) R 32181 32180 17511 34816 17511 4202560 5376 0 0 0 11 1 0 0 15 0 10 0 46682074 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4149092717 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46682075 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46682075 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=884988 CPUtime=1.03
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8391 0 0 0 99 4 0 0 17 0 10 0 46682077 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=884988 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 10 0 46682077 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46682077 906227712 64088 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 890128

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

[startup+3.21462 s]
/proc/loadavg: 1.29 1.20 1.14 3/45 32203
/proc/meminfo: memFree=365452/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=884988 CPUtime=3.17
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 72025 0 1 0 289 28 0 0 25 0 10 0 46682072 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221247 68711 1742 10 0 218338 0
[pid=32194/tid=32195] ppid=32181 vsize=884988 CPUtime=1.71
/proc/32194/task/32195/stat : 32195 (java) R 32181 32180 17511 34816 17511 4202560 50078 0 1 0 154 17 0 0 25 0 10 0 46682073 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=884988 CPUtime=0.22
/proc/32194/task/32196/stat : 32196 (java) R 32181 32180 17511 34816 17511 4202560 9999 0 0 0 16 6 0 0 15 0 10 0 46682074 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4149673230 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46682075 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46682075 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=884988 CPUtime=1.03
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8391 0 0 0 99 4 0 0 17 0 10 0 46682077 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=884988 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 10 0 46682077 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=884988 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46682077 906227712 68711 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 890128

[startup+4.80503 s]
/proc/loadavg: 1.35 1.21 1.15 3/46 32204
/proc/meminfo: memFree=235624/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=885312 CPUtime=4.76
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 74488 0 1 0 446 30 0 0 25 0 11 0 46682072 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221328 71174 1771 10 0 218419 0
[pid=32194/tid=32195] ppid=32181 vsize=885312 CPUtime=2.42
/proc/32194/task/32195/stat : 32195 (java) R 32181 32180 17511 34816 17511 4202560 50255 0 1 0 224 18 0 0 25 0 11 0 46682073 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4095844012 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=885312 CPUtime=0.28
/proc/32194/task/32196/stat : 32196 (java) S 32181 32180 17511 34816 17511 4202560 12157 0 0 0 22 6 0 0 16 0 11 0 46682074 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46682075 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46682075 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=885312 CPUtime=1.87
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8512 0 0 0 181 6 0 0 16 0 11 0 46682077 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=885312 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 11 0 46682077 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46682077 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32204] ppid=32181 vsize=885312 CPUtime=0
/proc/32194/task/32204/stat : 32204 (java) S 32181 32180 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46682504 906559488 71174 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 890452

[startup+5.60425 s]
/proc/loadavg: 1.35 1.21 1.15 1/46 32205
/proc/meminfo: memFree=235120/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=885636 CPUtime=5.44
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 74550 0 1 0 514 30 0 0 25 0 11 0 46682072 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221409 71236 1776 10 0 218500 0
[pid=32194/tid=32195] ppid=32181 vsize=885636 CPUtime=2.75
/proc/32194/task/32195/stat : 32195 (java) S 32181 32180 17511 34816 17511 4202560 50276 0 1 0 257 18 0 0 25 0 11 0 46682073 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=885636 CPUtime=0.28
/proc/32194/task/32196/stat : 32196 (java) S 32181 32180 17511 34816 17511 4202560 12157 0 0 0 22 6 0 0 16 0 11 0 46682074 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46682075 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46682075 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=885636 CPUtime=2.22
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8547 0 0 0 216 6 0 0 16 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=885636 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32205] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32205/stat : 32205 (java) S 32181 32180 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46682618 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 890776

[startup+6.00426 s]
/proc/loadavg: 1.35 1.21 1.15 1/46 32205
/proc/meminfo: memFree=235120/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=885636 CPUtime=5.44
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 74550 0 1 0 514 30 0 0 25 0 11 0 46682072 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221409 71236 1776 10 0 218500 0
[pid=32194/tid=32195] ppid=32181 vsize=885636 CPUtime=2.75
/proc/32194/task/32195/stat : 32195 (java) S 32181 32180 17511 34816 17511 4202560 50276 0 1 0 257 18 0 0 25 0 11 0 46682073 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=885636 CPUtime=0.28
/proc/32194/task/32196/stat : 32196 (java) S 32181 32180 17511 34816 17511 4202560 12157 0 0 0 22 6 0 0 16 0 11 0 46682074 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46682075 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46682075 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=885636 CPUtime=2.22
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8547 0 0 0 216 6 0 0 16 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=885636 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46682077 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32205] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32205/stat : 32205 (java) R 32181 32180 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 11 0 46682618 906891264 71236 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 890776

[startup+6.10433 s]
/proc/loadavg: 1.35 1.21 1.15 1/46 32205
/proc/meminfo: memFree=235120/1048576 swapFree=0/0
[pid=32180] ppid=32179 vsize=2568 CPUtime=0
/proc/32180/stat : 32180 (p2cudf-user-1.1) S 32179 32180 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46682069 2629632 270 1283457024 134512640 135304128 4292079360 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32180/statm: 642 270 230 194 0 29 0
[pid=32181] ppid=32180 vsize=2572 CPUtime=0.03
/proc/32181/stat : 32181 (p2cudf) S 32180 32180 17511 34816 17511 4202496 391 3011 0 1 0 0 2 1 25 0 1 0 46682069 2633728 280 1283457024 134512640 135304128 4287541984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32181/statm: 643 280 239 194 0 30 0
[pid=32194] ppid=32181 vsize=885636 CPUtime=5.54
/proc/32194/stat : 32194 (java) S 32181 32180 17511 34816 17511 4202496 74553 0 1 0 521 33 0 0 25 0 10 0 46682072 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32194/statm: 221409 71239 1777 10 0 218500 0
[pid=32194/tid=32195] ppid=32181 vsize=885636 CPUtime=2.75
/proc/32194/task/32195/stat : 32195 (java) S 32181 32180 17511 34816 17511 4202560 50276 0 1 0 257 18 0 0 19 0 10 0 46682073 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32181 vsize=885636 CPUtime=0.28
/proc/32194/task/32196/stat : 32196 (java) S 32181 32180 17511 34816 17511 4202560 12157 0 0 0 22 6 0 0 16 0 10 0 46682074 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32197] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32197/stat : 32197 (java) S 32181 32180 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46682075 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32198] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32198/stat : 32198 (java) S 32181 32180 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46682075 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32199] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32199/stat : 32199 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32200] ppid=32181 vsize=885636 CPUtime=2.25
/proc/32194/task/32200/stat : 32200 (java) S 32181 32180 17511 34816 17511 4202560 8549 0 0 0 219 6 0 0 15 0 10 0 46682077 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32201] ppid=32181 vsize=885636 CPUtime=0.18
/proc/32194/task/32201/stat : 32201 (java) S 32181 32180 17511 34816 17511 4202560 2483 0 0 0 18 0 0 0 20 0 10 0 46682077 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32202] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32202/stat : 32202 (java) S 32181 32180 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46682077 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=32194/tid=32203] ppid=32181 vsize=885636 CPUtime=0
/proc/32194/task/32203/stat : 32203 (java) S 32181 32180 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46682077 906891264 71239 1283457024 134512640 134550932 4294920320 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 890776

Child status: 0
Real time (s): 6.16863
CPU time (s): 5.58835
CPU user time (s): 5.23633
CPU system time (s): 0.352022
CPU usage (%): 90.5931
Max. virtual memory (cumulated for all children) (KiB): 891196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.23633
system time used= 0.352022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78354
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= 731
involuntary context switches= 711

runsolver used 0 second user time and 0.008 second system time

The end