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 (11518 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301844-1532884945/watcher-4301844-1532884945 -o /tmp/evaluation-result-4301844-1532884945/solver-4301844-1532884945 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301844-1532884945.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
solver pid=18462, runsolver pid=18459
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 2.13 2.75 2.67 5/217 18477
/proc/meminfo: memFree=27994920/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10659012 memory=30992 CPUtime=0.12 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 6823 0 0 0 11 1 0 0 20 0 15 0 106057660 10914828288 7748 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2664753 7748 2815 1 0 2627263 0
[pid=18462/tid=18464] ppid=18459 vsize=10659012 memory=-8773748148829981818 CPUtime=0.09 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 4650 0 0 0 8 1 0 0 20 0 15 0 106057660 10914828288 7748 33554432000 4194304 4196468 140726780073552 140688618100592 140688613907862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 7748 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 7748 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 7748 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 7748 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057662 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106057663 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687917757728 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106057663 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687916705392 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057665 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 106057665 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057665 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0.01 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) R 18459 18462 13514 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 15 0 106057665 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687912495472 140688592555171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057666 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057666 10914828288 7748 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30992 KiB
[startup+0.21087 s]*
/proc/loadavg: 2.13 2.75 2.67 4/217 18477
/proc/meminfo: memFree=27983756/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10659012 memory=41880 CPUtime=0.33 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 8130 0 0 0 31 2 0 0 20 0 15 0 106057660 10914828288 10470 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2664753 10470 3004 1 0 2627263 0
[pid=18462/tid=18464] ppid=18459 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 5029 0 0 0 19 1 0 0 20 0 15 0 106057660 10914828288 10470 33554432000 4194304 4196468 140726780073552 140688618132544 140688597939557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 10470 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10659012 memory=140409625303281 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 10470 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 10470 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057661 10914828288 10470 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057662 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106057663 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687917757728 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106057663 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687916705392 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057665 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 647 0 0 0 2 0 0 0 20 0 15 0 106057665 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 106057665 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0.07 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) R 18459 18462 13514 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 106057665 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687912495472 140688593207806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057666 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10659012 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057666 10914828288 10470 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41880 KiB
[startup+0.318078 s]*
/proc/loadavg: 2.13 2.75 2.67 3/217 18477
/proc/meminfo: memFree=27975940/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10659088 memory=47620 CPUtime=0.53 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 9098 0 0 0 50 3 0 0 20 0 15 0 106057660 10914906112 11905 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2664772 11905 3061 1 0 2627263 0
[pid=18462/tid=18464] ppid=18459 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 5816 0 0 0 28 2 0 0 20 0 15 0 106057660 10914906112 11905 33554432000 4194304 4196468 140726780073552 140688618128208 140688613917274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 11905 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10659088 memory=140409625301007 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 11905 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 11905 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 11905 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10659088 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057662 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106057663 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687917757728 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106057663 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687916705392 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057665 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 745 0 0 0 4 0 0 0 20 0 15 0 106057665 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 413 0 0 0 5 0 0 0 20 0 15 0 106057665 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10659088 memory=140409624671872 CPUtime=0.12 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) R 18459 18462 13514 0 -1 4202560 759 0 0 0 12 0 0 0 20 0 15 0 106057665 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057666 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10659088 memory=140409624671872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057666 10914906112 11905 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47620 KiB
[startup+0.700696 s]
/proc/loadavg: 2.20 2.75 2.67 5/217 18477
/proc/meminfo: memFree=27949016/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10659088 memory=136148 CPUtime=1.71 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 13319 0 0 0 166 5 0 0 20 0 15 0 106057660 10914906112 34037 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2664772 34037 3099 1 0 2627263 0
[pid=18462/tid=18464] ppid=18459 vsize=10659088 memory=16868 CPUtime=0.67 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 6011 0 0 0 64 3 0 0 20 0 15 0 106057660 10914906112 34037 33554432000 4194304 4196468 140726780073552 140688618130944 140688613907862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 34037 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 34037 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 34037 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106057661 10914906112 34037 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106057662 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106057663 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687917757728 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106057663 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687916705392 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057665 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10659088 memory=6081108994580573287 CPUtime=0.4 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) R 18459 18462 13514 0 -1 4202560 2105 0 0 0 40 0 0 0 20 0 15 0 106057665 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687914600688 140688593739472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10659088 memory=6220993253238723945 CPUtime=0.4 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) R 18459 18462 13514 0 -1 4202560 2338 0 0 0 40 0 0 0 20 0 15 0 106057665 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687913538736 140688595417318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10659088 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) R 18459 18462 13514 0 -1 1077944384 1495 0 0 0 21 0 0 0 20 0 15 0 106057665 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106057666 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106057666 10914906112 34037 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 136148 KiB
[startup+1.50082 s]
/proc/loadavg: 2.20 2.75 2.67 4/218 18478
/proc/meminfo: memFree=27843460/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10725652 memory=184816 CPUtime=3.53 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 17363 0 0 0 347 6 0 0 20 0 16 0 106057660 10983067648 46204 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2681413 46204 3114 1 0 2643904 0
[pid=18462/tid=18464] ppid=18459 vsize=10725652 memory=33 CPUtime=1.47 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 6205 0 0 0 143 4 0 0 20 0 16 0 106057660 10983067648 46204 33554432000 4194304 4196468 140726780073552 140688618132168 140688250948379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106057661 10983067648 46204 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106057661 10983067648 46204 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106057661 10983067648 46204 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10725652 memory=-2247047206207641111 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106057661 10983067648 46204 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10725652 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106057662 10983067648 46204 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
################
# More data... #
################
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 1447 0 0 0 16 10 0 0 20 0 16 0 106057661 10983067648 151473 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10725652 memory=600928 CPUtime=0.26 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 777 0 0 0 17 9 0 0 20 0 16 0 106057661 10983067648 151473 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10725652 memory=600928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 1047 0 0 0 0 0 0 0 20 0 16 0 106057662 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10725652 memory=605892 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687917757792 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687916705408 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10725652 memory=600928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057665 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10725652 memory=792360 CPUtime=1.32 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 6118 0 0 0 132 0 0 0 20 0 16 0 106057665 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10725652 memory=1240 CPUtime=1.35 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 7087 0 0 0 134 1 0 0 20 0 16 0 106057665 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10725652 memory=1520 CPUtime=0.33 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) S 18459 18462 13514 0 -1 1077944384 2815 0 0 0 32 1 0 0 20 0 16 0 106057665 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10725652 memory=600928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057666 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10725652 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 405 0 0 0 4 4 0 0 20 0 16 0 106057666 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18478] ppid=18459 vsize=10725652 memory=600928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18478/stat : 18478 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106057738 10983067648 151473 33554432000 4194304 4196468 140726780073552 140687909336240 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 166.16 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 605892 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.36 2.53 3/217 18482
/proc/meminfo: memFree=26666828/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10725652 memory=984928 CPUtime=226.76 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 40757 0 0 0 22597 79 0 0 20 0 16 0 106057660 10983067648 246232 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2681413 246232 3175 1 0 2643904 0
[pid=18462/tid=18464] ppid=18459 vsize=10725652 memory=984928 CPUtime=221.75 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 12323 0 0 0 22165 10 0 0 20 0 16 0 106057660 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688618134816 140688250609728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10725652 memory=984928 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1076 0 0 0 31 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10725652 memory=984928 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1462 0 0 0 30 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10725652 memory=984928 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 2226 0 0 0 30 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10725652 memory=984928 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2149 0 0 0 31 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10725652 memory=984928 CPUtime=0.04 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 3612 0 0 0 3 1 0 0 20 0 16 0 106057662 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10725652 memory=984928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687917757792 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10725652 memory=984928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687916705408 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10725652 memory=984928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10725652 memory=1037836 CPUtime=1.32 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 6118 0 0 0 132 0 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10725652 memory=984928 CPUtime=1.35 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 7087 0 0 0 134 1 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10725652 memory=4140 CPUtime=0.33 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) S 18459 18462 13514 0 -1 1077944384 2815 0 0 0 32 1 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10725652 memory=984928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057666 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10725652 memory=2724 CPUtime=0.12 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 409 0 0 0 6 6 0 0 20 0 16 0 106057666 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18478] ppid=18459 vsize=10725652 memory=984928 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18478/stat : 18478 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106057738 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687909336240 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 226.76 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 984928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.601 s]
/proc/loadavg: 2.07 2.35 2.52 3/217 18561
/proc/meminfo: memFree=27568176/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10725652 memory=984928 CPUtime=252.08 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 40816 0 0 0 25128 80 0 0 20 0 16 0 106057660 10983067648 246232 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2681413 246232 3175 1 0 2643904 0
[pid=18462/tid=18464] ppid=18459 vsize=10725652 memory=844 CPUtime=247.05 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) R 18459 18462 13514 0 -1 4202560 12370 0 0 0 24695 10 0 0 20 0 16 0 106057660 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688618134816 140688250854085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10725652 memory=3360 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1076 0 0 0 31 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10725652 memory=2724 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1462 0 0 0 30 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10725652 memory=1256 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 2226 0 0 0 30 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10725652 memory=4140 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2149 0 0 0 31 14 0 0 20 0 16 0 106057661 10983067648 246232 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10725652 memory=30228 CPUtime=0.04 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 3614 0 0 0 3 1 0 0 20 0 16 0 106057662 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10725652 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687917757792 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10725652 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 106057663 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687916705408 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10725652 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10725652 memory=844 CPUtime=1.32 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 6120 0 0 0 132 0 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10725652 memory=3360 CPUtime=1.35 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 7089 0 0 0 134 1 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10725652 memory=2724 CPUtime=0.33 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) S 18459 18462 13514 0 -1 1077944384 2817 0 0 0 32 1 0 0 20 0 16 0 106057665 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10725652 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106057666 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10725652 memory=10368 CPUtime=0.13 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 413 0 0 0 6 7 0 0 20 0 16 0 106057666 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18478] ppid=18459 vsize=10725652 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18478/stat : 18478 (java) S 18459 18462 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106057738 10983067648 246232 33554432000 4194304 4196468 140726780073552 140687909336240 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 984928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.818 s]
# the end of solver process 18462 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.378 s, system=0.807132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.801 s]
/proc/loadavg: 2.07 2.35 2.52 3/217 18561
/proc/meminfo: memFree=27568176/32770624 swapFree=67108860/67108860
[pid=18462] ppid=18459 vsize=10925344 memory=985160 CPUtime=252.17 cores=1,3,5,7
/proc/18462/stat : 18462 (java) S 18459 18462 13514 0 -1 1077944320 41586 0 0 0 25137 80 0 0 20 0 17 0 106057660 11187552256 246290 33554432000 4194304 4196468 140726780073552 140726780056096 140688613895927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
/proc/18462/statm: 2731336 246290 3178 1 0 2693827 0
[pid=18462/tid=18464] ppid=18459 vsize=10925344 memory=1812 CPUtime=247.13 cores=1,3,5,7
/proc/18462/task/18464/stat : 18464 (java) S 18459 18462 13514 0 -1 1077944384 12544 0 0 0 24703 10 0 0 20 0 17 0 106057660 11187552256 246290 33554432000 4194304 4196468 140726780073552 140688618138800 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18465] ppid=18459 vsize=10925344 memory=1020 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18465/stat : 18465 (java) S 18459 18462 13514 0 -1 1077944384 1076 0 0 0 31 14 0 0 20 0 17 0 106057661 11187552256 246290 33554432000 4194304 4196468 140726780073552 140688220674448 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18466] ppid=18459 vsize=10925344 memory=6791534058613427641 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18466/stat : 18466 (java) S 18459 18462 13514 0 -1 1077944384 1462 0 0 0 30 14 0 0 20 0 17 0 106057661 11187552256 246290 33554432000 4194304 4196468 140726780073552 140688219621648 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18467] ppid=18459 vsize=10925344 memory=756 CPUtime=0.44 cores=1,3,5,7
/proc/18462/task/18467/stat : 18467 (java) S 18459 18462 13514 0 -1 1077944384 2226 0 0 0 30 14 0 0 20 0 17 0 106057661 11187552256 246290 33554432000 4194304 4196468 140726780073552 140688218569360 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18468] ppid=18459 vsize=10925344 memory=14572 CPUtime=0.45 cores=1,3,5,7
/proc/18462/task/18468/stat : 18468 (java) S 18459 18462 13514 0 -1 1077944384 2149 0 0 0 31 14 0 0 20 0 17 0 106057661 11187552256 246290 33554432000 4194304 4196468 140726780073552 140688217516560 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18469] ppid=18459 vsize=10925344 memory=12708 CPUtime=0.04 cores=1,3,5,7
/proc/18462/task/18469/stat : 18469 (java) S 18459 18462 13514 0 -1 1077944384 3614 0 0 0 3 1 0 0 20 0 17 0 106057662 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687918811760 140688613907074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18470] ppid=18459 vsize=10925344 memory=16872 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18470/stat : 18470 (java) S 18459 18462 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 106057663 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687917757792 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18471] ppid=18459 vsize=10925344 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18471/stat : 18471 (java) S 18459 18462 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 17 0 106057663 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687916705408 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18472] ppid=18459 vsize=10925344 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18472/stat : 18472 (java) S 18459 18462 13514 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 17 0 106057665 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687915653712 140688613914523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18473] ppid=18459 vsize=10925344 memory=496 CPUtime=1.32 cores=1,3,5,7
/proc/18462/task/18473/stat : 18473 (java) S 18459 18462 13514 0 -1 1077944384 6169 0 0 0 132 0 0 0 20 0 17 0 106057665 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687914600560 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18474] ppid=18459 vsize=10925344 memory=928 CPUtime=1.35 cores=1,3,5,7
/proc/18462/task/18474/stat : 18474 (java) S 18459 18462 13514 0 -1 1077944384 7157 0 0 0 134 1 0 0 20 0 17 0 106057665 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687913547760 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18475] ppid=18459 vsize=10925344 memory=1172 CPUtime=0.33 cores=1,3,5,7
/proc/18462/task/18475/stat : 18475 (java) S 18459 18462 13514 0 -1 1077944384 2935 0 0 0 32 1 0 0 20 0 17 0 106057665 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687912495472 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18476] ppid=18459 vsize=10925344 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/18462/task/18476/stat : 18476 (java) S 18459 18462 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106057666 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687911442912 140688613906133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
[pid=18462/tid=18477] ppid=18459 vsize=10925344 memory=1572 CPUtime=0.13 cores=1,3,5,7
/proc/18462/task/18477/stat : 18477 (java) S 18459 18462 13514 0 -1 1077944384 413 0 0 0 6 7 0 0 20 0 17 0 106057666 11187552256 246290 33554432000 4194304 4196468 140726780073552 140687910390704 140688613907074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39575552 140726780077174 140726780077326 140726780077326 140726780080079 0
Current children cumulated CPU time: 252.17 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 985160 KiB
Child status: 143
Real time (s): 247.818
CPU time (s): 252.185
CPU user time (s): 251.378
CPU system time (s): 0.807132
CPU usage (%): 101.762
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 985160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.378
system time used= 0.807132
maximum resident set size= 985920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7399
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 18462
# total CPU time (s): 252.185
# total CPU user time (s): 251.378
# total CPU system time (s): 0.807132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46547 second user time and 2.4496 second system time
The end