runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687688-1337873663/watcher-3687688-1337873663 -o /tmp/evaluation-result-3687688-1337873663/solver-3687688-1337873663 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687688-1337873663.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 253491769 98570240 977 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 24065 977 743 9 0 16771 0
[pid=31242/tid=31243] ppid=31240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) R 31240 31242 30487 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 253491770 98570240 977 33554432000 1073741824 1073778376 140733897094768 139905299680808 214537422208 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100834 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4487 0 1 0 10 1 0 0 20 0 18 0 253491769 9787813888 6150 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2389603 6150 2142 9 0 2380296 0
[pid=31242/tid=31243] ppid=31240 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) R 31240 31242 30487 0 -1 4202560 2431 0 1 0 6 2 0 0 20 0 18 0 253491770 9787813888 6150 33554432000 1073741824 1073778376 140733897094768 139905299684272 214540805389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.200312 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4752 0 1 0 17 1 0 0 20 0 19 0 253491769 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 7365 2182 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2445 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824668
[startup+0.300354 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4752 0 1 0 17 1 0 0 20 0 19 0 253491769 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 7365 2182 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2445 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 7365 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824668
[startup+0.700286 s]
/proc/loadavg: 3.74 3.70 3.17 4/197 31242
/proc/meminfo: memFree=28250908/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 4781 0 1 0 18 1 0 0 20 0 19 0 253491769 10060460032 8406 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 8406 2183 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2461 0 1 0 12 2 0 0 20 0 19 0 253491770 10060460032 8406 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824668
[startup+1.50065 s]
/proc/loadavg: 3.74 3.70 3.17 2/216 31267
/proc/meminfo: memFree=28225016/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 6446 0 1 0 37 4 0 0 20 0 19 0 253491769 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 10483 2223 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2461 0 1 0 13 2 0 0 20 0 19 0 253491770 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491770 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 1474 0 0 0 7 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 1191 0 0 0 8 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 10483 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9824668
[startup+3.10062 s]
/proc/loadavg: 3.74 3.70 3.17 7/219 31276
/proc/meminfo: memFree=28200760/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 13438 0 1 0 85 9 0 0 20 0 19 0 253491769 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 18242 2233 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2462 0 1 0 13 2 0 0 20 0 19 0 253491770 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491770 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253491771 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253491772 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 5685 0 0 0 26 2 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 3940 0 0 0 27 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253491774 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253491886 10060460032 18242 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.30067 s]
/proc/loadavg: 3.60 3.67 3.16 3/216 31294
/proc/meminfo: memFree=28144532/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 16527 0 1 0 213 22 0 0 20 0 22 0 253491769 10060460032 43549 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 43579 2277 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2464 0 1 0 14 2 0 0 20 0 22 0 253491770 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253491770 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253491771 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) R 31240 31242 30487 0 -1 4202560 7115 0 0 0 62 2 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904783040936 214537089731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=0.6 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) R 31240 31242 30487 0 -1 4202560 5452 0 0 0 60 0 0 0 20 0 22 0 253491774 10060460032 43583 33554432000 1073741824 1073778376 140733897094768 139904781998136 139905306672714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=609.4 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 65 0 0 0 60931 9 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154365108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=610.21 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 61009 12 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904776698032 139905154715604 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 288969 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1471.84
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.98 3.89 3.57 5/219 31407
/proc/meminfo: memFree=25175504/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1590.96 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31483 0 1 0 158943 153 0 0 20 0 22 0 253491769 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 291551 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2540 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 283 0 0 0 100 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 276 0 0 0 94 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 98 3 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 273 0 0 0 91 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 223 0 0 0 98 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 229 0 0 0 96 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 232 0 0 0 93 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=44.11 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 677 0 0 0 4330 81 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 48 0 0 0 8 8 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=668.35 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 69 0 0 0 66825 10 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154382915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=669.16 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 66903 13 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904776698032 139905154977465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1590.96
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 4.02 3.92 3.60 5/219 31407
/proc/meminfo: memFree=25085964/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1710.28 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31494 0 1 0 170871 157 0 0 20 0 22 0 253491769 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 291551 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2543 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 283 0 0 0 101 3 0 0 20 0 22 0 253491770 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 276 0 0 0 95 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 99 3 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 273 0 0 0 93 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 223 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 229 0 0 0 97 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 102 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 232 0 0 0 96 2 0 0 20 0 22 0 253491771 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=44.91 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 681 0 0 0 4408 83 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 52 0 0 0 9 9 0 0 20 0 22 0 253491774 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=727.53 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 69 0 0 0 72742 11 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154160560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=728.36 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 57 0 0 0 72822 14 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904776698400 139905154483502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 291551 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1710.28
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+927.501 s]
/proc/loadavg: 4.01 3.93 3.61 5/219 31407
/proc/meminfo: memFree=24937396/32873648 swapFree=7104/7104
[pid=31242] ppid=31240 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/31242/stat : 31242 (java) S 31240 31242 30487 0 -1 4202496 31559 0 1 0 179841 163 0 0 20 0 22 0 253491769 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 140733897085904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31242/statm: 2456167 295177 2282 9 0 2446860 0
[pid=31242/tid=31243] ppid=31240 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/31242/task/31243/stat : 31243 (java) S 31240 31242 30487 0 -1 4202560 2544 0 1 0 16 3 0 0 20 0 22 0 253491770 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905299686392 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31245] ppid=31240 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/31242/task/31245/stat : 31245 (java) S 31240 31242 30487 0 -1 4202560 284 0 0 0 103 3 0 0 20 0 22 0 253491770 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905142926120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31246] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31246/stat : 31246 (java) S 31240 31242 30487 0 -1 4202560 277 0 0 0 99 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905141873320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31247] ppid=31240 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/31242/task/31247/stat : 31247 (java) S 31240 31242 30487 0 -1 4202560 278 0 0 0 104 3 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905140821032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31248] ppid=31240 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/31242/task/31248/stat : 31248 (java) S 31240 31242 30487 0 -1 4202560 275 0 0 0 97 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905139768232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31249] ppid=31240 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/31242/task/31249/stat : 31249 (java) S 31240 31242 30487 0 -1 4202560 225 0 0 0 103 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139905138714920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31250] ppid=31240 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/31242/task/31250/stat : 31250 (java) S 31240 31242 30487 0 -1 4202560 272 0 0 0 100 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904801564840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31251] ppid=31240 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/31242/task/31251/stat : 31251 (java) S 31240 31242 30487 0 -1 4202560 265 0 0 0 104 2 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904800512552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31252] ppid=31240 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/31242/task/31252/stat : 31252 (java) S 31240 31242 30487 0 -1 4202560 234 0 0 0 100 3 0 0 20 0 22 0 253491771 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904799459752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31253] ppid=31240 vsize=9824668 CPUtime=45.73 cores=0,2,4,6
/proc/31242/task/31253/stat : 31253 (java) S 31240 31242 30487 0 -1 4202560 687 0 0 0 4485 88 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904787262184 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31254] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31254/stat : 31254 (java) S 31240 31242 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904786208248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31255] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31255/stat : 31255 (java) S 31240 31242 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253491772 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904785155848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31256] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31256/stat : 31256 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904784104336 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31257] ppid=31240 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/31242/task/31257/stat : 31257 (java) S 31240 31242 30487 0 -1 4202560 17705 0 0 0 177 3 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904783050936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31258] ppid=31240 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/31242/task/31258/stat : 31258 (java) S 31240 31242 30487 0 -1 4202560 6393 0 0 0 101 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904781998136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31259] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31259/stat : 31259 (java) S 31240 31242 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904780946040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31242/tid=31260] ppid=31240 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/31242/task/31260/stat : 31260 (java) S 31240 31242 30487 0 -1 4202560 54 0 0 0 9 9 0 0 20 0 22 0 253491774 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904779893448 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31270] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31270/stat : 31270 (java) S 31240 31242 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253491886 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904777753896 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31242/tid=31323] ppid=31240 vsize=9824668 CPUtime=771.83 cores=0,2,4,6
/proc/31242/task/31323/stat : 31323 (java) R 31240 31242 30487 0 -1 4202560 70 0 0 0 77172 11 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904775647344 139905154404865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31242/tid=31324] ppid=31240 vsize=9824668 CPUtime=772.73 cores=0,2,4,6
/proc/31242/task/31324/stat : 31324 (java) R 31240 31242 30487 0 -1 4202560 58 0 0 0 77259 14 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904776698240 139905154977424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31242/tid=31325] ppid=31240 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/31242/task/31325/stat : 31325 (java) S 31240 31242 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504134 10060460032 295177 33554432000 1073741824 1073778376 140733897094768 139904778806312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 927.527
CPU time (s): 1800.45
CPU user time (s): 1798.4
CPU system time (s): 2.05169
CPU usage (%): 194.113
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 2.05169
maximum resident set size= 1180820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31588
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30533
involuntary context switches= 31292
runsolver used 4.07238 second user time and 7.01293 second system time
The end