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-3710696-1338148786/watcher-3710696-1338148786 -o /tmp/evaluation-result-3710696-1338148786/solver-3710696-1338148786 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710696-1338148786.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.93 1.98 1.99 3/194 3672
/proc/meminfo: memFree=28859448/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 1174 0 0 0 0 0 0 0 20 0 2 0 281004507 91889664 893 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 22450 900 685 9 0 16769 0
[pid=3672/tid=3673] ppid=3670 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 281004507 94019584 905 33554432000 1073741824 1073778376 140734321119296 140734321108360 259112704063 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0197241 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 3672
/proc/meminfo: memFree=28859448/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 2809 0 1 0 0 0 0 0 20 0 10 0 281004507 9233014784 2997 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2254154 2997 1538 9 0 2244855 0
[pid=3672/tid=3673] ppid=3670 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 1653 0 1 0 0 0 0 0 20 0 10 0 281004507 9233014784 2997 33554432000 1073741824 1073778376 140734321119296 140523418845888 259115771149 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100224 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 3672
/proc/meminfo: memFree=28859448/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 4435 0 1 0 9 1 0 0 20 0 18 0 281004507 9787842560 5637 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2389610 5637 2131 9 0 2380296 0
[pid=3672/tid=3673] ppid=3670 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2543 0 1 0 6 1 0 0 20 0 18 0 281004507 9787842560 5637 33554432000 1073741824 1073778376 140734321119296 140523418839208 259115771149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300192 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 3672
/proc/meminfo: memFree=28859448/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 5767 0 1 0 47 2 0 0 20 0 18 0 281004507 9787842560 8068 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2389610 8068 2225 9 0 2380296 0
[pid=3672/tid=3673] ppid=3670 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2556 0 1 0 26 1 0 0 20 0 18 0 281004507 9787842560 8068 33554432000 1073741824 1073778376 140734321119296 140523418839208 140523290478124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440
[startup+0.700195 s]
/proc/loadavg: 1.93 1.98 1.99 3/194 3672
/proc/meminfo: memFree=28859448/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 10014 0 1 0 140 3 0 0 20 0 19 0 281004507 9856004096 21042 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 21042 2255 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2588 0 1 0 65 2 0 0 20 0 19 0 281004507 9856004096 21042 33554432000 1073741824 1073778376 140734321119296 140523418849592 140523290477839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625004
[startup+1.50071 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 3691
/proc/meminfo: memFree=28771032/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=2.39 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 10438 0 1 0 235 4 0 0 20 0 19 0 281004507 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 29309 2289 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2599 0 1 0 143 2 0 0 20 0 19 0 281004507 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523418849704 140523291143981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3620 0 0 0 40 0 0 0 20 0 19 0 281004512 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 2967 0 0 0 45 0 0 0 20 0 19 0 281004512 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 29309 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625004
[startup+3.10147 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 3691
/proc/meminfo: memFree=28727156/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=4.05 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 10495 0 1 0 399 6 0 0 20 0 19 0 281004507 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 37519 2289 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2600 0 1 0 298 2 0 0 20 0 19 0 281004507 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523418849704 140523291143597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 281004509 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 2972 0 0 0 47 0 0 0 20 0 19 0 281004512 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 37519 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625004
[startup+6.30153 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 3691
/proc/meminfo: memFree=28689616/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=7.35 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 11013 0 1 0 727 8 0 0 20 0 19 0 281004507 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 40571 2289 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=6.12 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2602 0 1 0 610 2 0 0 20 0 19 0 281004507 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523418849584 140523291144538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281004508 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 19 0 281004509 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 3460 0 0 0 51 0 0 0 20 0 19 0 281004512 9856004096 40571 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 152005 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 3616 0 0 0 53 0 0 0 20 0 19 0 281004512 9856004096 152005 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 152005 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 99 0 0 0 28 36 0 0 20 0 19 0 281004512 9856004096 152005 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 152005 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1738.13
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 3729
/proc/meminfo: memFree=27638384/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=1798.67 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 21579 0 1 0 179744 123 0 0 20 0 19 0 281004507 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 159594 2290 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=1766.07 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2971 0 1 0 176577 30 0 0 20 0 19 0 281004507 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523418848640 140523291212880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=2.66 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 1114 0 0 0 256 10 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=2.47 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 782 0 0 0 237 10 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=2.71 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 1243 0 0 0 261 10 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=2.47 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 1056 0 0 0 238 9 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=2.61 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 1252 0 0 0 251 10 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=2.58 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 1155 0 0 0 249 9 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=2.71 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 1254 0 0 0 261 10 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=2.74 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 1365 0 0 0 266 8 0 0 20 0 19 0 281004508 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=5.51 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 859 0 0 0 546 5 0 0 20 0 19 0 281004509 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 3616 0 0 0 53 0 0 0 20 0 19 0 281004512 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 103 0 0 0 30 37 0 0 20 0 19 0 281004512 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 159594 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1783.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3729
/proc/meminfo: memFree=27638384/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=1800.11 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 21580 0 1 0 179888 123 0 0 20 0 19 0 281004507 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 159593 2290 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=1767.46 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2972 0 1 0 176716 30 0 0 20 0 19 0 281004507 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523418848640 140523290867080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=2.66 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 1114 0 0 0 256 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=2.48 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 782 0 0 0 238 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=2.72 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 1243 0 0 0 262 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=2.47 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 1056 0 0 0 238 9 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=2.61 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 1252 0 0 0 251 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=2.58 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 1155 0 0 0 249 9 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=2.71 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 1254 0 0 0 261 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=2.74 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 1365 0 0 0 266 8 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=5.51 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 859 0 0 0 546 5 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 3616 0 0 0 53 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 103 0 0 0 30 37 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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+1783.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3729
/proc/meminfo: memFree=27638384/32873648 swapFree=6844/6844
[pid=3672] ppid=3670 vsize=9625004 CPUtime=1800.11 cores=1,3,5,7
/proc/3672/stat : 3672 (java) S 3670 3672 3132 0 -1 4202496 21580 0 1 0 179888 123 0 0 20 0 19 0 281004507 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140734321110432 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3672/statm: 2406251 159593 2290 9 0 2396937 0
[pid=3672/tid=3673] ppid=3670 vsize=9625004 CPUtime=1767.46 cores=1,3,5,7
/proc/3672/task/3673/stat : 3673 (java) R 3670 3672 3132 0 -1 4202560 2972 0 1 0 176716 30 0 0 20 0 19 0 281004507 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523418848640 140523290867080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3675] ppid=3670 vsize=9625004 CPUtime=2.66 cores=1,3,5,7
/proc/3672/task/3675/stat : 3675 (java) S 3670 3672 3132 0 -1 4202560 1114 0 0 0 256 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523262790696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3676] ppid=3670 vsize=9625004 CPUtime=2.48 cores=1,3,5,7
/proc/3672/task/3676/stat : 3676 (java) S 3670 3672 3132 0 -1 4202560 782 0 0 0 238 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523261737896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3677] ppid=3670 vsize=9625004 CPUtime=2.72 cores=1,3,5,7
/proc/3672/task/3677/stat : 3677 (java) S 3670 3672 3132 0 -1 4202560 1243 0 0 0 262 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523260685096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3678] ppid=3670 vsize=9625004 CPUtime=2.47 cores=1,3,5,7
/proc/3672/task/3678/stat : 3678 (java) S 3670 3672 3132 0 -1 4202560 1056 0 0 0 238 9 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523259632296 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3672/tid=3679] ppid=3670 vsize=9625004 CPUtime=2.61 cores=1,3,5,7
/proc/3672/task/3679/stat : 3679 (java) S 3670 3672 3132 0 -1 4202560 1252 0 0 0 251 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523258579496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3680] ppid=3670 vsize=9625004 CPUtime=2.58 cores=1,3,5,7
/proc/3672/task/3680/stat : 3680 (java) S 3670 3672 3132 0 -1 4202560 1155 0 0 0 249 9 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523257526696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3681] ppid=3670 vsize=9625004 CPUtime=2.71 cores=1,3,5,7
/proc/3672/task/3681/stat : 3681 (java) S 3670 3672 3132 0 -1 4202560 1254 0 0 0 261 10 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523256473896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3682] ppid=3670 vsize=9625004 CPUtime=2.74 cores=1,3,5,7
/proc/3672/task/3682/stat : 3682 (java) S 3670 3672 3132 0 -1 4202560 1365 0 0 0 266 8 0 0 20 0 19 0 281004508 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523255421096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3683] ppid=3670 vsize=9625004 CPUtime=5.51 cores=1,3,5,7
/proc/3672/task/3683/stat : 3683 (java) S 3670 3672 3132 0 -1 4202560 859 0 0 0 546 5 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523243011048 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3684] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3684/stat : 3684 (java) S 3670 3672 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523241957112 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3685] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3685/stat : 3685 (java) S 3670 3672 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281004509 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523240904200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3686] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3686/stat : 3686 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004511 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523239852688 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3672/tid=3687] ppid=3670 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3672/task/3687/stat : 3687 (java) S 3670 3672 3132 0 -1 4202560 3624 0 0 0 42 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523238799800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3688] ppid=3670 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/3672/task/3688/stat : 3688 (java) S 3670 3672 3132 0 -1 4202560 3616 0 0 0 53 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523237747000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3689] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3689/stat : 3689 (java) S 3670 3672 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523236694392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3672/tid=3690] ppid=3670 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/3672/task/3690/stat : 3690 (java) S 3670 3672 3132 0 -1 4202560 103 0 0 0 30 37 0 0 20 0 19 0 281004512 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523235641800 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3672/tid=3691] ppid=3670 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3672/task/3691/stat : 3691 (java) S 3670 3672 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281004553 9856004096 159593 33554432000 1073741824 1073778376 140734321119296 140523234588328 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3672 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=299225
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=621753
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1783.75
CPU time (s): 1800.11
CPU user time (s): 1798.88
CPU system time (s): 1.23
CPU usage (%): 100.917
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.62175
maximum resident set size= 668364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21614
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48348
involuntary context switches= 45073
runsolver used 6.19306 second user time and 14.7098 second system time
The end