runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9483 MiB free)
memory of node 1: 16384 MiB (14136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302670-1532898042/watcher-4302670-1532898042 -o /tmp/evaluation-result-4302670-1532898042/solver-4302670-1532898042 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532897795-31992 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1033009925 -superng HOME/instance-4302670-1532898042.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32610, runsolver pid=32607
[startup+0.100133 s]*
/proc/loadavg: 1.33 1.17 1.14 4/213 32667
/proc/meminfo: memFree=24161628/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=10005480 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 4465 12976 0 0 1 0 5 3 20 0 6 0 107367377 10245611520 4336 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2501370 4336 1957 1 0 2489808 0
[pid=32610/tid=32663] ppid=32607 vsize=10005480 memory=5852835220496416925 CPUtime=0.09 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 2269 12976 0 0 1 0 5 3 20 0 6 0 107367386 10245611520 4336 33554432000 4194304 4196468 140733937015856 139979402867280 139979415111006 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=10005480 memory=5793855051048024505 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 6 0 107367387 10245611520 4336 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=10005480 memory=139800038131328 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 6 0 107367387 10245611520 4336 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 6 0 107367387 10245611520 4336 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 6 0 107367387 10245611520 4336 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210381 s]*
/proc/loadavg: 1.33 1.17 1.14 5/222 32676
/proc/meminfo: memFree=24132696/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=10982744 memory=43056 CPUtime=0.26 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 7487 12976 0 0 16 2 5 3 20 0 15 0 107367377 11246329856 10764 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2745686 10764 2955 1 0 2708109 0
[pid=32610/tid=32663] ppid=32607 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 4083 12976 0 0 10 1 5 3 20 0 15 0 107367386 11246329856 10830 33554432000 4194304 4196468 140733937015856 139979402847632 139979411306240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=10982744 memory=4211973526242921866 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246329856 10830 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=10982744 memory=139800038131328 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246329856 10830 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246329856 10830 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246329856 10830 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=10982744 memory=139800038131328 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367388 11246329856 10830 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 13 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246329856 10830 33554432000 4194304 4196468 140733937015856 139978232292128 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246329856 10830 33554432000 4194304 4196468 140733937015856 139978084443248 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246329856 10830 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 423 12976 0 0 1 0 5 3 20 0 15 0 107367392 11246329856 10830 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 188 12976 0 0 1 0 5 3 20 0 15 0 107367392 11246329856 10896 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=10982744 memory=139800038131328 CPUtime=0.11 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 610 12976 0 0 3 0 5 3 20 0 15 0 107367392 11246329856 10896 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246329856 10896 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=10982744 memory=139800038131328 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246329856 10896 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43056 KiB
[startup+0.31049 s]*
/proc/loadavg: 1.33 1.17 1.14 3/222 32676
/proc/meminfo: memFree=24114708/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=10983192 memory=56140 CPUtime=0.39 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 10586 12976 0 0 28 3 5 3 20 0 15 0 107367377 11246788608 14035 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2745798 14035 3074 1 0 2708109 0
[pid=32610/tid=32663] ppid=32607 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 7137 12976 0 0 19 2 5 3 20 0 15 0 107367386 11246788608 14035 33554432000 4194304 4196468 140733937015856 139979402842528 139979415111006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 14035 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 14035 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 14035 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 14035 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=10983192 memory=139800038131327 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367388 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 13 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978232292128 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=10983192 memory=139800038131328 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978084443248 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 425 12976 0 0 1 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 188 12976 0 0 1 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 620 12976 0 0 5 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 14035 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56140 KiB
[startup+0.700724 s]
/proc/loadavg: 1.33 1.17 1.14 5/222 32676
/proc/meminfo: memFree=24089400/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=10983192 memory=88256 CPUtime=0.99 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 16744 12976 0 0 86 5 5 3 20 0 15 0 107367377 11246788608 22064 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2745798 22064 3238 1 0 2708109 0
[pid=32610/tid=32663] ppid=32607 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) S 32607 32610 29938 0 -1 1077944384 12207 12976 0 0 55 3 5 3 20 0 15 0 107367386 11246788608 22064 33554432000 4194304 4196468 140733937015856 139979402851344 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 22064 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 22064 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=10983192 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 22064 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367387 11246788608 22064 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=10983192 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) R 32607 32610 29938 0 -1 4202560 5 12976 0 0 0 0 5 3 20 0 15 0 107367388 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978855962736 139979431042454 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=10983192 memory=139799910425840 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 13 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978232292128 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367389 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978084443248 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=10983192 memory=6944656575208382560 CPUtime=0.18 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 1048 12976 0 0 10 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 578 12976 0 0 7 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 688 12976 0 0 13 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=10983192 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367392 11246788608 22064 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88256 KiB
[startup+1.50077 s]
/proc/loadavg: 1.39 1.18 1.14 5/222 32676
/proc/meminfo: memFree=23976192/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=10991948 memory=209844 CPUtime=3.07 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 22446 12976 0 0 290 9 5 3 20 0 15 0 107367377 11255754752 52461 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2747987 52461 3446 1 0 2709645 0
[pid=32610/tid=32663] ppid=32607 vsize=10991948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 14960 12976 0 0 131 7 5 3 20 0 15 0 107367386 11255754752 52461 33554432000 4194304 4196468 140733937015856 139979402859456 139978978156094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=10991948 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11255754752 52461 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=10991948 memory=30676 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11255754752 52461 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=10991948 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367387 11255754752 52461 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=10991948 memory=102472 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 2 12976 0 0 0 0 5 3 20 0 15 0 107367387 11255754752 52461 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 13 12976 0 0 0 0 5 3 20 0 15 0 107367388 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 13 12976 0 0 0 0 5 3 20 0 15 0 107367389 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978232292128 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367389 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978084443248 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=10991948 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) R 32607 32610 29938 0 -1 4202560 1925 12976 0 0 59 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978854901040 139979410866779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=10991948 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) R 32607 32610 29938 0 -1 4202560 1921 12976 0 0 55 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978853848160 139979414234952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=10991948 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 1409 12976 0 0 42 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=10991948 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=10991948 memory=14133333755955770 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 1 12976 0 0 0 0 5 3 20 0 15 0 107367392 11255754752 52461 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 15299 12976 0 0 20 1 5 3 20 0 15 0 107367388 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=11010400 memory=4108 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 22 12976 0 0 0 0 5 3 20 0 15 0 107367389 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978232292192 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=11010400 memory=2596 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 15 12976 0 0 0 0 5 3 20 0 15 0 107367389 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978084443264 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=11010400 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=11010400 memory=1716 CPUtime=7.32 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 12922 12976 0 0 722 2 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=11010400 memory=1424 CPUtime=7.6 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 15555 12976 0 0 748 4 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=11010400 memory=796 CPUtime=2.2 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 11536 12976 0 0 209 3 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=11010400 memory=8460 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=11010400 memory=1224 CPUtime=0.2 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 401 12976 0 0 6 6 5 3 20 0 15 0 107367392 11274649600 698350 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 2793400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+233.035 s]
# the end of solver process 32610 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.67 s, system=1.41359 s
Solver just ended.
Dumping a history of the last processes samples
[startup+232.001 s]*
/proc/loadavg: 1.52 1.54 1.31 3/222 665
/proc/meminfo: memFree=20738744/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=11272552 memory=2797496 CPUtime=253.05 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 118544 12976 0 0 25161 136 5 3 20 0 17 0 107367377 11543093248 699374 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2818138 699374 3531 1 0 2779791 0
[pid=32610/tid=32663] ppid=32607 vsize=11272552 memory=6791534058613427641 CPUtime=230.32 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 50621 12976 0 0 22989 35 5 3 20 0 17 0 107367386 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979402863920 139978980178280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=11272552 memory=-7003737579269690708 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 4301 12976 0 0 116 21 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=11272552 memory=4132 CPUtime=1.39 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1525 12976 0 0 111 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=11272552 memory=30692 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 2235 12976 0 0 117 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=11272552 memory=1292 CPUtime=1.42 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 1867 12976 0 0 114 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=11272552 memory=2729852 CPUtime=0.29 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 15299 12976 0 0 20 1 5 3 20 0 17 0 107367388 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=11272552 memory=2729852 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 22 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978232292192 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=11272552 memory=2744248 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 15 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978084443264 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=11272552 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 37 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=11272552 memory=12136 CPUtime=7.32 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 12922 12976 0 0 722 2 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=11272552 memory=1008 CPUtime=7.6 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 15555 12976 0 0 748 4 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=11272552 memory=4620 CPUtime=2.2 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 11536 12976 0 0 209 3 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=11272552 memory=2596 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=11272552 memory=1404 CPUtime=0.2 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 401 12976 0 0 6 6 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=664] ppid=32607 vsize=11272552 memory=3044 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/664/stat : 664 (java) S 32607 32610 29938 0 -1 1077944384 7 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977144918000 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=665] ppid=32607 vsize=11272552 memory=2793400 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/665/stat : 665 (java) S 32607 32610 29938 0 -1 1077944384 5 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139976943592800 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 253.05 s
Current children cumulated vsize: 11272552 KiB
Current children cumulated memory: 2797496 KiB
[startup+232.801 s]
/proc/loadavg: 1.52 1.54 1.31 3/222 665
/proc/meminfo: memFree=20738744/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=11272552 memory=2797496 CPUtime=253.84 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 118544 12976 0 0 25240 136 5 3 20 0 17 0 107367377 11543093248 699374 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2818138 699374 3531 1 0 2779791 0
[pid=32610/tid=32663] ppid=32607 vsize=11272552 memory=2236 CPUtime=231.11 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 50621 12976 0 0 23068 35 5 3 20 0 17 0 107367386 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979402863920 139978987699968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=11272552 memory=4128 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 4301 12976 0 0 116 21 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=11272552 memory=2996 CPUtime=1.39 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1525 12976 0 0 111 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=11272552 memory=721524 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 2235 12976 0 0 117 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=11272552 memory=1948 CPUtime=1.42 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 1867 12976 0 0 114 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=11272552 memory=2744248 CPUtime=0.29 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 15299 12976 0 0 20 1 5 3 20 0 17 0 107367388 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=11272552 memory=2444 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 22 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978232292192 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=11272552 memory=1832 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 15 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978084443264 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=11272552 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 37 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=11272552 memory=2444 CPUtime=7.32 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 12922 12976 0 0 722 2 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=11272552 memory=1832 CPUtime=7.6 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 15555 12976 0 0 748 4 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=11272552 memory=1404 CPUtime=2.2 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 11536 12976 0 0 209 3 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=11272552 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=11272552 memory=12136 CPUtime=0.2 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 401 12976 0 0 6 6 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=664] ppid=32607 vsize=11272552 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/664/stat : 664 (java) S 32607 32610 29938 0 -1 1077944384 7 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977144918000 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=665] ppid=32607 vsize=11272552 memory=4620 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/665/stat : 665 (java) S 32607 32610 29938 0 -1 1077944384 5 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139976943592800 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 253.84 s
Current children cumulated vsize: 11272552 KiB
Current children cumulated memory: 2797496 KiB
[startup+233.001 s]*
/proc/loadavg: 1.52 1.54 1.31 3/222 665
/proc/meminfo: memFree=20738712/32770624 swapFree=67108860/67108860
[pid=32610] ppid=32607 vsize=11272552 memory=2797496 CPUtime=254.05 cores=1,3,5,7
/proc/32610/stat : 32610 (java) S 32607 32610 29938 0 -1 1077944320 118544 12976 0 0 25261 136 5 3 20 0 17 0 107367377 11543093248 699374 33554432000 4194304 4196468 140733937015856 140733936998400 139979431030519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
/proc/32610/statm: 2818138 699374 3531 1 0 2779791 0
[pid=32610/tid=32663] ppid=32607 vsize=11272552 memory=6791534058613427641 CPUtime=231.32 cores=1,3,5,7
/proc/32610/task/32663/stat : 32663 (java) R 32607 32610 29938 0 -1 4202560 50621 12976 0 0 23089 35 5 3 20 0 17 0 107367386 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979402863920 139978979959458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32664] ppid=32607 vsize=11272552 memory=-7003737579269690708 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32664/stat : 32664 (java) S 32607 32610 29938 0 -1 1077944384 4301 12976 0 0 116 21 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979435273104 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32665] ppid=32607 vsize=11272552 memory=288230596050944315 CPUtime=1.39 cores=1,3,5,7
/proc/32610/task/32665/stat : 32665 (java) S 32607 32610 29938 0 -1 1077944384 1525 12976 0 0 111 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979300608784 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32666] ppid=32607 vsize=11272552 memory=16104775267649720 CPUtime=1.45 cores=1,3,5,7
/proc/32610/task/32666/stat : 32666 (java) S 32607 32610 29938 0 -1 1077944384 2235 12976 0 0 117 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979299556496 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32667] ppid=32607 vsize=11272552 memory=318629871976972314 CPUtime=1.42 cores=1,3,5,7
/proc/32610/task/32667/stat : 32667 (java) S 32607 32610 29938 0 -1 1077944384 1867 12976 0 0 114 20 5 3 20 0 17 0 107367387 11543093248 699374 33554432000 4194304 4196468 140733937015856 139979298503696 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32668] ppid=32607 vsize=11272552 memory=2729852 CPUtime=0.29 cores=1,3,5,7
/proc/32610/task/32668/stat : 32668 (java) S 32607 32610 29938 0 -1 1077944384 15299 12976 0 0 20 1 5 3 20 0 17 0 107367388 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978855962736 139979431041666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32669] ppid=32607 vsize=11272552 memory=30692 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32669/stat : 32669 (java) S 32607 32610 29938 0 -1 1077944384 22 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978232292192 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32670] ppid=32607 vsize=11272552 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32670/stat : 32670 (java) S 32607 32610 29938 0 -1 1077944384 15 12976 0 0 0 0 5 3 20 0 17 0 107367389 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978084443264 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32671] ppid=32607 vsize=11272552 memory=2444 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32671/stat : 32671 (java) S 32607 32610 29938 0 -1 1077944384 37 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977777043536 139979431049115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32672] ppid=32607 vsize=11272552 memory=1832 CPUtime=7.32 cores=1,3,5,7
/proc/32610/task/32672/stat : 32672 (java) S 32607 32610 29938 0 -1 1077944384 12922 12976 0 0 722 2 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978854910576 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32673] ppid=32607 vsize=11272552 memory=1404 CPUtime=7.6 cores=1,3,5,7
/proc/32610/task/32673/stat : 32673 (java) S 32607 32610 29938 0 -1 1077944384 15555 12976 0 0 748 4 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978853857776 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32674] ppid=32607 vsize=11272552 memory=3004 CPUtime=2.2 cores=1,3,5,7
/proc/32610/task/32674/stat : 32674 (java) S 32607 32610 29938 0 -1 1077944384 11536 12976 0 0 209 3 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978852805488 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32675] ppid=32607 vsize=11272552 memory=721524 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/32675/stat : 32675 (java) S 32607 32610 29938 0 -1 1077944384 3 12976 0 0 0 0 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977346247648 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=32676] ppid=32607 vsize=11272552 memory=1948 CPUtime=0.2 cores=1,3,5,7
/proc/32610/task/32676/stat : 32676 (java) S 32607 32610 29938 0 -1 1077944384 401 12976 0 0 6 6 5 3 20 0 17 0 107367392 11543093248 699374 33554432000 4194304 4196468 140733937015856 139978851752368 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=664] ppid=32607 vsize=11272552 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/664/stat : 664 (java) S 32607 32610 29938 0 -1 1077944384 7 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139977144918000 139979431040725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
[pid=32610/tid=665] ppid=32607 vsize=11272552 memory=279599821802624 CPUtime=0.08 cores=1,3,5,7
/proc/32610/task/665/stat : 665 (java) S 32607 32610 29938 0 -1 1077944384 5 12976 0 0 0 0 5 3 20 0 17 0 107390479 11543093248 699374 33554432000 4194304 4196468 140733937015856 139976943592800 139979431041666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17735680 140733937019496 140733937022305 140733937022305 140733937024975 0
Current children cumulated CPU time: 254.05 s
Current children cumulated vsize: 11272552 KiB
Current children cumulated memory: 2797496 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 233.035
CPU time (s): 254.084
CPU user time (s): 252.67
CPU system time (s): 1.41359
CPU usage (%): 109.032
Max. virtual memory (cumulated for all children) (KiB): 11272552
Max. memory (cumulated for all children) (KiB): 2797496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.67
system time used= 1.41359
maximum resident set size= 2797932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14298
involuntary context switches= 591
# summary of solver processes directly reported to runsolver:
# pid: 32610
# total CPU time (s): 254.084
# total CPU user time (s): 252.67
# total CPU system time (s): 1.41359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83813 second user time and 1.90504 second system time
The end