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/201012091704/p2cudf-user-1.10/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//2f690324-4939-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.result -changed,-notuptodate,-removed,-new 

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.01 1.11 1.00 5/38 4079
/proc/meminfo: memFree=469624/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0
/proc/4078/stat : 4078 (p2cudf-user-1.1) R 4077 4078 25521 34816 2180 4202496 359 0 0 0 0 0 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0
/proc/4079/stat : 4079 (p2cudf-user-1.1) R 4078 4078 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900978330 2633728 40 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4079/statm: 643 40 0 194 0 29 0

[startup+0.125327 s]
/proc/loadavg: 1.01 1.11 1.00 5/38 4079
/proc/meminfo: memFree=469624/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.20534 s]
/proc/loadavg: 1.01 1.11 1.00 5/38 4079
/proc/meminfo: memFree=469624/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.30536 s]
/proc/loadavg: 1.01 1.11 1.00 5/38 4079
/proc/meminfo: memFree=469624/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.705421 s]
/proc/loadavg: 1.01 1.11 1.00 5/38 4079
/proc/meminfo: memFree=469624/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50587 s]
/proc/loadavg: 1.01 1.11 1.00 5/49 4101
/proc/meminfo: memFree=427844/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=880276 CPUtime=1.46
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 16690 0 1 0 139 7 0 0 25 0 10 0 900978333 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 220069 12722 1732 10 0 217159 0
[pid=4092/tid=4093] ppid=4079 vsize=880276 CPUtime=0.56
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 5686 0 1 0 52 4 0 0 25 0 10 0 900978334 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4095301838 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 17 0 10 0 900978335 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900978336 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900978336 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=880276 CPUtime=0.62
/proc/4092/task/4098/stat : 4098 (java) R 4079 4078 25521 34816 2180 4202560 8688 0 0 0 60 2 0 0 25 0 10 0 900978339 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=880276 CPUtime=0.27
/proc/4092/task/4099/stat : 4099 (java) R 4079 4078 25521 34816 2180 4202560 1202 0 0 0 27 0 0 0 22 0 10 0 900978339 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4148765119 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=880276 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900978339 901402624 12722 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 885420

[startup+3.10681 s]
/proc/loadavg: 1.01 1.11 1.00 2/49 4101
/proc/meminfo: memFree=363592/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=879424 CPUtime=2.97
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 70247 0 1 0 269 28 0 0 25 0 10 0 900978333 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219856 65626 1733 10 0 216946 0
[pid=4092/tid=4093] ppid=4079 vsize=879424 CPUtime=1.56
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50251 0 1 0 136 20 0 0 25 0 10 0 900978334 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=879424 CPUtime=0.18
/proc/4092/task/4094/stat : 4094 (java) R 4079 4078 25521 34816 2180 4202560 8184 0 0 0 14 4 0 0 16 0 10 0 900978335 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4149945056 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=879424 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900978336 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=879424 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900978336 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=879424 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=879424 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 10 0 900978339 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=879424 CPUtime=0.47
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 1939 0 0 0 47 0 0 0 16 0 10 0 900978339 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=879424 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=879424 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900978339 900530176 65626 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 884568

[startup+6.31258 s]
/proc/loadavg: 1.09 1.13 1.01 3/49 4101
/proc/meminfo: memFree=143876/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=878596 CPUtime=6.02
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89650 0 1 0 570 32 0 0 25 0 10 0 900978333 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219649 83484 1766 10 0 216739 0
[pid=4092/tid=4093] ppid=4079 vsize=878596 CPUtime=2.71
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50444 0 1 0 251 20 0 0 25 0 10 0 900978334 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4095946153 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=878596 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 16 0 10 0 900978335 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=878596 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900978336 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=878596 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 10 0 900978336 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=878596 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=878596 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 10 0 900978339 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=878596 CPUtime=1.95
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3499 0 0 0 195 0 0 0 15 0 10 0 900978339 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=878596 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900978339 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=878596 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900978339 899682304 83484 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 883740

