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-3733907-1338743806/watcher-3733907-1338743806 -o /tmp/evaluation-result-3733907-1338743806/solver-3733907-1338743806 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733907-1338743806.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: 3.56 3.28 2.78 4/199 20675
/proc/meminfo: memFree=28025892/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20675/stat : 20675 (java) R 20673 20675 11290 0 -1 4202496 1092 0 0 0 0 0 0 0 20 0 1 0 340505431 23793664 818 33554432000 1073741824 1073778376 140733364051424 140733364040488 140093382926976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 5809 836 629 9 0 128 0
[startup+0.0294471 s]
/proc/loadavg: 3.56 3.28 2.78 4/199 20675
/proc/meminfo: memFree=28025892/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2233952 CPUtime=0.01 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 3649 0 1 0 1 0 0 0 20 0 11 0 340505431 2287566848 4347 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 558488 4347 1632 9 0 549189 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2233952
[startup+0.100285 s]
/proc/loadavg: 3.56 3.28 2.78 4/199 20675
/proc/meminfo: memFree=28025892/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 4793 0 1 0 9 1 0 0 20 0 18 0 340505431 2764726272 5982 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 674982 5982 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300215 s]
/proc/loadavg: 3.56 3.28 2.78 4/199 20675
/proc/meminfo: memFree=28025892/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2699928 CPUtime=0.6 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 10683 0 1 0 57 3 0 0 20 0 18 0 340505431 2764726272 12006 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 674982 12006 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2699928
[startup+0.70021 s]
/proc/loadavg: 3.56 3.28 2.78 4/199 20675
/proc/meminfo: memFree=28025892/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2699928 CPUtime=1.34 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 16056 0 1 0 127 7 0 0 20 0 18 0 340505431 2764726272 47741 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 674982 47741 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 2699928
[startup+1.50078 s]
/proc/loadavg: 3.56 3.28 2.78 4/217 20693
/proc/meminfo: memFree=27707464/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2699928 CPUtime=2.91 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 21401 0 1 0 269 22 0 0 20 0 18 0 340505431 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 674982 113868 2249 9 0 665676 0
[pid=20675/tid=20677] ppid=20673 vsize=2699928 CPUtime=1.37 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) R 20673 20675 11290 0 -1 4202560 3011 0 1 0 129 8 0 0 20 0 18 0 340505432 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093379006464 215146882317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2699928 CPUtime=0.02 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 15 0 0 0 2 2 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 14 0 0 0 3 1 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 36 0 0 0 7 2 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2699928 CPUtime=0.02 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2699928 CPUtime=0.02 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 340505433 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340505434 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340505435 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340505435 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340505437 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2699928 CPUtime=0.48 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 7149 0 0 0 45 3 0 0 20 0 18 0 340505437 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2699928 CPUtime=0.62 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 9923 0 0 0 59 3 0 0 20 0 18 0 340505437 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340505437 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340505437 2764726272 113868 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 2699928
[startup+3.10081 s]
/proc/loadavg: 3.51 3.28 2.78 11/221 20697
/proc/meminfo: memFree=27522112/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2966184 CPUtime=6.5 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 23310 0 1 0 612 38 0 0 20 0 22 0 340505431 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 741546 139723 2265 9 0 732240 0
[pid=20675/tid=20677] ppid=20673 vsize=2966184 CPUtime=1.6 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) S 20673 20675 11290 0 -1 4202560 3023 0 1 0 152 8 0 0 20 0 22 0 340505432 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093379015832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 31 0 0 0 6 3 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 26 0 0 0 5 2 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 67 0 0 0 12 5 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 33 0 0 0 7 2 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2966184 CPUtime=0.19 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 67 0 0 0 14 5 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 44 0 0 0 9 3 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 45 0 0 0 8 3 0 0 20 0 22 0 340505433 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505434 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 8701 0 0 0 65 3 0 0 20 0 22 0 340505437 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 9951 0 0 0 73 3 0 0 20 0 22 0 340505437 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20694] ppid=20673 vsize=2966184 CPUtime=1.19 cores=1,3,5,7
/proc/20675/task/20694/stat : 20694 (java) R 20673 20675 11290 0 -1 4202560 32 0 0 0 119 0 0 0 20 0 22 0 340505605 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093150261576 140093251617511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20695] ppid=20673 vsize=2966184 CPUtime=1.19 cores=1,3,5,7
/proc/20675/task/20695/stat : 20695 (java) R 20673 20675 11290 0 -1 4202560 64 0 0 0 119 0 0 0 20 0 22 0 340505605 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093149195440 140093252067452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20696] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20696/stat : 20696 (java) S 20673 20675 11290 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093148157480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20697] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20697/stat : 20697 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 139723 33554432000 1073741824 1073778376 140733364051424 140093147104936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 2966184
[startup+6.3009 s]
/proc/loadavg: 3.51 3.28 2.78 5/221 20697
/proc/meminfo: memFree=27473952/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2966184 CPUtime=13.53 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 24468 0 1 0 1314 39 0 0 20 0 22 0 340505431 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 741546 139726 2266 9 0 732240 0
[pid=20675/tid=20677] ppid=20673 vsize=2966184 CPUtime=1.6 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) S 20673 20675 11290 0 -1 4202560 3023 0 1 0 152 8 0 0 20 0 22 0 340505432 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093379015832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 27 0 0 0 10 2 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 35 0 0 0 13 3 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 32 0 0 0 21 2 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 70 0 0 0 18 5 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 37 0 0 0 13 3 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2966184 CPUtime=0.28 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 75 0 0 0 23 5 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 47 0 0 0 24 3 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 46 0 0 0 19 3 0 0 20 0 22 0 340505433 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505434 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 9799 0 0 0 74 3 0 0 20 0 22 0 340505437 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 9975 0 0 0 92 3 0 0 20 0 22 0 340505437 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20694] ppid=20673 vsize=2966184 CPUtime=4.19 cores=1,3,5,7
/proc/20675/task/20694/stat : 20694 (java) R 20673 20675 11290 0 -1 4202560 33 0 0 0 419 0 0 0 20 0 22 0 340505605 3037372416 139726 33554432000 1073741824 1073778376 140733364051424 140093150260136 140093251827337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=20675/tid=20695] ppid=20673 vsize=2966184 CPUtime=739.51 cores=1,3,5,7
/proc/20675/task/20695/stat : 20695 (java) R 20673 20675 11290 0 -1 4202560 328 0 0 0 73937 14 0 0 20 0 22 0 340505605 3037372416 180415 33554432000 1073741824 1073778376 140733364051424 140093149208112 140093252055146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20696] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20696/stat : 20696 (java) S 20673 20675 11290 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180415 33554432000 1073741824 1073778376 140733364051424 140093148157480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20697] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20697/stat : 20697 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180415 33554432000 1073741824 1073778376 140733364051424 140093147104936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1550.95
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.03 3.97 3.48 5/222 20874
/proc/meminfo: memFree=27359268/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2966184 CPUtime=1672.97 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 66097 0 1 0 167150 147 0 0 20 0 22 0 340505431 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 741546 180418 2283 9 0 732240 0
[pid=20675/tid=20677] ppid=20673 vsize=2966184 CPUtime=1.63 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) S 20673 20675 11290 0 -1 4202560 3036 0 1 0 154 9 0 0 20 0 22 0 340505432 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093379015832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2966184 CPUtime=8.39 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 299 0 0 0 833 6 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2966184 CPUtime=8.81 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 316 0 0 0 872 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2966184 CPUtime=8.73 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 307 0 0 0 865 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2966184 CPUtime=8.69 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 346 0 0 0 860 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2966184 CPUtime=8.44 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 329 0 0 0 834 10 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2966184 CPUtime=8.45 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 337 0 0 0 836 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2966184 CPUtime=8.24 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 340 0 0 0 816 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2966184 CPUtime=8.41 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 321 0 0 0 833 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2966184 CPUtime=4.66 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 35788 0 0 0 425 41 0 0 20 0 22 0 340505434 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 9802 0 0 0 86 3 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2966184 CPUtime=2.41 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 12974 0 0 0 236 5 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 46 0 0 0 25 21 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20694] ppid=20673 vsize=2966184 CPUtime=797.59 cores=1,3,5,7
/proc/20675/task/20694/stat : 20694 (java) R 20673 20675 11290 0 -1 4202560 322 0 0 0 79744 15 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093150260016 140093252055627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20695] ppid=20673 vsize=2966184 CPUtime=797.53 cores=1,3,5,7
/proc/20675/task/20695/stat : 20695 (java) R 20673 20675 11290 0 -1 4202560 341 0 0 0 79738 15 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093149208288 140093252067624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20696] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20696/stat : 20696 (java) S 20673 20675 11290 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093148157480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20697] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20697/stat : 20697 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093147104936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1672.97
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.76 3.91 3.49 5/221 20874
/proc/meminfo: memFree=27350464/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2966184 CPUtime=1795.38 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 66144 0 1 0 179385 153 0 0 20 0 22 0 340505431 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 741546 180418 2283 9 0 732240 0
[pid=20675/tid=20677] ppid=20673 vsize=2966184 CPUtime=1.63 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) S 20673 20675 11290 0 -1 4202560 3039 0 1 0 154 9 0 0 20 0 22 0 340505432 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093379015832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2966184 CPUtime=9.07 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 299 0 0 0 901 6 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2966184 CPUtime=9.51 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 316 0 0 0 942 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2966184 CPUtime=9.46 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 307 0 0 0 938 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2966184 CPUtime=9.25 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 346 0 0 0 916 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2966184 CPUtime=9.1 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 329 0 0 0 900 10 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2966184 CPUtime=9.1 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 337 0 0 0 901 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2966184 CPUtime=8.96 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 340 0 0 0 888 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2966184 CPUtime=9.1 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 321 0 0 0 902 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2966184 CPUtime=4.7 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 35793 0 0 0 426 44 0 0 20 0 22 0 340505434 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 9802 0 0 0 86 3 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2966184 CPUtime=2.41 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 12974 0 0 0 236 5 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 49 0 0 0 27 22 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20694] ppid=20673 vsize=2966184 CPUtime=856.1 cores=1,3,5,7
/proc/20675/task/20694/stat : 20694 (java) R 20673 20675 11290 0 -1 4202560 340 0 0 0 85594 16 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093150260016 140093252055045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20695] ppid=20673 vsize=2966184 CPUtime=856.04 cores=1,3,5,7
/proc/20675/task/20695/stat : 20695 (java) R 20673 20675 11290 0 -1 4202560 359 0 0 0 85588 16 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093149208440 140093251827350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20696] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20696/stat : 20696 (java) S 20673 20675 11290 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093148157480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20697] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20697/stat : 20697 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093147104936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+884.601 s]
/proc/loadavg: 3.76 3.91 3.49 5/221 20874
/proc/meminfo: memFree=27350464/32873844 swapFree=7380/7380
[pid=20675] ppid=20673 vsize=2966184 CPUtime=1800.03 cores=1,3,5,7
/proc/20675/stat : 20675 (java) S 20673 20675 11290 0 -1 4202496 66145 0 1 0 179850 153 0 0 20 0 22 0 340505431 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140733364042560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20675/statm: 741546 180418 2283 9 0 732240 0
[pid=20675/tid=20677] ppid=20673 vsize=2966184 CPUtime=1.63 cores=1,3,5,7
/proc/20675/task/20677/stat : 20677 (java) S 20673 20675 11290 0 -1 4202560 3039 0 1 0 154 9 0 0 20 0 22 0 340505432 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093379015832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20678] ppid=20673 vsize=2966184 CPUtime=9.07 cores=1,3,5,7
/proc/20675/task/20678/stat : 20678 (java) S 20673 20675 11290 0 -1 4202560 299 0 0 0 901 6 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093245598376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20679] ppid=20673 vsize=2966184 CPUtime=9.53 cores=1,3,5,7
/proc/20675/task/20679/stat : 20679 (java) S 20673 20675 11290 0 -1 4202560 316 0 0 0 944 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093244545832 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20680] ppid=20673 vsize=2966184 CPUtime=9.48 cores=1,3,5,7
/proc/20675/task/20680/stat : 20680 (java) S 20673 20675 11290 0 -1 4202560 307 0 0 0 940 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093176146856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20681] ppid=20673 vsize=2966184 CPUtime=9.28 cores=1,3,5,7
/proc/20675/task/20681/stat : 20681 (java) S 20673 20675 11290 0 -1 4202560 346 0 0 0 919 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093175094312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20682] ppid=20673 vsize=2966184 CPUtime=9.11 cores=1,3,5,7
/proc/20675/task/20682/stat : 20682 (java) S 20673 20675 11290 0 -1 4202560 329 0 0 0 901 10 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093174040744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20683] ppid=20673 vsize=2966184 CPUtime=9.13 cores=1,3,5,7
/proc/20675/task/20683/stat : 20683 (java) S 20673 20675 11290 0 -1 4202560 337 0 0 0 904 9 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093172988200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20684] ppid=20673 vsize=2966184 CPUtime=8.96 cores=1,3,5,7
/proc/20675/task/20684/stat : 20684 (java) S 20673 20675 11290 0 -1 4202560 340 0 0 0 888 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093171935656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20685] ppid=20673 vsize=2966184 CPUtime=9.1 cores=1,3,5,7
/proc/20675/task/20685/stat : 20685 (java) S 20673 20675 11290 0 -1 4202560 321 0 0 0 902 8 0 0 20 0 22 0 340505433 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093170883112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20686] ppid=20673 vsize=2966184 CPUtime=4.7 cores=1,3,5,7
/proc/20675/task/20686/stat : 20686 (java) S 20673 20675 11290 0 -1 4202560 35793 0 0 0 426 44 0 0 20 0 22 0 340505434 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093158685288 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20687] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20687/stat : 20687 (java) S 20673 20675 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093157631608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20688] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20688/stat : 20688 (java) S 20673 20675 11290 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340505435 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093156578952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20689] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20689/stat : 20689 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093155527696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20675/tid=20690] ppid=20673 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/20675/task/20690/stat : 20690 (java) S 20673 20675 11290 0 -1 4202560 9802 0 0 0 86 3 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093154474040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20691] ppid=20673 vsize=2966184 CPUtime=2.41 cores=1,3,5,7
/proc/20675/task/20691/stat : 20691 (java) S 20673 20675 11290 0 -1 4202560 12974 0 0 0 236 5 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093153421496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20692] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20692/stat : 20692 (java) S 20673 20675 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093152369144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20675/tid=20693] ppid=20673 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/20675/task/20693/stat : 20693 (java) S 20673 20675 11290 0 -1 4202560 49 0 0 0 27 23 0 0 20 0 22 0 340505437 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093151316808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20694] ppid=20673 vsize=2966184 CPUtime=858.37 cores=1,3,5,7
/proc/20675/task/20694/stat : 20694 (java) R 20673 20675 11290 0 -1 4202560 340 0 0 0 85821 16 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093150260016 140093252055103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20675/tid=20695] ppid=20673 vsize=2966184 CPUtime=858.32 cores=1,3,5,7
/proc/20675/task/20695/stat : 20695 (java) R 20673 20675 11290 0 -1 4202560 360 0 0 0 85816 16 0 0 20 0 22 0 340505605 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093149208288 140093251827337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20696] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20696/stat : 20696 (java) S 20673 20675 11290 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093148157480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20675/tid=20697] ppid=20673 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/20675/task/20697/stat : 20697 (java) S 20673 20675 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340505607 3037372416 180418 33554432000 1073741824 1073778376 140733364051424 140093147104936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 884.633
CPU time (s): 1800.83
CPU user time (s): 1798.84
CPU system time (s): 1.9907
CPU usage (%): 203.568
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.9907
maximum resident set size= 737036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66179
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37760
involuntary context switches= 103149
runsolver used 3.33249 second user time and 9.33258 second system time
The end