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-3710456-1338249369/watcher-3710456-1338249369 -o /tmp/evaluation-result-3710456-1338249369/solver-3710456-1338249369 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710456-1338249369.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.92 1.98 1.99 3/194 3614
/proc/meminfo: memFree=29546580/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3614/stat : 3614 (java) D 3612 3614 2017 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291061852 9515008 183 33554432000 1073741824 1073778376 140735389265616 140735389256648 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3614/statm: 2323 183 140 9 0 71 0
[startup+0.022497 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 3614
/proc/meminfo: memFree=29546580/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=8471396 CPUtime=0 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 1575 0 1 0 0 0 0 0 20 0 2 0 291061852 8674709504 1766 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2117849 1785 930 9 0 2108958 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8471396
[startup+0.100263 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 3614
/proc/meminfo: memFree=29546580/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 3697 0 1 0 7 1 0 0 20 0 18 0 291061852 9787842560 4904 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2389610 4906 1940 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300259 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 3614
/proc/meminfo: memFree=29546580/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 5611 0 1 0 45 2 0 0 20 0 18 0 291061852 9787842560 10817 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2389610 10817 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440
[startup+0.700218 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 3614
/proc/meminfo: memFree=29546580/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9558440 CPUtime=1.26 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 10792 0 1 0 120 6 0 0 20 0 18 0 291061852 9787842560 44340 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2389610 44340 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9558440
[startup+1.50079 s]
/proc/loadavg: 1.92 1.98 1.99 8/212 3632
/proc/meminfo: memFree=29357824/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=2.72 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 11893 0 1 0 263 9 0 0 20 0 19 0 291061852 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 49906 2271 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2575 0 1 0 135 4 0 0 20 0 19 0 291061853 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541448389048 140541279734154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3686 0 0 0 50 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4276 0 0 0 55 2 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9625004
[startup+3.10083 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 3633
/proc/meminfo: memFree=29355272/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=4.34 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 11894 0 1 0 425 9 0 0 20 0 19 0 291061852 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 49906 2271 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2576 0 1 0 295 4 0 0 20 0 19 0 291061853 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541448389240 140541279622582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3686 0 0 0 52 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4276 0 0 0 56 2 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 49906 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9625004
[startup+6.30084 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 3633
/proc/meminfo: memFree=29354900/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=7.62 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 12145 0 1 0 752 10 0 0 20 0 19 0 291061852 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 49714 2277 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=6.17 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2578 0 1 0 613 4 0 0 20 0 19 0 291061853 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541448387040 140541279622232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291061854 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3935 0 0 0 57 1 0 0 20 0 19 0 291061859 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4276 0 0 0 58 2 0 0 20 0 19 0 291061859 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 49714 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.99 3/212 3691
/proc/meminfo: memFree=30126672/32873844 swapFree=7116/7116
################
# More data... #
################
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3959 0 0 0 69 2 0 0 20 0 19 0 291061859 9856004096 84690 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4278 0 0 0 65 2 0 0 20 0 19 0 291061859 9856004096 84690 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84690 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 99 0 0 0 34 13 0 0 20 0 19 0 291061859 9856004096 84690 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 84690 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.11
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 3728
/proc/meminfo: memFree=29690732/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=1787.23 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 13586 0 1 0 178681 42 0 0 20 0 19 0 291061852 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 84699 2290 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=1768.3 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2654 0 1 0 176800 30 0 0 20 0 19 0 291061853 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541448388912 140541279612512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 137 0 0 0 59 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 76 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 177 0 0 0 58 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 249 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 158 0 0 0 53 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 163 0 0 0 59 4 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 102 0 0 0 50 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=8 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 226 0 0 0 798 2 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3959 0 0 0 69 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4278 0 0 0 65 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 103 0 0 0 35 14 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.23
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3728
/proc/meminfo: memFree=29690484/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 13586 0 1 0 179962 42 0 0 20 0 19 0 291061852 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 84699 2290 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=1781.08 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2654 0 1 0 178077 31 0 0 20 0 19 0 291061853 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541448388912 140541279632064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 137 0 0 0 59 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 76 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 177 0 0 0 58 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 249 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 158 0 0 0 53 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 163 0 0 0 59 4 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 102 0 0 0 50 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=8 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 226 0 0 0 798 2 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3959 0 0 0 69 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4278 0 0 0 65 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 103 0 0 0 35 14 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3728
/proc/meminfo: memFree=29690484/32873844 swapFree=7116/7116
[pid=3614] ppid=3612 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/3614/stat : 3614 (java) S 3612 3614 2017 0 -1 4202496 13586 0 1 0 179962 42 0 0 20 0 19 0 291061852 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140733233159712 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3614/statm: 2406251 84699 2290 9 0 2396937 0
[pid=3614/tid=3616] ppid=3612 vsize=9625004 CPUtime=1781.08 cores=1,3,5,7
/proc/3614/task/3616/stat : 3616 (java) R 3612 3614 2017 0 -1 4202560 2654 0 1 0 178077 31 0 0 20 0 19 0 291061853 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541448388912 140541279632064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3617] ppid=3612 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/3614/task/3617/stat : 3617 (java) S 3612 3614 2017 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541409880360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3618] ppid=3612 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/3614/task/3618/stat : 3618 (java) S 3612 3614 2017 0 -1 4202560 137 0 0 0 59 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541408827560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3619] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3619/stat : 3619 (java) S 3612 3614 2017 0 -1 4202560 76 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541407775272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3620] ppid=3612 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/3614/task/3620/stat : 3620 (java) S 3612 3614 2017 0 -1 4202560 177 0 0 0 58 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541406722472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3621] ppid=3612 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/3614/task/3621/stat : 3621 (java) S 3612 3614 2017 0 -1 4202560 249 0 0 0 52 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541405670184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3622] ppid=3612 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/3614/task/3622/stat : 3622 (java) S 3612 3614 2017 0 -1 4202560 158 0 0 0 53 3 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541404617384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3623] ppid=3612 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/3614/task/3623/stat : 3623 (java) S 3612 3614 2017 0 -1 4202560 163 0 0 0 59 4 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541403565096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3624] ppid=3612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/3614/task/3624/stat : 3624 (java) S 3612 3614 2017 0 -1 4202560 102 0 0 0 50 2 0 0 20 0 19 0 291061854 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541402512296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3614/tid=3625] ppid=3612 vsize=9625004 CPUtime=8 cores=1,3,5,7
/proc/3614/task/3625/stat : 3625 (java) S 3612 3614 2017 0 -1 4202560 226 0 0 0 798 2 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541272492264 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3626] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3626/stat : 3626 (java) S 3612 3614 2017 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541271438328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3627] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3627/stat : 3627 (java) S 3612 3614 2017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291061856 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541270385928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3628] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3628/stat : 3628 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541269334416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3614/tid=3629] ppid=3612 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/3614/task/3629/stat : 3629 (java) S 3612 3614 2017 0 -1 4202560 3959 0 0 0 69 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541268282040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3630] ppid=3612 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3614/task/3630/stat : 3630 (java) S 3612 3614 2017 0 -1 4202560 4278 0 0 0 65 2 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541267229240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3631] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3631/stat : 3631 (java) S 3612 3614 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541266177144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3614/tid=3632] ppid=3612 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/3614/task/3632/stat : 3632 (java) S 3612 3614 2017 0 -1 4202560 103 0 0 0 35 14 0 0 20 0 19 0 291061859 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541265124552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3614/tid=3633] ppid=3612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3614/task/3633/stat : 3633 (java) S 3612 3614 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291061961 9856004096 84699 33554432000 1073741824 1073778376 140733233168576 140541264069544 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3614 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=30113
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=880866
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.15
CPU time (s): 1800.04
CPU user time (s): 1799.62
CPU system time (s): 0.42
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.03
system time used= 0.880866
maximum resident set size= 338916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13618
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40206
involuntary context switches= 13873
runsolver used 6.43102 second user time and 14.8917 second system time
The end