[startup+12.7143 s]
/proc/loadavg: 1.08 1.13 1.01 2/50 4102
/proc/meminfo: memFree=119812/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=878920 CPUtime=12.41
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89780 0 1 0 1209 32 0 0 25 0 11 0 900978333 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219730 83614 1791 10 0 216820 0
[pid=4092/tid=4093] ppid=4079 vsize=878920 CPUtime=8.44
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50471 0 1 0 824 20 0 0 25 0 11 0 900978334 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4096582796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=878920 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 11 0 900978335 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=878920 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=878920 CPUtime=2.62
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3598 0 0 0 262 0 0 0 15 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900979016 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 884064

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

[startup+12.8144 s]
/proc/loadavg: 1.08 1.13 1.01 2/50 4102
/proc/meminfo: memFree=119812/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=878920 CPUtime=12.51
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89780 0 1 0 1219 32 0 0 25 0 11 0 900978333 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219730 83614 1791 10 0 216820 0
[pid=4092/tid=4093] ppid=4079 vsize=878920 CPUtime=8.54
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50471 0 1 0 834 20 0 0 25 0 11 0 900978334 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4096577326 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=878920 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 11 0 900978335 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=878920 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=878920 CPUtime=2.62
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3598 0 0 0 262 0 0 0 15 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900978339 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900979016 900014080 83614 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 884064

[startup+14.4048 s]
/proc/loadavg: 1.08 1.13 1.01 2/50 4102
/proc/meminfo: memFree=119688/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=878920 CPUtime=14.1
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89786 0 1 0 1378 32 0 0 25 0 11 0 900978333 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219730 83620 1791 10 0 216820 0
[pid=4092/tid=4093] ppid=4079 vsize=878920 CPUtime=10.08
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50471 0 1 0 988 20 0 0 25 0 11 0 900978334 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4096561434 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=878920 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 11 0 900978335 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=878920 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=878920 CPUtime=2.67
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3604 0 0 0 267 0 0 0 16 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900979016 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.13
Current children cumulated vsize (KiB) 884064

[startup+15.2049 s]
/proc/loadavg: 1.08 1.13 1.01 2/50 4102
/proc/meminfo: memFree=119688/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=878920 CPUtime=14.9
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89786 0 1 0 1458 32 0 0 25 0 11 0 900978333 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219730 83620 1791 10 0 216820 0
[pid=4092/tid=4093] ppid=4079 vsize=878920 CPUtime=10.88
/proc/4092/task/4093/stat : 4093 (java) R 4079 4078 25521 34816 2180 4202560 50471 0 1 0 1068 20 0 0 25 0 11 0 900978334 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4096616337 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=878920 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 11 0 900978335 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900978336 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=878920 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=878920 CPUtime=2.67
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3604 0 0 0 267 0 0 0 16 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900978339 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=878920 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900979016 900014080 83620 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.93
Current children cumulated vsize (KiB) 884064

[startup+16.0052 s]
/proc/loadavg: 1.08 1.12 1.01 2/50 4102
/proc/meminfo: memFree=119688/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=879244 CPUtime=15.48
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89803 0 1 0 1516 32 0 0 25 0 12 0 900978333 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219811 83637 1791 10 0 216901 0
[pid=4092/tid=4093] ppid=4079 vsize=879244 CPUtime=11.4
/proc/4092/task/4093/stat : 4093 (java) S 4079 4078 25521 34816 2180 4202560 50478 0 1 0 1120 20 0 0 25 0 12 0 900978334 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=879244 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 12 0 900978335 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900978336 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900978336 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900978339 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=879244 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 12 0 900978339 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=879244 CPUtime=2.73
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3610 0 0 0 273 0 0 0 16 0 12 0 900978339 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900978339 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900978339 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900979016 900345856 83637 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.51
Current children cumulated vsize (KiB) 884388

