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-3689669-1337892282/watcher-3689669-1337892282 -o /tmp/evaluation-result-3689669-1337892282/solver-3689669-1337892282 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689669-1337892282.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.84 1.97 2.02 2/172 6411
/proc/meminfo: memFree=29624876/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6411/stat : 6411 (java) D 6409 6411 718 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 255353680 9515008 176 33554432000 1073741824 1073778376 140735082525040 140735082507768 229355897744 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/6411/statm: 2323 176 133 9 0 71 0
[startup+0.0517419 s]
/proc/loadavg: 1.84 1.97 2.02 2/172 6411
/proc/meminfo: memFree=29624876/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 3022 0 1 0 2 0 0 0 20 0 13 0 255353680 9446973440 3719 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2306390 3719 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100332 s]
/proc/loadavg: 1.84 1.97 2.02 2/172 6411
/proc/meminfo: memFree=29624876/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 3821 0 1 0 7 1 0 0 20 0 18 0 255353680 9787813888 5020 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2389603 5027 2003 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300307 s]
/proc/loadavg: 1.84 1.97 2.02 2/172 6411
/proc/meminfo: memFree=29624876/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 7456 0 1 0 52 2 0 0 20 0 18 0 255353680 9787813888 10359 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2389603 10359 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.700304 s]
/proc/loadavg: 1.84 1.97 2.02 2/172 6411
/proc/meminfo: memFree=29624876/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 10246 0 1 0 147 4 0 0 20 0 19 0 255353680 9855975424 28510 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 28510 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9624976
[startup+1.50077 s]
/proc/loadavg: 1.84 1.97 2.02 3/205 6480
/proc/meminfo: memFree=29544384/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=2.47 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 11096 0 1 0 243 4 0 0 20 0 19 0 255353680 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 29027 2254 9 0 2396937 0
[pid=6411/tid=6413] ppid=6409 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2500 0 1 0 143 3 0 0 20 0 19 0 255353681 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140505013351128 140504839504564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255353684 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5149 0 0 0 51 0 0 0 20 0 19 0 255353687 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2247 0 0 0 44 0 0 0 20 0 19 0 255353687 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 29027 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9624976
[startup+3.10076 s]
/proc/loadavg: 1.84 1.97 2.02 3/211 6486
/proc/meminfo: memFree=29421260/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=4.2 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 11341 0 1 0 415 5 0 0 20 0 19 0 255353680 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 34713 2281 9 0 2396937 0
[pid=6411/tid=6413] ppid=6409 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2505 0 1 0 297 3 0 0 20 0 19 0 255353681 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140505013350744 140504839464264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 255353684 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5308 0 0 0 58 0 0 0 20 0 19 0 255353687 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2253 0 0 0 48 0 0 0 20 0 19 0 255353687 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 34713 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9624976
[startup+6.30078 s]
/proc/loadavg: 1.85 1.97 2.02 3/211 6486
/proc/meminfo: memFree=29375228/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=7.47 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 11383 0 1 0 742 5 0 0 20 0 19 0 255353680 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 35236 2281 9 0 2396937 0
[pid=6411/tid=6413] ppid=6409 vsize=9624976 CPUtime=6.12 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2506 0 1 0 609 3 0 0 20 0 19 0 255353681 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140505013350624 140504839463824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255353683 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 52 0 0 0 9 0 0 0 20 0 19 0 255353684 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5310 0 0 0 63 0 0 0 20 0 19 0 255353687 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2260 0 0 0 49 0 0 0 20 0 19 0 255353687 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 35236 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5793 0 0 0 74 0 0 0 20 0 19 0 255353687 9855975424 178409 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2260 0 0 0 49 0 0 0 20 0 19 0 255353687 9855975424 178409 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 178409 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 97 0 0 0 41 28 0 0 20 0 19 0 255353687 9855975424 178409 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 178409 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.56
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6524
/proc/meminfo: memFree=28250236/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=1745.45 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 24052 0 1 0 174321 224 0 0 20 0 19 0 255353680 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 188188 2282 9 0 2396937 0
[pid=6411/tid=6413] ppid=6409 vsize=9624976 CPUtime=1702.42 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2765 0 1 0 170212 30 0 0 20 0 19 0 255353681 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140505013349696 140504839504904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 1107 0 0 0 349 22 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9624976 CPUtime=3.55 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 963 0 0 0 332 23 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9624976 CPUtime=3.68 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 1934 0 0 0 344 24 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9624976 CPUtime=3.48 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 845 0 0 0 329 19 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9624976 CPUtime=3.58 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 1212 0 0 0 338 20 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9624976 CPUtime=3.98 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 1412 0 0 0 374 24 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9624976 CPUtime=3.83 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 1988 0 0 0 362 21 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9624976 CPUtime=3.33 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 1435 0 0 0 314 19 0 0 20 0 19 0 255353683 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9624976 CPUtime=7.26 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 1053 0 0 0 721 5 0 0 20 0 19 0 255353684 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5793 0 0 0 74 0 0 0 20 0 19 0 255353687 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2260 0 0 0 49 0 0 0 20 0 19 0 255353687 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 99 0 0 0 42 30 0 0 20 0 19 0 255353687 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 188188 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.45
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6524
/proc/meminfo: memFree=28152056/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 26190 0 1 0 179763 242 0 0 20 0 19 0 255353680 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2406244 214683 2282 9 0 2396937 0
[pid=6411/tid=6413] ppid=6409 vsize=9624976 CPUtime=1755.4 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2771 0 1 0 175508 32 0 0 20 0 19 0 255353681 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140505013349696 140504839463766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9624976 CPUtime=3.9 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 1447 0 0 0 365 25 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 1302 0 0 0 346 25 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9624976 CPUtime=3.82 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 2107 0 0 0 355 27 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9624976 CPUtime=3.73 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 1268 0 0 0 350 23 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9624976 CPUtime=3.75 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 1459 0 0 0 353 22 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9624976 CPUtime=4.09 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 1433 0 0 0 384 25 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9624976 CPUtime=3.99 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 2136 0 0 0 376 23 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9624976 CPUtime=3.51 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 1823 0 0 0 331 20 0 0 20 0 19 0 255353683 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9624976 CPUtime=7.38 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 1102 0 0 0 733 5 0 0 20 0 19 0 255353684 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255353685 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5793 0 0 0 74 0 0 0 20 0 19 0 255353687 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) S 6409 6411 718 0 -1 4202560 2260 0 0 0 49 0 0 0 20 0 19 0 255353687 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504831326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255353687 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 103 0 0 0 44 31 0 0 20 0 19 0 255353687 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255353738 9855975424 214683 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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
[startup+1776.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6524
/proc/meminfo: memFree=28152056/32873852 swapFree=6848/6848
[pid=6411] ppid=6409 vsize=9758104 CPUtime=1800.4 cores=1,3,5,7
/proc/6411/stat : 6411 (java) S 6409 6411 718 0 -1 4202496 26524 0 1 0 179793 247 0 0 20 0 21 0 255353680 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140734509641552 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6411/statm: 2439526 221617 2282 9 0 2430219 0
[pid=6411/tid=6413] ppid=6409 vsize=9758104 CPUtime=1755.43 cores=1,3,5,7
/proc/6411/task/6413/stat : 6413 (java) R 6409 6411 718 0 -1 4202560 2771 0 1 0 175511 32 0 0 20 0 21 0 255353681 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140505013349112 140504839464088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6414] ppid=6409 vsize=9758104 CPUtime=3.93 cores=1,3,5,7
/proc/6411/task/6414/stat : 6414 (java) S 6409 6411 718 0 -1 4202560 1457 0 0 0 368 25 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504974842536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6415] ppid=6409 vsize=9758104 CPUtime=3.73 cores=1,3,5,7
/proc/6411/task/6415/stat : 6415 (java) S 6409 6411 718 0 -1 4202560 1342 0 0 0 348 25 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504973789992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6416] ppid=6409 vsize=9758104 CPUtime=3.84 cores=1,3,5,7
/proc/6411/task/6416/stat : 6416 (java) S 6409 6411 718 0 -1 4202560 2113 0 0 0 357 27 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504972737448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6417] ppid=6409 vsize=9758104 CPUtime=3.77 cores=1,3,5,7
/proc/6411/task/6417/stat : 6417 (java) S 6409 6411 718 0 -1 4202560 1332 0 0 0 354 23 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504971684904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6418] ppid=6409 vsize=9758104 CPUtime=3.78 cores=1,3,5,7
/proc/6411/task/6418/stat : 6418 (java) S 6409 6411 718 0 -1 4202560 1530 0 0 0 356 22 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504970631336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6419] ppid=6409 vsize=9758104 CPUtime=4.12 cores=1,3,5,7
/proc/6411/task/6419/stat : 6419 (java) S 6409 6411 718 0 -1 4202560 1441 0 0 0 387 25 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504969578792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6411/tid=6420] ppid=6409 vsize=9758104 CPUtime=4.01 cores=1,3,5,7
/proc/6411/task/6420/stat : 6420 (java) S 6409 6411 718 0 -1 4202560 2142 0 0 0 378 23 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504968526248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6421] ppid=6409 vsize=9758104 CPUtime=3.58 cores=1,3,5,7
/proc/6411/task/6421/stat : 6421 (java) S 6409 6411 718 0 -1 4202560 1909 0 0 0 337 21 0 0 20 0 21 0 255353683 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504967473704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6422] ppid=6409 vsize=9758104 CPUtime=7.38 cores=1,3,5,7
/proc/6411/task/6422/stat : 6422 (java) S 6409 6411 718 0 -1 4202560 1114 0 0 0 733 5 0 0 20 0 21 0 255353684 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504836590184 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6423] ppid=6409 vsize=9758104 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6423/stat : 6423 (java) S 6409 6411 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 255353685 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504835536504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6424] ppid=6409 vsize=9758104 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6424/stat : 6424 (java) S 6409 6411 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 255353685 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504834483848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6425] ppid=6409 vsize=9758104 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6425/stat : 6425 (java) S 6409 6411 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 255353687 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504833432592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6426] ppid=6409 vsize=9758104 CPUtime=0.74 cores=1,3,5,7
/proc/6411/task/6426/stat : 6426 (java) S 6409 6411 718 0 -1 4202560 5794 0 0 0 74 0 0 0 20 0 21 0 255353687 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504832378936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6411/tid=6427] ppid=6409 vsize=9758104 CPUtime=0.5 cores=1,3,5,7
/proc/6411/task/6427/stat : 6427 (java) R 6409 6411 718 0 -1 4202560 2260 0 0 0 50 0 0 0 20 0 21 0 255353687 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504831326392 140505017443916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6428] ppid=6409 vsize=9758104 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6428/stat : 6428 (java) S 6409 6411 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 255353687 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504830274040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6411/tid=6429] ppid=6409 vsize=9758104 CPUtime=0.75 cores=1,3,5,7
/proc/6411/task/6429/stat : 6429 (java) S 6409 6411 718 0 -1 4202560 103 0 0 0 44 31 0 0 20 0 21 0 255353687 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504829221704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6411/tid=6430] ppid=6409 vsize=9758104 CPUtime=0 cores=1,3,5,7
/proc/6411/task/6430/stat : 6430 (java) S 6409 6411 718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 255353738 9992298496 221617 33554432000 1073741824 1073778376 140734509650416 140504828167464 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 9758104
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6411 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=191393
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=740583
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1776.05
CPU time (s): 1800.4
CPU user time (s): 1797.93
CPU system time (s): 2.47
CPU usage (%): 101.371
Max. virtual memory (cumulated for all children) (KiB): 9758104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.19
system time used= 2.74058
maximum resident set size= 1046316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26527
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44826
involuntary context switches= 41423
runsolver used 6.32304 second user time and 15.4007 second system time
The end