runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4262416-1502456677/watcher-4262416-1502456677 -o /tmp/evaluation-result-4262416-1502456677/solver-4262416-1502456677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262416-1502456677.xml
pid=12343
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.40 1.40 1.46 2/197 12346
/proc/meminfo: memFree=29823356/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12346/stat : 12346 (runsolver) D 12343 12346 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47888521 24240128 106 18446744073709551615 4194304 4338465 140728193079296 140728193076936 139985442730711 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7131136 140728193081553 140728193081929 140728193081929 140728193085386 0
/proc/12346/statm: 5918 106 53 36 0 2156 0
[startup+0.100116 s]
/proc/loadavg: 1.40 1.40 1.46 2/197 12346
/proc/meminfo: memFree=29823356/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12346/stat : 12346 (bash) S 12343 12346 1330 0 -1 4202496 898 6473 0 0 0 0 0 1 20 0 1 0 47888521 9867264 377 18446744073709551615 4194304 5098028 140728832198624 140728832192632 140434977803264 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 32034816 140728832205332 140728832205417 140728832205417 140728832208874 0
/proc/12346/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200501 s]
/proc/loadavg: 1.40 1.40 1.46 2/197 12346
/proc/meminfo: memFree=29823356/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12346/stat : 12346 (bash) S 12343 12346 1330 0 -1 4202496 898 6473 0 0 0 0 0 1 20 0 1 0 47888521 9867264 377 18446744073709551615 4194304 5098028 140728832198624 140728832192632 140434977803264 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 32034816 140728832205332 140728832205417 140728832205417 140728832208874 0
/proc/12346/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300292 s]
/proc/loadavg: 1.40 1.40 1.46 2/197 12346
/proc/meminfo: memFree=29823356/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=13973872 CPUtime=0.14 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 5839 12582 0 0 5 1 5 3 20 0 15 0 47888521 14309244928 5488 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3493468 5488 2567 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872
[startup+0.700266 s]
/proc/loadavg: 1.40 1.40 1.46 2/197 12346
/proc/meminfo: memFree=29823356/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 13959 12582 0 0 58 4 5 3 20 0 15 0 47888521 14310178816 14898 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3493696 14898 3122 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50364 s]
/proc/loadavg: 1.45 1.41 1.46 4/212 12409
/proc/meminfo: memFree=29727236/32770624 swapFree=0/507304
[pid=12346] ppid=12343 vsize=13985408 CPUtime=1.93 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 29770 12582 0 0 174 11 5 3 20 0 15 0 47888521 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3496352 42682 3369 1 0 3485525 0
[pid=12346/tid=12396] ppid=12343 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 22370 12582 0 0 115 7 5 3 20 0 15 0 47888541 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038591033600 140038570890590 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 52 12582 0 0 0 0 5 3 20 0 15 0 47888542 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 51 12582 0 0 1 0 5 3 20 0 15 0 47888542 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 195 12582 0 0 0 0 5 3 20 0 15 0 47888542 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 59 12582 0 0 0 0 5 3 20 0 15 0 47888542 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 1633 12582 0 0 1 0 5 3 20 0 15 0 47888543 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038063977248 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038062924912 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 1071 12582 0 0 17 0 5 3 20 0 15 0 47888547 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 712 12582 0 0 11 0 5 3 20 0 15 0 47888547 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) R 12343 12346 1330 0 -1 1077944384 1358 12582 0 0 23 0 5 3 20 0 15 0 47888547 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 9 12582 0 0 0 0 5 3 20 0 15 0 47888551 14321057792 42682 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408
[startup+3.10178 s]
/proc/loadavg: 1.45 1.41 1.46 5/212 12409
/proc/meminfo: memFree=29651048/32770624 swapFree=0/507380
[pid=12346] ppid=12343 vsize=13999932 CPUtime=5.72 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 43523 12582 0 0 548 16 5 3 20 0 15 0 47888521 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3499983 59605 3441 1 0 3488597 0
[pid=12346/tid=12396] ppid=12343 vsize=13999932 CPUtime=2.89 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 29198 12582 0 0 271 10 5 3 20 0 15 0 47888541 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038591045520 140038586832029 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 52 12582 0 0 0 0 5 3 20 0 15 0 47888542 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 51 12582 0 0 1 0 5 3 20 0 15 0 47888542 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 195 12582 0 0 0 0 5 3 20 0 15 0 47888542 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 59 12582 0 0 0 0 5 3 20 0 15 0 47888542 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 1666 12582 0 0 1 0 5 3 20 0 15 0 47888543 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038063977248 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038062924912 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=13999932 CPUtime=1.12 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) R 12343 12346 1330 0 -1 4202560 4419 12582 0 0 103 1 5 3 20 0 15 0 47888547 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038060810368 140038570023489 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=13999932 CPUtime=0.72 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) R 12343 12346 1330 0 -1 4202560 1720 12582 0 0 63 1 5 3 20 0 15 0 47888547 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038059755088 140038586822038 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=13999932 CPUtime=1.13 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) R 12343 12346 1330 0 -1 1077944384 3893 12582 0 0 104 1 5 3 20 0 15 0 47888547 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038058710368 140038586820309 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 10 12582 0 0 0 0 5 3 20 0 15 0 47888551 14335930368 59605 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 13999932
[startup+6.30064 s]
/proc/loadavg: 1.45 1.41 1.46 4/212 12409
/proc/meminfo: memFree=29421736/32770624 swapFree=0/507384
[pid=12346] ppid=12343 vsize=14067516 CPUtime=12.47 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 68932 12582 0 0 1215 24 5 3 20 0 15 0 47888521 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3516879 119354 3474 1 0 3505493 0
[pid=12346/tid=12396] ppid=12343 vsize=14067516 CPUtime=6.02 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 44027 12582 0 0 580 14 5 3 20 0 15 0 47888541 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038591040416 140038242880000 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 182 12582 0 0 3 0 5 3 20 0 15 0 47888542 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 117 12582 0 0 4 0 5 3 20 0 15 0 47888542 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 234 12582 0 0 4 1 5 3 20 0 15 0 47888542 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 951 12582 0 0 4 1 5 3 20 0 15 0 47888542 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 2370 12582 0 0 4 0 5 3 20 0 15 0 47888543 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038063977312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=14067516 CPUtime=2.5 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 5501 12582 0 0 241 1 5 3 20 0 15 0 47888547 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=14067516 CPUtime=2.33 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 8038 12582 0 0 223 2 5 3 20 0 15 0 47888547 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=14067516 CPUtime=1.57 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) S 12343 12346 1330 0 -1 1077944384 4933 12582 0 0 148 1 5 3 20 0 15 0 47888547 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 324 12582 0 0 0 0 5 3 20 0 15 0 47888551 14405136384 119354 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 14067516
[startup+12.7006 s]
/proc/loadavg: 1.77 1.48 1.48 3/212 12409
/proc/meminfo: memFree=29081336/32770624 swapFree=0/507388
[pid=12346] ppid=12343 vsize=14067516 CPUtime=21.71 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 77073 12582 0 0 2129 34 5 3 20 0 15 0 47888521 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3516879 189238 3474 1 0 3505493 0
[pid=12346/tid=12396] ppid=12343 vsize=14067516 CPUtime=12.38 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 44905 12582 0 0 1211 19 5 3 20 0 15 0 47888541 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038591039920 140038241669356 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 236 12582 0 0 4 1 5 3 20 0 15 0 47888542 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 230 12582 0 0 5 1 5 3 20 0 15 0 47888542 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 641 12582 0 0 5 1 5 3 20 0 15 0 47888542 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 969 12582 0 0 5 1 5 3 20 0 15 0 47888542 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 2713 12582 0 0 5 0 5 3 20 0 15 0 47888543 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038063977312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 189238 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
################
# More data... #
################
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 156693 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14067516 CPUtime=1.57 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 1093 12582 0 0 67 82 5 3 20 0 15 0 47888551 14405136384 156693 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 2376.3
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.13 1.50 1.95 3/213 12969
/proc/meminfo: memFree=29808568/32770624 swapFree=0/507984
[pid=12346] ppid=12343 vsize=14067516 CPUtime=2437.52 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 397993 12582 0 0 243249 495 5 3 20 0 15 0 47888521 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3516879 159055 3474 1 0 3505493 0
[pid=12346/tid=12396] ppid=12343 vsize=14067516 CPUtime=2354.82 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 229501 12582 0 0 235381 93 5 3 20 0 15 0 47888541 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038591044128 140038241204361 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14067516 CPUtime=14.77 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 26229 12582 0 0 1405 64 5 3 20 0 15 0 47888542 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14067516 CPUtime=14.74 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 28404 12582 0 0 1400 66 5 3 20 0 15 0 47888542 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14067516 CPUtime=14.78 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 24693 12582 0 0 1404 66 5 3 20 0 15 0 47888542 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14067516 CPUtime=14.72 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 25554 12582 0 0 1394 70 5 3 20 0 15 0 47888542 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14067516 CPUtime=9.87 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 14086 12582 0 0 872 107 5 3 20 0 15 0 47888543 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038063977312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=14067516 CPUtime=5.09 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 12628 12582 0 0 498 3 5 3 20 0 15 0 47888547 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=14067516 CPUtime=4.98 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 15570 12582 0 0 486 4 5 3 20 0 15 0 47888547 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=14067516 CPUtime=2.74 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) S 12343 12346 1330 0 -1 1077944384 17967 12582 0 0 263 3 5 3 20 0 15 0 47888547 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14067516 CPUtime=1.6 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 1101 12582 0 0 69 83 5 3 20 0 15 0 47888551 14405136384 159055 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 2437.52
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.18 1.45 1.90 3/213 12971
/proc/meminfo: memFree=29810344/32770624 swapFree=0/508012
[pid=12346] ppid=12343 vsize=14067516 CPUtime=2498.74 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 404214 12582 0 0 249363 503 5 3 20 0 15 0 47888521 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3516879 158923 3474 1 0 3505493 0
[pid=12346/tid=12396] ppid=12343 vsize=14067516 CPUtime=2414.11 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 232437 12582 0 0 241309 94 5 3 20 0 15 0 47888541 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038591044208 140038240164164 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14067516 CPUtime=15.19 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 27057 12582 0 0 1445 66 5 3 20 0 15 0 47888542 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14067516 CPUtime=15.16 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 29137 12582 0 0 1441 67 5 3 20 0 15 0 47888542 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14067516 CPUtime=15.2 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 25372 12582 0 0 1445 67 5 3 20 0 15 0 47888542 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14067516 CPUtime=15.14 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 26318 12582 0 0 1435 71 5 3 20 0 15 0 47888542 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14067516 CPUtime=10.1 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 14344 12582 0 0 893 109 5 3 20 0 15 0 47888543 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038063977312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=14067516 CPUtime=5.09 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 12630 12582 0 0 498 3 5 3 20 0 15 0 47888547 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=14067516 CPUtime=4.98 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 15572 12582 0 0 486 4 5 3 20 0 15 0 47888547 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=14067516 CPUtime=2.74 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) S 12343 12346 1330 0 -1 1077944384 17969 12582 0 0 263 3 5 3 20 0 15 0 47888547 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14067516 CPUtime=1.64 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 1118 12582 0 0 71 85 5 3 20 0 15 0 47888551 14405136384 158923 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 2498.74
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.2 s]
/proc/loadavg: 1.20 1.44 1.89 3/213 12971
/proc/meminfo: memFree=29791788/32770624 swapFree=0/508008
[pid=12346] ppid=12343 vsize=14067516 CPUtime=2520.07 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 406507 12582 0 0 251492 507 5 3 20 0 15 0 47888521 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3516879 163411 3474 1 0 3505493 0
[pid=12346/tid=12396] ppid=12343 vsize=14067516 CPUtime=2434.76 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) R 12343 12346 1330 0 -1 4202560 234145 12582 0 0 243374 94 5 3 20 0 15 0 47888541 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038591044368 140038239908059 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14067516 CPUtime=15.33 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 27193 12582 0 0 1458 67 5 3 20 0 15 0 47888542 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14067516 CPUtime=15.31 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 29318 12582 0 0 1455 68 5 3 20 0 15 0 47888542 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14067516 CPUtime=15.35 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 25463 12582 0 0 1459 68 5 3 20 0 15 0 47888542 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14067516 CPUtime=15.29 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 26462 12582 0 0 1449 72 5 3 20 0 15 0 47888542 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14067516 CPUtime=10.18 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) S 12343 12346 1330 0 -1 1077944384 14375 12582 0 0 900 110 5 3 20 0 15 0 47888543 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038065031280 140038586821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 55 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038063977312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 15 0 47888544 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=14067516 CPUtime=5.09 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 12630 12582 0 0 498 3 5 3 20 0 15 0 47888547 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=14067516 CPUtime=4.98 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 15572 12582 0 0 486 4 5 3 20 0 15 0 47888547 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=14067516 CPUtime=2.74 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) S 12343 12346 1330 0 -1 1077944384 17969 12582 0 0 263 3 5 3 20 0 15 0 47888547 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47888547 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14067516 CPUtime=1.65 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 1120 12582 0 0 72 85 5 3 20 0 15 0 47888551 14405136384 163411 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14067516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.31 s]
/proc/loadavg: 1.20 1.44 1.89 3/213 12971
/proc/meminfo: memFree=29791788/32770624 swapFree=0/508008
[pid=12346] ppid=12343 vsize=14200644 CPUtime=2520.38 cores=1,3,5,7
/proc/12346/stat : 12346 (java) S 12343 12346 1330 0 -1 1077944320 412980 12582 0 0 251522 508 5 3 20 0 17 0 47888521 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140730334927200 140038586810103 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
/proc/12346/statm: 3550161 165904 3475 1 0 3538775 0
[pid=12346/tid=12396] ppid=12343 vsize=14200644 CPUtime=2434.77 cores=1,3,5,7
/proc/12346/task/12396/stat : 12396 (java) S 12343 12346 1330 0 -1 1077944384 234562 12582 0 0 243375 94 5 3 20 0 17 0 47888541 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038591047648 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12397] ppid=12343 vsize=14200644 CPUtime=15.4 cores=1,3,5,7
/proc/12346/task/12397/stat : 12397 (java) S 12343 12346 1330 0 -1 1077944384 27238 12582 0 0 1465 67 5 3 20 0 17 0 47888542 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038187072400 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12398] ppid=12343 vsize=14200644 CPUtime=15.37 cores=1,3,5,7
/proc/12346/task/12398/stat : 12398 (java) S 12343 12346 1330 0 -1 1077944384 29335 12582 0 0 1461 68 5 3 20 0 17 0 47888542 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038186019600 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12399] ppid=12343 vsize=14200644 CPUtime=15.42 cores=1,3,5,7
/proc/12346/task/12399/stat : 12399 (java) S 12343 12346 1330 0 -1 1077944384 25470 12582 0 0 1466 68 5 3 20 0 17 0 47888542 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038184967312 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12400] ppid=12343 vsize=14200644 CPUtime=15.36 cores=1,3,5,7
/proc/12346/task/12400/stat : 12400 (java) S 12343 12346 1330 0 -1 1077944384 26481 12582 0 0 1456 72 5 3 20 0 17 0 47888542 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038183914512 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12401] ppid=12343 vsize=14200644 CPUtime=10.22 cores=1,3,5,7
/proc/12346/task/12401/stat : 12401 (java) R 12343 12346 1330 0 -1 4202560 20102 12582 0 0 903 111 5 3 20 0 17 0 47888543 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038065029680 140038572501788 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12402] ppid=12343 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12402/stat : 12402 (java) S 12343 12346 1330 0 -1 1077944384 56 12582 0 0 0 0 5 3 20 0 17 0 47888544 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038063977216 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12403] ppid=12343 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12403/stat : 12403 (java) S 12343 12346 1330 0 -1 1077944384 44 12582 0 0 0 0 5 3 20 0 17 0 47888544 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038062924928 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12404] ppid=12343 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12404/stat : 12404 (java) S 12343 12346 1330 0 -1 1077944384 119 12582 0 0 0 0 5 3 20 0 17 0 47888547 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038061873232 140038586828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12405] ppid=12343 vsize=14200644 CPUtime=5.09 cores=1,3,5,7
/proc/12346/task/12405/stat : 12405 (java) S 12343 12346 1330 0 -1 1077944384 12630 12582 0 0 498 3 5 3 20 0 17 0 47888547 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038060821104 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12406] ppid=12343 vsize=14200644 CPUtime=4.98 cores=1,3,5,7
/proc/12346/task/12406/stat : 12406 (java) S 12343 12346 1330 0 -1 1077944384 15572 12582 0 0 486 4 5 3 20 0 17 0 47888547 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038059768304 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12407] ppid=12343 vsize=14200644 CPUtime=2.74 cores=1,3,5,7
/proc/12346/task/12407/stat : 12407 (java) S 12343 12346 1330 0 -1 1077944384 17969 12582 0 0 263 3 5 3 20 0 17 0 47888547 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038058716016 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12408] ppid=12343 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/12346/task/12408/stat : 12408 (java) S 12343 12346 1330 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 17 0 47888547 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038057663456 140038586820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
[pid=12346/tid=12409] ppid=12343 vsize=14200644 CPUtime=1.65 cores=1,3,5,7
/proc/12346/task/12409/stat : 12409 (java) S 12343 12346 1330 0 -1 1077944384 1120 12582 0 0 72 85 5 3 20 0 17 0 47888551 14541459456 165904 18446744073709551615 4194304 4196468 140730334944656 140038056610224 140038586821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140730334951376 140730334954161 140730334954161 140730334957519 0
Current children cumulated CPU time (s) 2520.38
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2463.4
CPU time (s): 2520.58
CPU user time (s): 2515.45
CPU system time (s): 5.12527
CPU usage (%): 102.321
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.45
system time used= 5.12527
maximum resident set size= 1159080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271711
involuntary context switches= 7045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6274 second user time and 15.1872 second system time
The end