[startup+16.4092 s]
/proc/loadavg: 1.08 1.12 1.01 2/50 4102
/proc/meminfo: memFree=119688/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=879244 CPUtime=15.59
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89807 0 1 0 1526 33 0 0 25 0 12 0 900978333 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219811 83641 1791 10 0 216901 0
[pid=4092/tid=4093] ppid=4079 vsize=879244 CPUtime=11.4
/proc/4092/task/4093/stat : 4093 (java) S 4079 4078 25521 34816 2180 4202560 50478 0 1 0 1120 20 0 0 25 0 12 0 900978334 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=879244 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 12 0 900978335 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900978336 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900978336 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900978339 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=879244 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 12 0 900978339 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=879244 CPUtime=2.76
/proc/4092/task/4099/stat : 4099 (java) R 4079 4078 25521 34816 2180 4202560 3612 0 0 0 276 0 0 0 16 0 12 0 900978339 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4152426873 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900978339 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) S 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900978339 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900979016 900345856 83641 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 884388

[startup+16.5052 s]
/proc/loadavg: 1.08 1.12 1.01 2/50 4103
/proc/meminfo: memFree=119440/1048576 swapFree=2095372/2097144
[pid=4078] ppid=4077 vsize=2572 CPUtime=0.01
/proc/4078/stat : 4078 (p2cudf-user-1.1) S 4077 4078 25521 34816 2180 4202496 377 0 0 0 0 1 0 0 25 0 1 0 900978330 2633728 273 1283457024 134512640 135304128 4293961936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4078/statm: 643 273 233 194 0 29 0
[pid=4079] ppid=4078 vsize=2572 CPUtime=0.02
/proc/4079/stat : 4079 (p2cudf) S 4078 4078 25521 34816 2180 4202496 392 2996 0 1 0 0 0 2 25 0 1 0 900978330 2633728 282 1283457024 134512640 135304128 4294756784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4079/statm: 643 282 241 194 0 29 0
[pid=4092] ppid=4079 vsize=879244 CPUtime=15.65
/proc/4092/stat : 4092 (java) S 4079 4078 25521 34816 2180 4202496 89810 0 1 0 1528 37 0 0 25 0 11 0 900978333 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4092/statm: 219811 83644 1791 10 0 216901 0
[pid=4092/tid=4093] ppid=4079 vsize=879244 CPUtime=11.4
/proc/4092/task/4093/stat : 4093 (java) S 4079 4078 25521 34816 2180 4202560 50478 0 1 0 1120 20 0 0 19 0 11 0 900978334 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4094] ppid=4079 vsize=879244 CPUtime=0.58
/proc/4092/task/4094/stat : 4094 (java) S 4079 4078 25521 34816 2180 4202560 25831 0 0 0 50 8 0 0 15 0 11 0 900978335 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4095] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4095/stat : 4095 (java) S 4079 4078 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900978336 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4096] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4096/stat : 4096 (java) S 4079 4078 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900978336 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4097] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4097/stat : 4097 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4098] ppid=4079 vsize=879244 CPUtime=0.74
/proc/4092/task/4098/stat : 4098 (java) S 4079 4078 25521 34816 2180 4202560 8764 0 0 0 72 2 0 0 24 0 11 0 900978339 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4099] ppid=4079 vsize=879244 CPUtime=2.77
/proc/4092/task/4099/stat : 4099 (java) S 4079 4078 25521 34816 2180 4202560 3615 0 0 0 277 0 0 0 15 0 11 0 900978339 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4100] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4100/stat : 4100 (java) S 4079 4078 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900978339 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=4092/tid=4101] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4101/stat : 4101 (java) R 4079 4078 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900978339 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4092/tid=4102] ppid=4079 vsize=879244 CPUtime=0
/proc/4092/task/4102/stat : 4102 (java) S 4079 4078 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900979016 900345856 83644 1283457024 134512640 134550932 4290788496 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.68
Current children cumulated vsize (KiB) 884388

Child status: 0
Real time (s): 16.5421
CPU time (s): 15.725
CPU user time (s): 15.281
CPU system time (s): 0.444027
CPU usage (%): 95.0603
Max. virtual memory (cumulated for all children) (KiB): 886696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.281
system time used= 0.444027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93597
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= 1183
involuntary context switches= 1308

runsolver used 0 second user time and 0.012 second system time

The end