runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457973-1307163615/watcher-3457973-1307163615 -o /tmp/evaluation-result-3457973-1307163615/solver-3457973-1307163615 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457973-1307163615.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.02 1.05 1.29 2/501 22664
/proc/meminfo: memFree=24735728/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 1950 0 1 0 0 0 0 0 25 0 2 0 906592221 13833195520 1652 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3377245 1666 906 9 0 3368401 0
[pid=22664/tid=22665] ppid=22662 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 6856 0 1 0 0 0 0 0 25 0 2 0 906592222 13850947584 7672 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0825259 s]
/proc/loadavg: 1.02 1.05 1.29 2/501 22664
/proc/meminfo: memFree=24735728/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 14534 0 1 0 6 1 0 0 25 0 18 0 906592221 13880410112 14231 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3388772 14232 1755 9 0 3379506 0
[pid=22664/tid=22665] ppid=22662 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 13360 0 1 0 6 1 0 0 25 0 18 0 906592222 13880410112 14232 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 47234482478142 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100464 s]
/proc/loadavg: 1.02 1.05 1.29 2/501 22664
/proc/meminfo: memFree=24735728/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13621052 CPUtime=0.1 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 15415 0 1 0 9 1 0 0 25 0 18 0 906592221 13947957248 15112 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3405263 15112 2093 9 0 3395997 0
[pid=22664/tid=22665] ppid=22662 vsize=13621052 CPUtime=0.09 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 13615 0 1 0 8 1 0 0 25 0 18 0 906592222 13947957248 15113 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 47234482817875 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621052
[startup+0.300431 s]
/proc/loadavg: 1.02 1.05 1.29 2/501 22664
/proc/meminfo: memFree=24735728/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13622888 CPUtime=0.48 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 19408 0 1 0 46 2 0 0 25 0 18 0 906592221 13949837312 18609 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3405722 18609 2222 9 0 3396456 0
[pid=22664/tid=22665] ppid=22662 vsize=13622888 CPUtime=0.29 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 15883 0 1 0 27 2 0 0 25 0 18 0 906592222 13949837312 18609 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 47234482817875 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13622888
[startup+0.700368 s]
/proc/loadavg: 1.02 1.05 1.29 2/501 22664
/proc/meminfo: memFree=24735728/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630232 CPUtime=1.54 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 39966 0 1 0 149 5 0 0 25 0 19 0 906592221 13957357568 37121 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407558 37121 2235 9 0 3398292 0
[pid=22664/tid=22665] ppid=22662 vsize=13630232 CPUtime=0.68 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 30168 0 1 0 64 4 0 0 25 0 19 0 906592222 13957357568 37121 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505175407 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13630232
[startup+1.50127 s]
/proc/loadavg: 1.02 1.05 1.29 3/520 22683
/proc/meminfo: memFree=24593976/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630232 CPUtime=2.51 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 40353 0 1 0 246 5 0 0 25 0 19 0 906592221 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407558 37507 2237 9 0 3398292 0
[pid=22664/tid=22665] ppid=22662 vsize=13630232 CPUtime=1.48 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 30457 0 1 0 144 4 0 0 25 0 19 0 906592222 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505955514 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906592225 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906592225 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 906592225 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630232 CPUtime=0.54 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3063 0 0 0 54 0 0 0 24 0 19 0 906592227 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630232 CPUtime=0.47 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5672 0 0 0 47 0 0 0 17 0 19 0 906592227 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906592227 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630232 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957357568 37507 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13630232
[startup+3.10092 s]
/proc/loadavg: 1.02 1.05 1.29 3/520 22683
/proc/meminfo: memFree=24590892/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630616 CPUtime=4.27 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 42239 0 1 0 422 5 0 0 25 0 19 0 906592221 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407654 39392 2241 9 0 3398388 0
[pid=22664/tid=22665] ppid=22662 vsize=13630616 CPUtime=3.07 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 32217 0 1 0 303 4 0 0 25 0 19 0 906592222 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912506078528 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592224 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906592225 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906592225 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 906592225 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.66 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3186 0 0 0 66 0 0 0 16 0 19 0 906592227 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.51 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5675 0 0 0 51 0 0 0 15 0 19 0 906592227 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906592227 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957750784 39392 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 13630616
[startup+6.30133 s]
/proc/loadavg: 1.10 1.06 1.29 3/520 22683
/proc/meminfo: memFree=24567084/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630616 CPUtime=7.52 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 54228 0 1 0 745 7 0 0 25 0 19 0 906592221 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407654 51352 2267 9 0 3398388 0
[pid=22664/tid=22665] ppid=22662 vsize=13630616 CPUtime=6.22 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 35602 0 1 0 617 5 0 0 25 0 19 0 906592222 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505813558 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 1719 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0.01 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1307 0 0 0 1 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1198 0 0 0 0 0 0 0 18 0 19 0 906592224 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=0.03 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 4374 0 0 0 3 0 0 0 15 0 19 0 906592225 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.67 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3192 0 0 0 67 0 0 0 16 0 19 0 906592227 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.53 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5679 0 0 0 53 0 0 0 15 0 19 0 906592227 13957750784 51352 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 5479 0 0 0 21 0 0 0 15 0 19 0 906592224 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1632 0 0 0 21 0 0 0 15 0 19 0 906592224 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0.27 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1939 0 0 0 27 0 0 0 16 0 19 0 906592224 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=3.85 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 30783 0 0 0 382 3 0 0 15 0 19 0 906592225 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.69 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3194 0 0 0 69 0 0 0 15 0 19 0 906592227 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.63 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5714 0 0 0 63 0 0 0 15 0 19 0 906592227 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 906592227 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957750784 103149 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.79
Current children cumulated vsize (KiB) 13630616
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/520 22785
/proc/meminfo: memFree=24011540/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630616 CPUtime=1784.84 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 106316 0 1 0 178471 13 0 0 25 0 19 0 906592221 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407654 103157 2268 9 0 3398388 0
[pid=22664/tid=22665] ppid=22662 vsize=13630616 CPUtime=1777.35 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 35675 0 1 0 177730 5 0 0 25 0 19 0 906592222 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505806946 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630616 CPUtime=0.31 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 6209 0 0 0 31 0 0 0 15 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 6572 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630616 CPUtime=0.27 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 3117 0 0 0 27 0 0 0 15 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 2824 0 0 0 21 0 0 0 15 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1924 0 0 0 21 0 0 0 16 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 5479 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1632 0 0 0 21 0 0 0 16 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0.29 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1939 0 0 0 29 0 0 0 16 0 19 0 906592224 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=4.13 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 30785 0 0 0 410 3 0 0 15 0 19 0 906592225 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.69 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3194 0 0 0 69 0 0 0 15 0 19 0 906592227 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.63 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5714 0 0 0 63 0 0 0 15 0 19 0 906592227 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906592227 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957750784 103157 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 13630616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 1.90 3/520 22786
/proc/meminfo: memFree=24011528/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630616 CPUtime=1800.08 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 106341 0 1 0 179995 13 0 0 25 0 19 0 906592221 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407654 103176 2268 9 0 3398388 0
[pid=22664/tid=22665] ppid=22662 vsize=13630616 CPUtime=1792.42 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 35677 0 1 0 179237 5 0 0 25 0 19 0 906592222 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505935119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630616 CPUtime=0.32 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 6224 0 0 0 32 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630616 CPUtime=0.23 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 6573 0 0 0 23 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630616 CPUtime=0.28 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 3120 0 0 0 28 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 2824 0 0 0 21 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1924 0 0 0 22 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 5479 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1632 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0.3 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1939 0 0 0 30 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=4.26 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 30787 0 0 0 423 3 0 0 15 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.69 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3194 0 0 0 69 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.63 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5714 0 0 0 63 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 1.90 3/520 22786
/proc/meminfo: memFree=24011528/32950928 swapFree=61542356/67111528
[pid=22664] ppid=22662 vsize=13630616 CPUtime=1800.08 cores=1,3,5,7
/proc/22664/stat : 22664 (java) S 22662 22664 22562 0 -1 4202496 106341 0 1 0 179995 13 0 0 25 0 19 0 906592221 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22664/statm: 3407654 103176 2268 9 0 3398388 0
[pid=22664/tid=22665] ppid=22662 vsize=13630616 CPUtime=1792.42 cores=1,3,5,7
/proc/22664/task/22665/stat : 22665 (java) R 22662 22664 22562 0 -1 4202560 35677 0 1 0 179237 5 0 0 25 0 19 0 906592222 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 46912505935119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22664/tid=22667] ppid=22662 vsize=13630616 CPUtime=0.32 cores=1,3,5,7
/proc/22664/task/22667/stat : 22667 (java) S 22662 22664 22562 0 -1 4202560 6224 0 0 0 32 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22668] ppid=22662 vsize=13630616 CPUtime=0.23 cores=1,3,5,7
/proc/22664/task/22668/stat : 22668 (java) S 22662 22664 22562 0 -1 4202560 6573 0 0 0 23 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22669] ppid=22662 vsize=13630616 CPUtime=0.28 cores=1,3,5,7
/proc/22664/task/22669/stat : 22669 (java) S 22662 22664 22562 0 -1 4202560 3120 0 0 0 28 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22670] ppid=22662 vsize=13630616 CPUtime=0.21 cores=1,3,5,7
/proc/22664/task/22670/stat : 22670 (java) S 22662 22664 22562 0 -1 4202560 2824 0 0 0 21 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22671] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22671/stat : 22671 (java) S 22662 22664 22562 0 -1 4202560 1924 0 0 0 22 0 0 0 16 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22672] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22672/stat : 22672 (java) S 22662 22664 22562 0 -1 4202560 5479 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22673] ppid=22662 vsize=13630616 CPUtime=0.22 cores=1,3,5,7
/proc/22664/task/22673/stat : 22673 (java) S 22662 22664 22562 0 -1 4202560 1632 0 0 0 22 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22674] ppid=22662 vsize=13630616 CPUtime=0.3 cores=1,3,5,7
/proc/22664/task/22674/stat : 22674 (java) S 22662 22664 22562 0 -1 4202560 1939 0 0 0 30 0 0 0 15 0 19 0 906592224 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22675] ppid=22662 vsize=13630616 CPUtime=4.26 cores=1,3,5,7
/proc/22664/task/22675/stat : 22675 (java) S 22662 22664 22562 0 -1 4202560 30787 0 0 0 423 3 0 0 15 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 0 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22676] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22676/stat : 22676 (java) S 22662 22664 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22677] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22677/stat : 22677 (java) S 22662 22664 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906592225 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 7 0 0 0
[pid=22664/tid=22678] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22678/stat : 22678 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917217713 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22679] ppid=22662 vsize=13630616 CPUtime=0.69 cores=1,3,5,7
/proc/22664/task/22679/stat : 22679 (java) S 22662 22664 22562 0 -1 4202560 3194 0 0 0 69 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 5 0 0 0
[pid=22664/tid=22680] ppid=22662 vsize=13630616 CPUtime=0.63 cores=1,3,5,7
/proc/22664/task/22680/stat : 22680 (java) S 22662 22664 22562 0 -1 4202560 5714 0 0 0 63 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22681] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22681/stat : 22681 (java) S 22662 22664 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210009 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
[pid=22664/tid=22682] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22682/stat : 22682 (java) S 22662 22664 22562 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906592227 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 1 0 0 0
[pid=22664/tid=22683] ppid=22662 vsize=13630616 CPUtime=0 cores=1,3,5,7
/proc/22664/task/22683/stat : 22683 (java) S 22662 22664 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906592276 13957750784 103176 33554432000 1073741824 1073778376 140737175661312 18446744073709551615 260917210624 0 4 0 16800975 18446604454462878784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630616
Child status: 143
Real time (s): 1797.56
CPU time (s): 1800.16
CPU user time (s): 1800
CPU system time (s): 0.154976
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 13630616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106376
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38554
involuntary context switches= 13031
runsolver used 8.88365 second user time and 20.4049 second system time
The end