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 (13582 MiB free)
memory of node 1: 16384 MiB (15649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396020-1568399961/watcher-4396020-1568399961 -o /tmp/evaluation-result-4396020-1568399961/solver-4396020-1568399961 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568393441-29483 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=635172798 HOME/instance-4396020-1568399961.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32301, runsolver pid=32298
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.32 1.39 1.44 3/216 32358
/proc/meminfo: memFree=29928380/32770624 swapFree=66932064/67108860
[pid=32301] ppid=32298 vsize=9972712 memory=18596 CPUtime=0.08 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 4400 13520 0 0 1 0 5 2 20 0 6 0 416263949 10212057088 4649 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2493178 4649 1933 1 0 2481616 0
[pid=32301/tid=32354] ppid=32298 vsize=9972712 memory=4279135704014094991 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 2188 13520 0 0 1 0 5 2 20 0 6 0 416263958 10212057088 4649 33554432000 4194304 4196468 140725415774736 140394167820880 140394177377853 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 6 0 416263958 10212057088 4649 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=9972712 memory=140335525267072 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 6 0 416263958 10212057088 4649 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 6 0 416263958 10212057088 4649 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 6 0 416263958 10212057088 4649 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.20995 s]*
/proc/loadavg: 1.32 1.39 1.44 4/225 32367
/proc/meminfo: memFree=29907980/32770624 swapFree=66932064/67108860
[pid=32301] ppid=32298 vsize=10819664 memory=38704 CPUtime=0.26 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 7046 13520 0 0 17 2 5 2 20 0 15 0 416263949 11079335936 9676 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2704916 9676 3154 1 0 2667149 0
[pid=32301/tid=32354] ppid=32298 vsize=10819664 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 3502 13520 0 0 10 1 5 2 20 0 15 0 416263958 11079335936 9676 33554432000 4194304 4196468 140725415774736 140394167790472 140394196006045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079335936 9676 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10819664 memory=140335525267072 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079335936 9676 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079335936 9676 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079335936 9676 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10819664 memory=140335525267072 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 33 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393197614752 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393085658352 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11079335936 9676 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 339 13520 0 0 1 0 5 2 20 0 15 0 416263963 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) S 32298 32301 26463 0 -1 1077944384 327 13520 0 0 1 0 5 2 20 0 15 0 416263963 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10819664 memory=140335525267072 CPUtime=0.1 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) R 32298 32301 26463 0 -1 4202560 620 13520 0 0 3 0 5 2 20 0 15 0 416263963 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393161951216 140394176226425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11079335936 9676 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10819664 memory=140335525267072 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263964 11079335936 9676 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38704 KiB
[startup+0.310244 s]*
/proc/loadavg: 1.32 1.39 1.44 3/225 32367
/proc/meminfo: memFree=29895060/32770624 swapFree=66932064/67108860
[pid=32301] ppid=32298 vsize=10820148 memory=50116 CPUtime=0.4 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 10762 13520 0 0 29 4 5 2 20 0 15 0 416263949 11079831552 12529 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2705037 12529 3319 1 0 2667149 0
[pid=32301/tid=32354] ppid=32298 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 7187 13520 0 0 18 3 5 2 20 0 15 0 416263958 11079831552 12529 33554432000 4194304 4196468 140725415774736 140394167784032 140394179179369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10820148 memory=7521966185032083560 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079831552 12529 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10820148 memory=5787233549803348032 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079831552 12529 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10820148 memory=7649539698095112131 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079831552 12529 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263958 11079831552 12529 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 33 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393197614752 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263960 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393085658352 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11079831552 12529 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) R 32298 32301 26463 0 -1 1077944384 340 13520 0 0 2 0 5 2 20 0 15 0 416263963 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) R 32298 32301 26463 0 -1 4202560 336 13520 0 0 1 0 5 2 20 0 15 0 416263963 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) R 32298 32301 26463 0 -1 4202560 642 13520 0 0 5 0 5 2 20 0 15 0 416263963 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393161951216 140394180064606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11079831552 12529 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263964 11079831552 12529 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50116 KiB
[startup+0.705595 s]
/proc/loadavg: 1.32 1.39 1.44 3/225 32367
/proc/meminfo: memFree=29880388/32770624 swapFree=66932064/67108860
[pid=32301] ppid=32298 vsize=10824360 memory=83544 CPUtime=1.15 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 15129 13520 0 0 102 6 5 2 20 0 15 0 416263949 11084144640 20886 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2706090 20886 3500 1 0 2668173 0
[pid=32301/tid=32354] ppid=32298 vsize=10824360 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 10379 13520 0 0 55 4 5 2 20 0 15 0 416263958 11084144640 20886 33554432000 4194304 4196468 140725415774736 140394167811280 140394195996054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11084144640 20886 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11084144640 20886 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263958 11084144640 20886 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263958 11084144640 20886 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10824360 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 5 13520 0 0 0 0 5 2 20 0 15 0 416263960 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10824360 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 33 13520 0 0 0 0 5 2 20 0 15 0 416263960 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393197614752 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263960 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393085658352 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10824360 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11084144640 20886 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10824360 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 840 13520 0 0 14 0 5 2 20 0 15 0 416263963 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10824360 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) R 32298 32301 26463 0 -1 4202560 746 13520 0 0 14 0 5 2 20 0 15 0 416263963 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393162990816 140394180376336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) R 32298 32301 26463 0 -1 4202560 903 13520 0 0 17 0 5 2 20 0 15 0 416263963 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393161951216 140394174674897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10824360 memory=280670744084720 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11084144640 20886 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263964 11084144640 20886 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83544 KiB
[startup+1.50075 s]
/proc/loadavg: 1.32 1.39 1.44 5/225 32367
/proc/meminfo: memFree=29834960/32770624 swapFree=66932064/67108860
[pid=32301] ppid=32298 vsize=10826484 memory=217736 CPUtime=3.63 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 22324 13520 0 0 345 11 5 2 20 0 15 0 416263949 11086319616 54434 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2706621 54434 3583 1 0 2668685 0
[pid=32301/tid=32354] ppid=32298 vsize=10826484 memory=29 CPUtime=1.44 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 11629 13520 0 0 130 7 5 2 20 0 15 0 416263958 11086319616 54434 33554432000 4194304 4196468 140725415774736 140394167817264 140393773821408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10826484 memory=25 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 2 13520 0 0 0 0 5 2 20 0 15 0 416263958 11086319616 54434 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 122 13520 0 0 1 0 5 2 20 0 15 0 416263958 11086319616 54434 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10826484 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 88 13520 0 0 1 0 5 2 20 0 15 0 416263958 11086319616 54434 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10826484 memory=103796 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 278 13520 0 0 0 0 5 2 20 0 15 0 416263958 11086319616 54434 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10826484 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 103 13520 0 0 0 0 5 2 20 0 15 0 416263960 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10826484 memory=7162786535312482640 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 33 13520 0 0 0 0 5 2 20 0 15 0 416263960 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393197614752 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10826484 memory=7378703066912155481 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263960 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393085658368 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10826484 memory=7590656005188052326 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11086319616 54434 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10826484 memory=7454130749351154278 CPUtime=0.92 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) R 32298 32301 26463 0 -1 4202560 2907 13520 0 0 85 0 5 2 20 0 15 0 416263963 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393164048272 140394177528389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10826484 memory=7524220102366685292 CPUtime=0.89 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) R 32298 32301 26463 0 -1 4202560 2875 13520 0 0 82 0 5 2 20 0 15 0 416263963 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393162990112 140394179467582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10826484 memory=7162786535312482640 CPUtime=0.5 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) S 32298 32301 26463 0 -1 1077944384 2067 13520 0 0 42 1 5 2 20 0 15 0 416263963 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393161951216 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10826484 memory=7162786535312482640 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11086319616 54434 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10826484 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1 13520 0 0 0 0 5 2 20 0 15 0 416263964 11086319616 54434 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 10826484 KiB
################
# More data... #
################
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 101855 13520 0 0 236257 62 5 2 20 0 15 0 416263958 11109408768 380546 33554432000 4194304 4196468 140725415774736 140394167819552 140393792245911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.28 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 23179 13520 0 0 1061 60 5 2 20 0 15 0 416263958 11109408768 380546 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.28 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 27465 13520 0 0 1063 58 5 2 20 0 15 0 416263958 11109408768 380546 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.22 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 23350 13520 0 0 1057 58 5 2 20 0 15 0 416263958 11109408768 380546 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.23 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 21337 13520 0 0 1057 59 5 2 20 0 15 0 416263958 11109408768 380546 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10849032 memory=68 CPUtime=5.81 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 23339 13520 0 0 535 39 5 2 20 0 15 0 416263960 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10849032 memory=1522184 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 43 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393197614816 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10849032 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 4 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393085658368 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10849032 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 380546 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10849032 memory=1522184 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 50334 13520 0 0 950 6 5 2 20 0 15 0 416263963 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10849032 memory=1522184 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) S 32298 32301 26463 0 -1 1077944384 43786 13520 0 0 951 5 5 2 20 0 15 0 416263963 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10849032 memory=1176 CPUtime=2.81 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) S 32298 32301 26463 0 -1 1077944384 26362 13520 0 0 267 7 5 2 20 0 15 0 416263963 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393161951216 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10849032 memory=5880 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 380546 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10849032 memory=780 CPUtime=1.47 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1613 13520 0 0 69 71 5 2 20 0 15 0 416263964 11109408768 380546 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 2437.12 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1522184 KiB
[startup+2442.3 s]
/proc/loadavg: 0.44 0.60 0.99 2/205 32656
/proc/meminfo: memFree=29107984/32770624 swapFree=66932068/67108860
[pid=32301] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2498.22 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 346484 13520 0 0 249424 391 5 2 20 0 15 0 416263949 11109408768 381058 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2712258 381058 3639 1 0 2674317 0
[pid=32301/tid=32354] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2422.65 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 102514 13520 0 0 242196 62 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394167819568 140393777307159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.65 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 23583 13520 0 0 1097 61 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10849032 memory=1676 CPUtime=11.65 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 27577 13520 0 0 1099 59 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.58 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 23416 13520 0 0 1092 59 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10849032 memory=1522184 CPUtime=11.6 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 21473 13520 0 0 1093 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10849032 memory=1522184 CPUtime=6.01 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 23538 13520 0 0 554 40 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10849032 memory=1522184 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 43 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393197614816 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10849032 memory=1522184 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 4 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393085658368 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10849032 memory=1522184 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10849032 memory=1524232 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 50336 13520 0 0 950 6 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10849032 memory=1524232 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) S 32298 32301 26463 0 -1 1077944384 43789 13520 0 0 951 5 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10849032 memory=1522184 CPUtime=2.82 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) S 32298 32301 26463 0 -1 1077944384 26364 13520 0 0 267 8 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393161951216 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10849032 memory=1524232 CPUtime=1.51 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1631 13520 0 0 71 73 5 2 20 0 15 0 416263964 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 2498.22 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1524232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.71 s]
/proc/loadavg: 0.45 0.59 0.98 2/206 32660
/proc/meminfo: memFree=29107612/32770624 swapFree=66932068/67108860
[pid=32301] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2520.02 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 347030 13520 0 0 251602 393 5 2 20 0 15 0 416263949 11109408768 381058 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2712258 381058 3639 1 0 2674317 0
[pid=32301/tid=32354] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2443.83 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 102790 13520 0 0 244314 62 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394167819360 140393792459790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.78 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 23625 13520 0 0 1110 61 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.79 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 27752 13520 0 0 1112 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.72 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 23423 13520 0 0 1105 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.73 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 21485 13520 0 0 1106 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10849032 memory=1524232 CPUtime=6.08 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 23562 13520 0 0 561 40 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 43 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393197614816 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 4 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393085658368 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10849032 memory=111632 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 50338 13520 0 0 950 6 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10849032 memory=1524232 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) S 32298 32301 26463 0 -1 1077944384 43791 13520 0 0 951 5 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10849032 memory=2273 CPUtime=2.82 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) S 32298 32301 26463 0 -1 1077944384 26366 13520 0 0 267 8 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393161951216 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10849032 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10849032 memory=1524232 CPUtime=1.53 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1635 13520 0 0 72 74 5 2 20 0 15 0 416263964 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1524232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.76 s]
# the end of solver process 32301 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.13 s, system=3.97352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.71 s]
/proc/loadavg: 0.45 0.59 0.98 2/206 32660
/proc/meminfo: memFree=29107612/32770624 swapFree=66932068/67108860
[pid=32301] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2520.02 cores=1,3,5,7
/proc/32301/stat : 32301 (java) S 32298 32301 26463 0 -1 1077944320 347030 13520 0 0 251602 393 5 2 20 0 15 0 416263949 11109408768 381058 33554432000 4194304 4196468 140725415774736 140725415757280 140394195984119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
/proc/32301/statm: 2712258 381058 3639 1 0 2674317 0
[pid=32301/tid=32354] ppid=32298 vsize=10849032 memory=1524232 CPUtime=2443.83 cores=1,3,5,7
/proc/32301/task/32354/stat : 32354 (java) R 32298 32301 26463 0 -1 4202560 102790 13520 0 0 244314 62 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394167819360 140393792459790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32355] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.78 cores=1,3,5,7
/proc/32301/task/32355/stat : 32355 (java) S 32298 32301 26463 0 -1 1077944384 23625 13520 0 0 1110 61 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394200226320 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32356] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.79 cores=1,3,5,7
/proc/32301/task/32356/stat : 32356 (java) S 32298 32301 26463 0 -1 1077944384 27752 13520 0 0 1112 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394099116688 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32357] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.72 cores=1,3,5,7
/proc/32301/task/32357/stat : 32357 (java) S 32298 32301 26463 0 -1 1077944384 23423 13520 0 0 1105 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394098063632 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32358] ppid=32298 vsize=10849032 memory=1524232 CPUtime=11.73 cores=1,3,5,7
/proc/32301/task/32358/stat : 32358 (java) S 32298 32301 26463 0 -1 1077944384 21485 13520 0 0 1106 60 5 2 20 0 15 0 416263958 11109408768 381058 33554432000 4194304 4196468 140725415774736 140394097011088 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32359] ppid=32298 vsize=10849032 memory=1524232 CPUtime=6.08 cores=1,3,5,7
/proc/32301/task/32359/stat : 32359 (java) S 32298 32301 26463 0 -1 1077944384 23562 13520 0 0 561 40 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393198668528 140394195995266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32360] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32360/stat : 32360 (java) S 32298 32301 26463 0 -1 1077944384 43 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393197614816 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32361] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32361/stat : 32361 (java) S 32298 32301 26463 0 -1 1077944384 4 13520 0 0 0 0 5 2 20 0 15 0 416263960 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393085658368 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32362] ppid=32298 vsize=10849032 memory=1524232 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32362/stat : 32362 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392778258896 140394196002715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32363] ppid=32298 vsize=10849032 memory=111632 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32363/stat : 32363 (java) S 32298 32301 26463 0 -1 1077944384 50338 13520 0 0 950 6 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393164056816 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32364] ppid=32298 vsize=10849032 memory=1524232 CPUtime=9.63 cores=1,3,5,7
/proc/32301/task/32364/stat : 32364 (java) S 32298 32301 26463 0 -1 1077944384 43791 13520 0 0 951 5 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393163004272 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32365] ppid=32298 vsize=10849032 memory=2273 CPUtime=2.82 cores=1,3,5,7
/proc/32301/task/32365/stat : 32365 (java) S 32298 32301 26463 0 -1 1077944384 26366 13520 0 0 267 8 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393161951216 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32366] ppid=32298 vsize=10849032 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/32301/task/32366/stat : 32366 (java) S 32298 32301 26463 0 -1 1077944384 3 13520 0 0 0 0 5 2 20 0 15 0 416263963 11109408768 381058 33554432000 4194304 4196468 140725415774736 140392744700256 140394195994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
[pid=32301/tid=32367] ppid=32298 vsize=10849032 memory=1524232 CPUtime=1.53 cores=1,3,5,7
/proc/32301/task/32367/stat : 32367 (java) S 32298 32301 26463 0 -1 1077944384 1635 13520 0 0 72 74 5 2 20 0 15 0 416263964 11109408768 381058 33554432000 4194304 4196468 140725415774736 140393160899632 140394195995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25604096 140725415783152 140725415785669 140725415785669 140725415788495 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1524232 KiB
Child status: 143
Real time (s): 2463.76
CPU time (s): 2520.1
CPU user time (s): 2516.13
CPU system time (s): 3.97352
CPU usage (%): 102.287
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 2901972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 3.97352
maximum resident set size= 2901976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187988
involuntary context switches= 4651
# summary of solver processes directly reported to runsolver:
# pid: 32301
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.13
# total CPU system time (s): 3.97352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9402 second user time and 24.5031 second system time
The end