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-3688934-1337880457/watcher-3688934-1337880457 -o /tmp/evaluation-result-3688934-1337880457/solver-3688934-1337880457 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688934-1337880457.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: 4.13 3.97 3.92 3/195 29407
/proc/meminfo: memFree=23427368/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 254171943 96370688 928 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 23528 931 705 9 0 16769 0
[pid=29407/tid=29408] ppid=29405 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 2 0 254171944 98635776 939 33554432000 1073741824 1073778376 140736484941664 140708774481448 215134334762 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.04652 s]
/proc/loadavg: 4.13 3.97 3.92 3/195 29407
/proc/meminfo: memFree=23427368/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 3071 0 1 0 3 0 0 0 20 0 13 0 254171943 9446973440 3768 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2306390 3768 1707 9 0 2297091 0
[pid=29407/tid=29408] ppid=29405 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) D 29405 29407 26250 0 -1 4202560 1889 0 1 0 2 0 0 0 20 0 13 0 254171944 9446973440 3768 33554432000 1073741824 1073778376 140736484941664 140708774483520 215146884429 0 4 0 16800971 18446744072100748580 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100317 s]
/proc/loadavg: 4.13 3.97 3.92 3/195 29407
/proc/meminfo: memFree=23427368/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 4345 0 1 0 9 1 0 0 20 0 18 0 254171943 9787813888 6027 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 6030 2109 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 254171944 9787813888 6031 33554432000 1073741824 1073778376 140736484941664 140708774480016 215143124811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30047 s]
/proc/loadavg: 4.13 3.97 3.92 3/195 29407
/proc/meminfo: memFree=23427368/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=0.67 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 4744 0 1 0 56 11 0 0 20 0 18 0 254171943 9787813888 84024 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 84025 2164 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) S 29405 29407 26250 0 -1 4202560 2526 0 1 0 10 5 0 0 20 0 18 0 254171944 9787813888 84025 33554432000 1073741824 1073778376 140736484941664 140708774485544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9558412
[startup+0.700512 s]
/proc/loadavg: 4.13 3.97 3.92 3/195 29407
/proc/meminfo: memFree=23427368/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=1.16 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 5240 0 1 0 101 15 0 0 20 0 18 0 254171943 9787813888 117733 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 117733 2179 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 2577 0 1 0 16 8 0 0 20 0 18 0 254171944 9787813888 117733 33554432000 1073741824 1073778376 140736484941664 140708774485544 140708778612367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558412
[startup+1.50077 s]
/proc/loadavg: 4.13 3.97 3.92 3/213 29425
/proc/meminfo: memFree=22793028/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=2.55 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 6417 0 1 0 233 22 0 0 20 0 18 0 254171943 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 166833 2242 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=0.65 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 2596 0 1 0 57 8 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708774477616 215146882317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 25 0 0 0 15 0 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 60 0 0 0 10 2 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 53 0 0 0 9 2 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 46 0 0 0 12 2 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 58 0 0 0 13 3 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 52 0 0 0 10 2 0 0 20 0 18 0 254171944 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) S 29405 29407 26250 0 -1 4202560 631 0 0 0 49 2 0 0 20 0 18 0 254171945 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708598655080 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708595497488 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 18 0 254171948 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 878 0 0 0 8 0 0 0 20 0 18 0 254171948 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171949 9787813888 166833 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9558412
[startup+3.10084 s]
/proc/loadavg: 4.13 3.97 3.92 10/213 29425
/proc/meminfo: memFree=22713780/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=4.74 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 7764 0 1 0 442 32 0 0 20 0 18 0 254171943 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 204417 2242 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=2.04 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 2641 0 1 0 194 10 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708774485304 215146882317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 59 0 0 0 25 0 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 268 0 0 0 27 3 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=0.21 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 338 0 0 0 18 3 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 54 0 0 0 20 0 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 208 0 0 0 14 3 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 63 0 0 0 18 2 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=0.29 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 101 0 0 0 25 4 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 521 0 0 0 21 4 0 0 20 0 18 0 254171944 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) S 29405 29407 26250 0 -1 4202560 671 0 0 0 49 2 0 0 20 0 18 0 254171945 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708598655080 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708595497488 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 18 0 254171948 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 878 0 0 0 8 0 0 0 20 0 18 0 254171948 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171949 9787813888 204417 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 9558412
[startup+6.30077 s]
/proc/loadavg: 3.96 3.93 3.91 10/213 29425
/proc/meminfo: memFree=22329632/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=9.3 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 9193 0 1 0 865 65 0 0 20 0 18 0 254171943 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 275527 2246 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=4.77 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) R 29405 29407 26250 0 -1 4202560 2746 0 1 0 464 13 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708774477888 215146882317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 384 0 0 0 41 4 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=0.58 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 646 0 0 0 51 7 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 390 0 0 0 43 9 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 119 0 0 0 34 4 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 312 0 0 0 38 8 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 125 0 0 0 32 6 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 184 0 0 0 42 8 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=0.43 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 574 0 0 0 36 7 0 0 20 0 18 0 254171944 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) S 29405 29407 26250 0 -1 4202560 826 0 0 0 49 2 0 0 20 0 18 0 254171945 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708598655080 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708595497488 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 18 0 254171948 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 925 0 0 0 10 0 0 0 20 0 18 0 254171948 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171949 9787813888 275527 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=11.77 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 13283 0 0 0 1095 82 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=10.68 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 12057 0 0 0 990 78 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=11.04 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 16197 0 0 0 1024 80 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=11.4 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 8514 0 0 0 1048 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=10.83 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 15393 0 0 0 991 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=10.87 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 10054 0 0 0 1004 83 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=10.3 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 6950 0 0 0 944 86 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=1670.48 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) R 29405 29407 26250 0 -1 4202560 7030 0 0 0 166999 49 0 0 20 0 18 0 254171945 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708598655240 140708780994682 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708595497488 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 7375 0 0 0 57 2 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 1931 0 0 0 28 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=1 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 99 0 0 0 54 46 0 0 20 0 18 0 254171949 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9558412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29407
Solver just ended. Dumping a history of the last processes samples
[startup+1733.4 s]
/proc/loadavg: 2.95 2.95 3.10 4/217 29625
/proc/meminfo: memFree=17316652/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=1800.84 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 112523 0 1 0 179304 780 0 0 20 0 18 0 254171943 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 2023215 2267 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=39.79 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) S 29405 29407 26250 0 -1 4202560 2918 0 1 0 3956 23 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708774484680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=11.03 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 9547 0 0 0 1019 84 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=11.77 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 13283 0 0 0 1095 82 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=10.68 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 12057 0 0 0 990 78 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=11.04 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 16197 0 0 0 1024 80 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=11.4 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 8514 0 0 0 1048 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=10.83 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 15393 0 0 0 991 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=10.87 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 10054 0 0 0 1004 83 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=10.3 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 6950 0 0 0 944 86 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=1671.27 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) R 29405 29407 26250 0 -1 4202560 7030 0 0 0 167078 49 0 0 20 0 18 0 254171945 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708598655240 140708780994592 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708595497032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 7375 0 0 0 57 2 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 1931 0 0 0 28 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=1 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 99 0 0 0 54 46 0 0 20 0 18 0 254171949 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 9558412
[startup+1734.2 s]
/proc/loadavg: 2.95 2.95 3.10 4/218 29626
/proc/meminfo: memFree=17316644/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=1801.64 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 112523 0 1 0 179384 780 0 0 20 0 18 0 254171943 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 2023215 2267 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=39.79 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) S 29405 29407 26250 0 -1 4202560 2918 0 1 0 3956 23 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708774484680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=11.03 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 9547 0 0 0 1019 84 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=11.77 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 13283 0 0 0 1095 82 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=10.68 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 12057 0 0 0 990 78 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=11.04 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 16197 0 0 0 1024 80 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=11.4 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 8514 0 0 0 1048 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=10.83 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 15393 0 0 0 991 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=10.87 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 10054 0 0 0 1004 83 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=10.3 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 6950 0 0 0 944 86 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=1672.07 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) R 29405 29407 26250 0 -1 4202560 7030 0 0 0 167158 49 0 0 20 0 18 0 254171945 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708598655240 140708780994632 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708595497032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 7375 0 0 0 57 2 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 1931 0 0 0 28 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=1 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 99 0 0 0 54 46 0 0 20 0 18 0 254171949 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 9558412
[startup+1734.6 s]
/proc/loadavg: 2.95 2.96 3.10 4/218 29626
/proc/meminfo: memFree=17316644/32873844 swapFree=7364/7364
[pid=29407] ppid=29405 vsize=9558412 CPUtime=1802.05 cores=1,3,5,7
/proc/29407/stat : 29407 (java) S 29405 29407 26250 0 -1 4202496 112523 0 1 0 179425 780 0 0 20 0 18 0 254171943 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140736484932800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29407/statm: 2389603 2023215 2267 9 0 2380296 0
[pid=29407/tid=29408] ppid=29405 vsize=9558412 CPUtime=39.79 cores=1,3,5,7
/proc/29407/task/29408/stat : 29408 (java) S 29405 29407 26250 0 -1 4202560 2918 0 1 0 3956 23 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708774484680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29410] ppid=29405 vsize=9558412 CPUtime=11.03 cores=1,3,5,7
/proc/29407/task/29410/stat : 29410 (java) S 29405 29407 26250 0 -1 4202560 9547 0 0 0 1019 84 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708618434728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29411] ppid=29405 vsize=9558412 CPUtime=11.77 cores=1,3,5,7
/proc/29407/task/29411/stat : 29411 (java) S 29405 29407 26250 0 -1 4202560 13283 0 0 0 1095 82 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708617382184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29412] ppid=29405 vsize=9558412 CPUtime=10.68 cores=1,3,5,7
/proc/29407/task/29412/stat : 29412 (java) S 29405 29407 26250 0 -1 4202560 12057 0 0 0 990 78 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708616329640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29413] ppid=29405 vsize=9558412 CPUtime=11.04 cores=1,3,5,7
/proc/29407/task/29413/stat : 29413 (java) S 29405 29407 26250 0 -1 4202560 16197 0 0 0 1024 80 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708615277096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29414] ppid=29405 vsize=9558412 CPUtime=11.4 cores=1,3,5,7
/proc/29407/task/29414/stat : 29414 (java) S 29405 29407 26250 0 -1 4202560 8514 0 0 0 1048 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708614224552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29415] ppid=29405 vsize=9558412 CPUtime=10.83 cores=1,3,5,7
/proc/29407/task/29415/stat : 29415 (java) S 29405 29407 26250 0 -1 4202560 15393 0 0 0 991 92 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708613172008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29416] ppid=29405 vsize=9558412 CPUtime=10.87 cores=1,3,5,7
/proc/29407/task/29416/stat : 29416 (java) S 29405 29407 26250 0 -1 4202560 10054 0 0 0 1004 83 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708612119464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29417] ppid=29405 vsize=9558412 CPUtime=10.3 cores=1,3,5,7
/proc/29407/task/29417/stat : 29417 (java) S 29405 29407 26250 0 -1 4202560 6950 0 0 0 944 86 0 0 20 0 18 0 254171944 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708611066920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29407/tid=29418] ppid=29405 vsize=9558412 CPUtime=1672.48 cores=1,3,5,7
/proc/29407/task/29418/stat : 29418 (java) R 29405 29407 26250 0 -1 4202560 7030 0 0 0 167199 49 0 0 20 0 18 0 254171945 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708598655240 140708778647868 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29419] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29419/stat : 29419 (java) S 29405 29407 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708597601400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29420] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29420/stat : 29420 (java) S 29405 29407 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254171946 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708596548744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29421] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29421/stat : 29421 (java) S 29405 29407 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708595497032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29422] ppid=29405 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/29407/task/29422/stat : 29422 (java) S 29405 29407 26250 0 -1 4202560 7375 0 0 0 57 2 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708594444856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29407/tid=29423] ppid=29405 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/29407/task/29423/stat : 29423 (java) S 29405 29407 26250 0 -1 4202560 1931 0 0 0 28 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708593392312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29407/tid=29424] ppid=29405 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/29407/task/29424/stat : 29424 (java) S 29405 29407 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254171948 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708592339960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29407/tid=29425] ppid=29405 vsize=9558412 CPUtime=1 cores=1,3,5,7
/proc/29407/task/29425/stat : 29425 (java) S 29405 29407 26250 0 -1 4202560 99 0 0 0 54 46 0 0 20 0 18 0 254171949 9787813888 2023215 33554432000 1073741824 1073778376 140736484941664 140708591287624 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 9558412
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1734.65
CPU time (s): 1802.35
CPU user time (s): 1794.21
CPU system time (s): 8.14076
CPU usage (%): 103.903
Max. virtual memory (cumulated for all children) (KiB): 9558816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 8.14076
maximum resident set size= 8092860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112523
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42554
involuntary context switches= 41654
runsolver used 6.63999 second user time and 15.9946 second system time
The end