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-3458419-1307161419/watcher-3458419-1307161419 -o /tmp/evaluation-result-3458419-1307161419/solver-3458419-1307161419 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458419-1307161419.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.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 1790 0 1 0 0 0 0 0 17 0 2 0 827738620 13833195520 1492 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3377245 1505 906 9 0 3368401 0
[pid=15463/tid=15469] ppid=15461 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 5317 0 1 0 0 0 0 0 18 0 2 0 827738621 13850947584 6133 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0869891 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 14479 0 1 0 5 1 0 0 17 0 18 0 827738620 13880410112 14176 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3388772 14176 1755 9 0 3379506 0
[pid=15463/tid=15469] ppid=15461 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 13305 0 1 0 5 1 0 0 18 0 18 0 827738621 13880410112 14176 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558950536245 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100987 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13621900 CPUtime=0.1 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 15472 0 1 0 8 2 0 0 17 0 18 0 827738620 13948825600 15139 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3405475 15140 2092 9 0 3396209 0
[pid=15463/tid=15469] ppid=15461 vsize=13621900 CPUtime=0.07 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 13526 0 1 0 6 1 0 0 18 0 18 0 827738621 13948825600 15140 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558947364771 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621900
[startup+0.300935 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13624100 CPUtime=0.46 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 18800 0 1 0 44 2 0 0 17 0 18 0 827738620 13951078400 18138 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3406025 18138 2211 9 0 3396759 0
[pid=15463/tid=15469] ppid=15461 vsize=13624100 CPUtime=0.27 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 15282 0 1 0 26 1 0 0 18 0 18 0 827738621 13951078400 18139 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 47558951832372 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624100
[startup+0.700875 s]
/proc/loadavg: 1.00 1.05 1.38 4/516 15466
/proc/meminfo: memFree=21552364/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=1.58 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 32347 0 1 0 155 3 0 0 17 0 19 0 827738620 14027747328 29661 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 29661 2239 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=0.67 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23008 0 1 0 65 2 0 0 19 0 19 0 827738621 14027747328 29661 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505217133 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 13698972
[startup+1.50071 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15513
/proc/meminfo: memFree=21330176/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=2.5 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 32583 0 1 0 247 3 0 0 17 0 19 0 827738620 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 29896 2243 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=1.47 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23220 0 1 0 145 2 0 0 20 0 19 0 827738621 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505971122 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827738623 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827738624 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13698972 CPUtime=0.52 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3720 0 0 0 52 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13698972 CPUtime=0.48 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4483 0 0 0 48 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14027747328 29896 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13698972
[startup+3.1014 s]
/proc/loadavg: 1.08 1.07 1.38 3/554 15513
/proc/meminfo: memFree=21326456/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13698972 CPUtime=4.14 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 35966 0 1 0 410 4 0 0 17 0 19 0 827738620 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3424743 33275 2269 9 0 3415477 0
[pid=15463/tid=15469] ppid=15461 vsize=13698972 CPUtime=3.03 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23475 0 1 0 301 2 0 0 25 0 19 0 827738621 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505988645 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 527 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 312 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 477 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 827738623 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13698972 CPUtime=0.02 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 1563 0 0 0 2 0 0 0 17 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13698972 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3724 0 0 0 53 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13698972 CPUtime=0.49 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4485 0 0 0 49 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738626 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13698972 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14027747328 33275 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13698972
[startup+6.30075 s]
/proc/loadavg: 1.08 1.07 1.38 4/554 15515
/proc/meminfo: memFree=21301452/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=7.4 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 36524 0 1 0 736 4 0 0 17 0 19 0 827738620 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 32397 2269 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=6.21 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23485 0 1 0 619 2 0 0 25 0 19 0 827738621 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 528 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 402 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 477 0 0 0 0 0 0 0 15 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 827738623 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=0.05 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 1763 0 0 0 5 0 0 0 16 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.57 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 3728 0 0 0 57 0 0 0 16 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.52 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4487 0 0 0 52 0 0 0 16 0 19 0 827738626 14024179712 32397 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.09 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 9 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=8.9 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4349 0 0 0 885 5 0 0 15 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37542 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.97
Current children cumulated vsize (KiB) 13695488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/554 15569
/proc/meminfo: memFree=21258680/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1784 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42842 0 1 0 178388 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1772.51 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23767 0 1 0 177248 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830826 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.33 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 928 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784
Current children cumulated vsize (KiB) 13695488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/554 15569
/proc/meminfo: memFree=21258540/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1800.02 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42845 0 1 0 179990 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1788.42 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23770 0 1 0 178839 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 11 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.13 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 13 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.43 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 938 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13695488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/554 15569
/proc/meminfo: memFree=21258540/32950928 swapFree=34259960/67111528
[pid=15463] ppid=15461 vsize=13695488 CPUtime=1800.02 cores=1,3,5,7
/proc/15463/stat : 15463 (java) S 15461 15463 7151 0 -1 4202496 42845 0 1 0 179990 12 0 0 17 0 19 0 827738620 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15463/statm: 3423872 37550 2270 9 0 3414606 0
[pid=15463/tid=15469] ppid=15461 vsize=13695488 CPUtime=1788.42 cores=1,3,5,7
/proc/15463/task/15469/stat : 15469 (java) R 15461 15463 7151 0 -1 4202560 23770 0 1 0 178839 3 0 0 25 0 19 0 827738621 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 46912505830835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15463/tid=15473] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15473/stat : 15473 (java) S 15461 15463 7151 0 -1 4202560 942 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15476] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15476/stat : 15476 (java) S 15461 15463 7151 0 -1 4202560 280 0 0 0 12 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15477] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15477/stat : 15477 (java) S 15461 15463 7151 0 -1 4202560 980 0 0 0 11 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15479] ppid=15461 vsize=13695488 CPUtime=0.13 cores=1,3,5,7
/proc/15463/task/15479/stat : 15479 (java) S 15461 15463 7151 0 -1 4202560 1029 0 0 0 13 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15481] ppid=15461 vsize=13695488 CPUtime=0.12 cores=1,3,5,7
/proc/15463/task/15481/stat : 15481 (java) S 15461 15463 7151 0 -1 4202560 46 0 0 0 12 0 0 0 16 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15483] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15483/stat : 15483 (java) S 15461 15463 7151 0 -1 4202560 475 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15486] ppid=15461 vsize=13695488 CPUtime=0.1 cores=1,3,5,7
/proc/15463/task/15486/stat : 15486 (java) S 15461 15463 7151 0 -1 4202560 406 0 0 0 10 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 5 0 0 0
[pid=15463/tid=15488] ppid=15461 vsize=13695488 CPUtime=0.11 cores=1,3,5,7
/proc/15463/task/15488/stat : 15488 (java) S 15461 15463 7151 0 -1 4202560 391 0 0 0 11 0 0 0 15 0 19 0 827738623 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15492] ppid=15461 vsize=13695488 CPUtime=9.43 cores=1,3,5,7
/proc/15463/task/15492/stat : 15492 (java) S 15461 15463 7151 0 -1 4202560 4359 0 0 0 938 5 0 0 15 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 0 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15495] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15495/stat : 15495 (java) S 15461 15463 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15498] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15498/stat : 15498 (java) S 15461 15463 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827738624 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15499] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15499/stat : 15499 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512515505 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15501] ppid=15461 vsize=13695488 CPUtime=0.63 cores=1,3,5,7
/proc/15463/task/15501/stat : 15501 (java) S 15461 15463 7151 0 -1 4202560 4422 0 0 0 63 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15504] ppid=15461 vsize=13695488 CPUtime=0.53 cores=1,3,5,7
/proc/15463/task/15504/stat : 15504 (java) S 15461 15463 7151 0 -1 4202560 4491 0 0 0 53 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 7 0 0 0
[pid=15463/tid=15506] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15506/stat : 15506 (java) S 15461 15463 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512507801 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
[pid=15463/tid=15508] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15508/stat : 15508 (java) S 15461 15463 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827738626 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 3 0 0 0
[pid=15463/tid=15512] ppid=15461 vsize=13695488 CPUtime=0 cores=1,3,5,7
/proc/15463/task/15512/stat : 15512 (java) S 15461 15463 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827738673 14024179712 37550 33554432000 1073741824 1073778376 140733333607856 18446744073709551615 254512508416 0 4 0 16800975 18446604470942881984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13695488
Child status: 143
Real time (s): 1798.36
CPU time (s): 1800.08
CPU user time (s): 1799.95
CPU system time (s): 0.131979
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 13698972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42894
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= 45363
involuntary context switches= 10652
runsolver used 9.8595 second user time and 22.8685 second system time
The end