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-3456795-1307658381/watcher-3456795-1307658381 -o /tmp/evaluation-result-3456795-1307658381/solver-3456795-1307658381 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456795-1307658381.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: 8.02 7.95 6.41 2/174 25183
/proc/meminfo: memFree=32052444/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25183/stat : 25183 (java) R 25181 25183 21841 0 -1 4202496 914 0 0 0 0 0 0 0 23 0 1 0 956068688 23580672 659 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260015433493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25183/statm: 5757 672 492 9 0 124 0
[startup+0.014947 s]
/proc/loadavg: 8.02 7.95 6.41 2/174 25183
/proc/meminfo: memFree=32052444/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 3772 0 1 0 0 0 0 0 23 0 2 0 956068688 10694979584 3476 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2611079 3496 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100917 s]
/proc/loadavg: 8.02 7.95 6.41 2/174 25183
/proc/meminfo: memFree=32052444/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10539868 CPUtime=0.1 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 13042 0 1 0 9 1 0 0 23 0 18 0 956068688 10792824832 12709 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2634967 12711 2093 9 0 2625701 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.300846 s]
/proc/loadavg: 8.02 7.95 6.41 2/174 25183
/proc/meminfo: memFree=32052444/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10550992 CPUtime=0.6 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 21784 0 1 0 57 3 0 0 23 0 18 0 956068688 10804215808 19605 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2637748 19607 2200 9 0 2628482 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10550992
[startup+0.700807 s]
/proc/loadavg: 8.02 7.95 6.41 2/174 25183
/proc/meminfo: memFree=32052444/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=1.57 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 36430 0 1 0 152 5 0 0 23 0 19 0 956068688 10805268480 33582 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 33584 2225 9 0 2628739 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10552020
[startup+1.50067 s]
/proc/loadavg: 8.02 7.95 6.41 5/214 25230
/proc/meminfo: memFree=31685024/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=3 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 115884 0 1 0 284 16 0 0 23 0 19 0 956068688 10805268480 108116 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 108121 2227 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=1.48 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 100834 0 1 0 135 13 0 0 20 0 19 0 956068689 10805268480 108124 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505771171 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108128 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108130 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108132 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108135 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108137 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108139 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108141 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 108142 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956068691 10805268480 108143 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 108144 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 108146 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 108148 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.75 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9006 0 0 0 74 1 0 0 23 0 19 0 956068694 10805268480 108150 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=0.75 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4895 0 0 0 74 1 0 0 16 0 19 0 956068694 10805268480 108153 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 108155 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 108157 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 108160 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10552020
[startup+3.10137 s]
/proc/loadavg: 7.61 7.87 6.39 3/214 25230
/proc/meminfo: memFree=31075676/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=4.69 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 290262 0 1 0 434 35 0 0 23 0 19 0 956068688 10805268480 282493 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 282496 2230 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=3.08 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 275194 0 1 0 275 33 0 0 25 0 19 0 956068689 10805268480 282498 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505669909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282500 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282502 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282504 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282506 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282509 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282510 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282513 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 282515 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956068691 10805268480 282517 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 282518 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 282520 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 282522 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.76 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9006 0 0 0 75 1 0 0 17 0 19 0 956068694 10805268480 282524 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=0.84 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4910 0 0 0 83 1 0 0 15 0 19 0 956068694 10805268480 282526 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 282528 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 282531 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 282533 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 10552020
[startup+6.30078 s]
/proc/loadavg: 7.61 7.87 6.39 3/214 25230
/proc/meminfo: memFree=28469352/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=7.89 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 587497 0 1 0 722 67 0 0 23 0 19 0 956068688 10805268480 579601 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 579604 2231 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=6.28 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 572427 0 1 0 563 65 0 0 25 0 19 0 956068689 10805268480 579606 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505794458 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579608 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579611 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579614 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579616 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579618 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579620 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579622 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068690 10805268480 579624 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956068691 10805268480 579626 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 579629 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956068692 10805268480 579631 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 579633 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.76 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9006 0 0 0 75 1 0 0 17 0 19 0 956068694 10805268480 579635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=0.84 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4910 0 0 0 83 1 0 0 15 0 19 0 956068694 10805268480 579637 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 579640 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 579642 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 579644 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 10552020
[startup+12.7016 s]
################
# More data... #
################
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9018 0 0 0 82 1 0 0 15 0 19 0 956068694 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=1.07 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4934 0 0 0 106 1 0 0 15 0 19 0 956068694 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 952635 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1669.08
Current children cumulated vsize (KiB) 10552020
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.66 3/214 25279
/proc/meminfo: memFree=24177552/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=1729.18 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 963228 0 1 0 172805 113 0 0 23 0 19 0 956068688 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 953838 2257 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=1716.74 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 831070 0 1 0 171581 93 0 0 25 0 19 0 956068689 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505530694 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0.79 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 10543 0 0 0 78 1 0 0 16 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0.82 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 11272 0 0 0 81 1 0 0 15 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0.91 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 13502 0 0 0 89 2 0 0 16 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0.82 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 10313 0 0 0 81 1 0 0 15 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0.78 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 9444 0 0 0 77 1 0 0 15 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0.9 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 13224 0 0 0 89 1 0 0 15 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0.85 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 14311 0 0 0 84 1 0 0 16 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 11975 0 0 0 82 1 0 0 16 0 19 0 956068690 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=3.72 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 22374 0 0 0 369 3 0 0 15 0 19 0 956068691 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9018 0 0 0 82 1 0 0 15 0 19 0 956068694 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=1.07 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4934 0 0 0 106 1 0 0 15 0 19 0 956068694 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 953838 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.18
Current children cumulated vsize (KiB) 10552020
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.62 3/214 25280
/proc/meminfo: memFree=24138420/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=1789.3 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 964298 0 1 0 178817 113 0 0 23 0 19 0 956068688 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 954882 2257 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=1776.71 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 831075 0 1 0 177578 93 0 0 25 0 19 0 956068689 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505990400 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0.82 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 10653 0 0 0 81 1 0 0 16 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 11386 0 0 0 82 1 0 0 15 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0.91 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 13502 0 0 0 89 2 0 0 15 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0.84 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 10456 0 0 0 83 1 0 0 15 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0.8 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 9557 0 0 0 79 1 0 0 16 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0.92 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 13439 0 0 0 91 1 0 0 15 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0.85 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 14399 0 0 0 84 1 0 0 16 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0.87 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 12251 0 0 0 86 1 0 0 16 0 19 0 956068690 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=3.72 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 22378 0 0 0 369 3 0 0 15 0 19 0 956068691 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9018 0 0 0 82 1 0 0 15 0 19 0 956068694 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=1.07 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4934 0 0 0 106 1 0 0 15 0 19 0 956068694 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 954882 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 10552020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 2.00 2.02 2.61 3/214 25281
/proc/meminfo: memFree=24132056/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=10552020 CPUtime=1800.03 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25181 25183 21841 0 -1 4202496 964691 0 1 0 179890 113 0 0 23 0 19 0 956068688 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 2638005 955268 2257 9 0 2628739 0
[pid=25183/tid=25185] ppid=25181 vsize=10552020 CPUtime=1787.41 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4202560 831076 0 1 0 178648 93 0 0 25 0 19 0 956068689 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 46912505785738 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25183/tid=25186] ppid=25181 vsize=10552020 CPUtime=0.82 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25183 21841 0 -1 4202560 10653 0 0 0 81 1 0 0 15 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25187] ppid=25181 vsize=10552020 CPUtime=0.84 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25183 21841 0 -1 4202560 11475 0 0 0 83 1 0 0 16 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 7 0 0 0
[pid=25183/tid=25188] ppid=25181 vsize=10552020 CPUtime=0.92 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25183 21841 0 -1 4202560 13512 0 0 0 90 2 0 0 16 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25189] ppid=25181 vsize=10552020 CPUtime=0.84 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25183 21841 0 -1 4202560 10456 0 0 0 83 1 0 0 15 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25190] ppid=25181 vsize=10552020 CPUtime=0.81 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25183 21841 0 -1 4202560 9692 0 0 0 80 1 0 0 16 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25191] ppid=25181 vsize=10552020 CPUtime=0.93 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25183 21841 0 -1 4202560 13595 0 0 0 92 1 0 0 16 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25192] ppid=25181 vsize=10552020 CPUtime=0.85 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25183 21841 0 -1 4202560 14399 0 0 0 84 1 0 0 15 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25193] ppid=25181 vsize=10552020 CPUtime=0.87 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25183 21841 0 -1 4202560 12251 0 0 0 86 1 0 0 16 0 19 0 956068690 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25194] ppid=25181 vsize=10552020 CPUtime=3.72 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25183 21841 0 -1 4202560 22378 0 0 0 369 3 0 0 15 0 19 0 956068691 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 0 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25195] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25183 21841 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25196] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25183 21841 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956068692 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25197] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032219569 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25198] ppid=25181 vsize=10552020 CPUtime=0.83 cores=1,3,5,7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25183 21841 0 -1 4202560 9018 0 0 0 82 1 0 0 15 0 19 0 956068694 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
[pid=25183/tid=25199] ppid=25181 vsize=10552020 CPUtime=1.07 cores=1,3,5,7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25183 21841 0 -1 4202560 4934 0 0 0 106 1 0 0 15 0 19 0 956068694 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25200] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25183 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956068694 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032211865 0 4 0 16800975 18446604468233327744 0 0 -1 1 0 0 0
[pid=25183/tid=25201] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25183 21841 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 956068694 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 3 0 0 0
[pid=25183/tid=25229] ppid=25181 vsize=10552020 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25229/stat : 25229 (java) S 25181 25183 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956068726 10805268480 955268 33554432000 1073741824 1073778376 140736856305920 18446744073709551615 260032212480 0 4 0 16800975 18446604468233327744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10552020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.2 s]
/proc/loadavg: 2.00 2.02 2.61 3/214 25281
/proc/meminfo: memFree=24132056/32951124 swapFree=67056304/67111528
[pid=25183] ppid=25181 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/25183/stat : 25183 (java) Z 25181 25183 21841 0 -1 4203548 964739 0 1 0 179903 125 0 0 17 0 2 0 956068688 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25183/statm: 0 0 0 0 0 0 0
[pid=25183/tid=25185] ppid=25181 vsize=0 CPUtime=1787.58 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) R 25181 25183 21841 0 -1 4203588 831076 0 1 0 178653 105 0 0 25 0 2 0 956068689 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.22
CPU time (s): 1800.31
CPU user time (s): 1799.04
CPU system time (s): 1.27481
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 10552020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.27481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964739
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= 40967
involuntary context switches= 7994
runsolver used 3.08053 second user time and 6.71598 second system time
The end