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-3688335-1337882672/watcher-3688335-1337882672 -o /tmp/evaluation-result-3688335-1337882672/solver-3688335-1337882672 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688335-1337882672.opb
running on 4 cores: 1,3,5,7
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: 1.91 1.98 1.99 3/194 13330
/proc/meminfo: memFree=27786096/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13330/stat : 13330 (java) R 13328 13330 12001 0 -1 4202496 1106 0 0 0 0 0 0 0 20 0 1 0 254393351 23793664 834 33554432000 1073741824 1073778376 140737230949488 140737230938552 139714329476283 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 5809 849 640 9 0 128 0
[startup+0.100727 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 13330
/proc/meminfo: memFree=27786096/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 4436 0 1 0 10 0 0 0 20 0 18 0 254393351 9787813888 6109 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 6109 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.200293 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 13330
/proc/meminfo: memFree=27786096/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=0.31 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 5111 0 1 0 30 1 0 0 20 0 18 0 254393351 9787813888 7576 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 7576 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558412
[startup+0.300229 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 13330
/proc/meminfo: memFree=27786096/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 5995 0 1 0 53 1 0 0 20 0 18 0 254393351 9787813888 9472 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 9472 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.700303 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 13330
/proc/meminfo: memFree=27786096/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=1.3 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 9240 0 1 0 124 6 0 0 20 0 18 0 254393351 9787813888 42647 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 42647 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9558412
[startup+1.50064 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 13348
/proc/meminfo: memFree=27603788/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=2.35 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 9425 0 1 0 218 17 0 0 20 0 18 0 254393351 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 86191 2245 9 0 2380296 0
[pid=13330/tid=13331] ppid=13328 vsize=9558412 CPUtime=1.35 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) S 13328 13330 12001 0 -1 4202560 2561 0 1 0 129 6 0 0 20 0 18 0 254393352 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714326461656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) R 13328 13330 12001 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714287954904 139714328934131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) R 13328 13330 12001 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714286902104 139714330638514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) R 13328 13330 12001 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714285849816 251032013959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) R 13328 13330 12001 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714284797016 251032013959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) R 13328 13330 12001 0 -1 4202560 23 0 0 0 4 1 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714283743704 139714330638511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) R 13328 13330 12001 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714282690856 139714334508192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) R 13328 13330 12001 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714281638320 139714328934107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) R 13328 13330 12001 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 18 0 254393353 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714280585640 251032013959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714150700680 251035431996 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393356 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 2574 0 0 0 24 0 0 0 20 0 18 0 254393356 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 2874 0 0 0 27 0 0 0 20 0 18 0 254393356 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393356 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393357 9787813888 86191 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9558412
[startup+3.1007 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 13348
/proc/meminfo: memFree=27447832/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9558412 CPUtime=4.33 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 12919 0 1 0 406 27 0 0 20 0 18 0 254393351 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2389603 100241 2256 9 0 2380296 0
[pid=13330/tid=13331] ppid=13328 vsize=9558412 CPUtime=2.87 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) R 13328 13330 12001 0 -1 4202560 2571 0 1 0 280 7 0 0 20 0 18 0 254393352 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714326461240 139714162162830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) S 13328 13330 12001 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714287954728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) S 13328 13330 12001 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714286901928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) S 13328 13330 12001 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714285849640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) S 13328 13330 12001 0 -1 4202560 65 0 0 0 8 3 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714284796840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) S 13328 13330 12001 0 -1 4202560 58 0 0 0 9 4 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714283743528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) S 13328 13330 12001 0 -1 4202560 54 0 0 0 10 4 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714282690728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) S 13328 13330 12001 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714281638440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) S 13328 13330 12001 0 -1 4202560 38 0 0 0 6 3 0 0 20 0 18 0 254393353 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714280585640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714150701800 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254393354 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393356 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 2577 0 0 0 27 0 0 0 20 0 18 0 254393356 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) R 13328 13330 12001 0 -1 4202560 6075 0 0 0 35 2 0 0 20 0 18 0 254393356 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139713272844712 139714329329760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393356 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254393357 9787813888 100241 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9558412
[startup+6.30062 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 13349
/proc/meminfo: memFree=27391000/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9624976 CPUtime=8.27 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 15612 0 1 0 799 28 0 0 20 0 19 0 254393351 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2406244 100611 2266 9 0 2396937 0
[pid=13330/tid=13331] ppid=13328 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) R 13328 13330 12001 0 -1 4202560 2577 0 1 0 600 7 0 0 20 0 19 0 254393352 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714326462792 139714163058396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) S 13328 13330 12001 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714287954728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) S 13328 13330 12001 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714286901928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) S 13328 13330 12001 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714285849640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) S 13328 13330 12001 0 -1 4202560 65 0 0 0 8 3 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714284796840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) S 13328 13330 12001 0 -1 4202560 58 0 0 0 9 4 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714283743528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) S 13328 13330 12001 0 -1 4202560 54 0 0 0 10 4 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714282690728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) S 13328 13330 12001 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714281638440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) S 13328 13330 12001 0 -1 4202560 38 0 0 0 6 3 0 0 20 0 19 0 254393353 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714280585640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714150701800 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 3464 0 0 0 51 2 0 0 20 0 19 0 254393356 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 7862 0 0 0 84 2 0 0 20 0 19 0 254393356 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393357 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13349] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13349/stat : 13349 (java) S 13328 13330 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393711 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 139713269708200 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 13349
/proc/meminfo: memFree=27391032/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9624976 CPUtime=14.67 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 15612 0 1 0 1439 28 0 0 20 0 19 0 254393351 9855975424 100611 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[pid=13330/tid=13345] ppid=13328 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 3464 0 0 0 52 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 7866 0 0 0 88 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 95 0 0 0 21 30 0 0 20 0 19 0 254393357 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13349] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13349/stat : 13349 (java) S 13328 13330 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393711 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713269708200 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.84
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 13425
/proc/meminfo: memFree=24879080/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9624976 CPUtime=1725.9 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 18919 0 1 0 172430 160 0 0 20 0 19 0 254393351 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2406244 719808 2267 9 0 2396937 0
[pid=13330/tid=13331] ppid=13328 vsize=9624976 CPUtime=1721.59 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) R 13328 13330 12001 0 -1 4202560 4118 0 1 0 172084 75 0 0 20 0 19 0 254393352 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714326461584 139714163056658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) S 13328 13330 12001 0 -1 4202560 78 0 0 0 15 5 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714287954728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) S 13328 13330 12001 0 -1 4202560 101 0 0 0 20 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714286901928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) S 13328 13330 12001 0 -1 4202560 85 0 0 0 16 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714285849640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) S 13328 13330 12001 0 -1 4202560 143 0 0 0 25 8 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714284796840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) S 13328 13330 12001 0 -1 4202560 178 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714283743528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) S 13328 13330 12001 0 -1 4202560 116 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714282690728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) S 13328 13330 12001 0 -1 4202560 104 0 0 0 15 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714281638440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) S 13328 13330 12001 0 -1 4202560 95 0 0 0 17 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714280585640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 1286 0 0 0 2 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714150701800 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 3464 0 0 0 52 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 7866 0 0 0 88 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 99 0 0 0 23 32 0 0 20 0 19 0 254393357 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13349] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13349/stat : 13349 (java) S 13328 13330 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393711 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713269708200 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.9
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 13425
/proc/meminfo: memFree=24879080/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9624976 CPUtime=1785.97 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 18923 0 1 0 178431 166 0 0 20 0 19 0 254393351 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2406244 719808 2267 9 0 2396937 0
[pid=13330/tid=13331] ppid=13328 vsize=9624976 CPUtime=1781.59 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) R 13328 13330 12001 0 -1 4202560 4118 0 1 0 178083 76 0 0 20 0 19 0 254393352 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714326461584 139714163056658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) S 13328 13330 12001 0 -1 4202560 78 0 0 0 15 5 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714287954728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) S 13328 13330 12001 0 -1 4202560 101 0 0 0 20 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714286901928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) S 13328 13330 12001 0 -1 4202560 85 0 0 0 16 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714285849640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) S 13328 13330 12001 0 -1 4202560 143 0 0 0 25 8 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714284796840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) S 13328 13330 12001 0 -1 4202560 178 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714283743528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) S 13328 13330 12001 0 -1 4202560 116 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714282690728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) S 13328 13330 12001 0 -1 4202560 104 0 0 0 15 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714281638440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) S 13328 13330 12001 0 -1 4202560 95 0 0 0 17 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714280585640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 1286 0 0 0 2 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714150701800 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 3464 0 0 0 52 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 7866 0 0 0 88 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 103 0 0 0 23 34 0 0 20 0 19 0 254393357 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13349] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13349/stat : 13349 (java) S 13328 13330 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393711 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713269708200 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.97
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13425
/proc/meminfo: memFree=24879080/32873844 swapFree=7364/7364
[pid=13330] ppid=13328 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/13330/stat : 13330 (java) S 13328 13330 12001 0 -1 4202496 18923 0 1 0 179833 167 0 0 20 0 19 0 254393351 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 140737230940624 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13330/statm: 2406244 719808 2267 9 0 2396937 0
[pid=13330/tid=13331] ppid=13328 vsize=9624976 CPUtime=1795.6 cores=1,3,5,7
/proc/13330/task/13331/stat : 13331 (java) R 13328 13330 12001 0 -1 4202560 4118 0 1 0 179484 76 0 0 20 0 19 0 254393352 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714326461584 139714163056718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13333] ppid=13328 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/13330/task/13333/stat : 13333 (java) S 13328 13330 12001 0 -1 4202560 78 0 0 0 15 5 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714287954728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13334] ppid=13328 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/13330/task/13334/stat : 13334 (java) S 13328 13330 12001 0 -1 4202560 101 0 0 0 20 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714286901928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13335] ppid=13328 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/13330/task/13335/stat : 13335 (java) S 13328 13330 12001 0 -1 4202560 85 0 0 0 16 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714285849640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13336] ppid=13328 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/13330/task/13336/stat : 13336 (java) S 13328 13330 12001 0 -1 4202560 143 0 0 0 25 8 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714284796840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13330/tid=13337] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13337/stat : 13337 (java) S 13328 13330 12001 0 -1 4202560 178 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714283743528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13338] ppid=13328 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/13330/task/13338/stat : 13338 (java) S 13328 13330 12001 0 -1 4202560 116 0 0 0 19 9 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714282690728 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13339] ppid=13328 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13330/task/13339/stat : 13339 (java) S 13328 13330 12001 0 -1 4202560 104 0 0 0 15 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714281638440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13340] ppid=13328 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/13330/task/13340/stat : 13340 (java) S 13328 13330 12001 0 -1 4202560 95 0 0 0 17 6 0 0 20 0 19 0 254393353 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714280585640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13341] ppid=13328 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/13330/task/13341/stat : 13341 (java) S 13328 13330 12001 0 -1 4202560 1286 0 0 0 2 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714150701800 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13342] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13342/stat : 13342 (java) S 13328 13330 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714149647864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13343] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13343/stat : 13343 (java) S 13328 13330 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254393354 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714148595464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13344] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13344/stat : 13344 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714147543952 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13345] ppid=13328 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/13330/task/13345/stat : 13345 (java) S 13328 13330 12001 0 -1 4202560 3464 0 0 0 52 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139714146490552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13330/tid=13346] ppid=13328 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13330/task/13346/stat : 13346 (java) S 13328 13330 12001 0 -1 4202560 7866 0 0 0 88 2 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713272866872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13347] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13347/stat : 13347 (java) S 13328 13330 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254393356 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713271814776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13330/tid=13348] ppid=13328 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/13330/task/13348/stat : 13348 (java) S 13328 13330 12001 0 -1 4202560 103 0 0 0 23 34 0 0 20 0 19 0 254393357 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713270762184 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13330/tid=13349] ppid=13328 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13330/task/13349/stat : 13349 (java) S 13328 13330 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254393711 9855975424 719808 33554432000 1073741824 1073778376 140737230949488 139713269708200 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13330 and gives
# childrusage.ru_utime.tv_sec=1798
# childrusage.ru_utime.tv_usec=147640
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=851718
# CPU time returned by wait4() is 1800
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.36
CPU time (s): 1800
CPU user time (s): 1798.33
CPU system time (s): 1.67
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 1.85172
maximum resident set size= 2897740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18993
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38305
involuntary context switches= 18652
runsolver used 6.87895 second user time and 14.0249 second system time
The end