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 (11573 MiB free)
memory of node 1: 16384 MiB (15835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301640-1532883386/watcher-4301640-1532883386 -o /tmp/evaluation-result-4301640-1532883386/solver-4301640-1532883386 -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-4301640-1532883386.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16987, runsolver pid=16984
[startup+0.101253 s]*
/proc/loadavg: 2.00 2.55 2.69 3/216 17002
/proc/meminfo: memFree=28048084/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10659012 memory=33208 CPUtime=0.12 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 6835 0 0 0 11 1 0 0 20 0 15 0 105901753 10914828288 8302 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2664753 8302 2847 1 0 2627263 0
[pid=16987/tid=16989] ppid=16984 vsize=10659012 memory=-8557575366716462209 CPUtime=0.08 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 4677 0 0 0 8 0 0 0 20 0 15 0 105901753 10914828288 8302 33554432000 4194304 4196468 140724906041472 140513387140976 140513271142327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 8302 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901755 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105901756 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105901756 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 8302 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 33208 KiB
[startup+0.211892 s]*
/proc/loadavg: 2.00 2.55 2.69 5/216 17002
/proc/meminfo: memFree=28037292/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10659012 memory=44116 CPUtime=0.33 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 8098 0 0 0 31 2 0 0 20 0 15 0 105901753 10914828288 11029 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2664753 11029 2993 1 0 2627263 0
[pid=16987/tid=16989] ppid=16984 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 5057 0 0 0 19 1 0 0 20 0 15 0 105901753 10914828288 11029 33554432000 4194304 4196468 140724906041472 140513387172592 140513382948246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 11029 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10659012 memory=139803837202443 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901754 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901755 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105901756 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105901756 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10659012 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 659 0 0 0 3 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0.07 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) R 16984 16987 13514 0 -1 4202560 684 0 0 0 7 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512412535536 140513361485317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10659012 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901759 10914828288 11029 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 44116 KiB
[startup+0.310452 s]*
/proc/loadavg: 2.00 2.55 2.69 3/216 17002
/proc/meminfo: memFree=28029972/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10659088 memory=49456 CPUtime=0.51 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 9046 0 0 0 49 2 0 0 20 0 15 0 105901753 10914906112 12364 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2664772 12364 3054 1 0 2627263 0
[pid=16987/tid=16989] ppid=16984 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 5821 0 0 0 28 1 0 0 20 0 15 0 105901753 10914906112 12364 33554432000 4194304 4196468 140724906041472 140513387170176 140513367016798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914906112 12364 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10659088 memory=139803837202442 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901754 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901754 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10659088 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105901755 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105901756 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105901756 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 667 0 0 0 4 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 452 0 0 0 4 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10659088 memory=139803836577408 CPUtime=0.11 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) R 16984 16987 13514 0 -1 4202560 742 0 0 0 11 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512412535536 140513361861988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10659088 memory=139803836577408 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105901759 10914906112 12364 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49456 KiB
[startup+0.700768 s]
/proc/loadavg: 2.00 2.55 2.69 5/216 17002
/proc/meminfo: memFree=27986476/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10725652 memory=128800 CPUtime=1.7 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 11499 0 0 0 167 3 0 0 20 0 16 0 105901753 10983067648 32200 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2681413 32200 3109 1 0 2643904 0
[pid=16987/tid=16989] ppid=16984 vsize=10725652 memory=16840 CPUtime=0.67 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 6026 0 0 0 65 2 0 0 20 0 16 0 105901753 10983067648 32200 33554432000 4194304 4196468 140724906041472 140513387172464 140513022651504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10725652 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 32200 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10725652 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10725652 memory=496 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10725652 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10725652 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 105901755 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10725652 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10725652 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10725652 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10725652 memory=6081108994580573287 CPUtime=0.39 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) R 16984 16987 13514 0 -1 4202560 1659 0 0 0 39 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512414625824 140513368062719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10725652 memory=5932762877087012201 CPUtime=0.37 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) R 16984 16987 13514 0 -1 4202560 1363 0 0 0 37 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512413576752 140513364480400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10725652 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 1060 0 0 0 23 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10725652 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 32200 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 128800 KiB
[startup+1.50084 s]
/proc/loadavg: 2.00 2.55 2.69 3/217 17003
/proc/meminfo: memFree=27947860/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10725652 memory=139964 CPUtime=3.24 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 15707 0 0 0 320 4 0 0 20 0 16 0 105901753 10983067648 34991 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2681413 34991 3122 1 0 2643904 0
[pid=16987/tid=16989] ppid=16984 vsize=10725652 memory=33 CPUtime=1.47 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 6220 0 0 0 145 2 0 0 20 0 16 0 105901753 10983067648 34991 33554432000 4194304 4196468 140724906041472 140513387164720 140513019548487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 34991 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 34991 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 34991 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10725652 memory=-2247047206207641111 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105901754 10983067648 34991 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10725652 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 105901755 10983067648 34991 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
################
# More data... #
################
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1501 0 0 0 14 5 0 0 20 0 16 0 105901754 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10725652 memory=406368 CPUtime=0.2 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 1010 0 0 0 14 6 0 0 20 0 16 0 105901754 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10725652 memory=406368 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 1316 0 0 0 1 0 0 0 20 0 16 0 105901755 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10725652 memory=311468 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10725652 memory=5794843433124521063 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10725652 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10725652 memory=5456 CPUtime=1.4 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 6804 0 0 0 139 1 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10725652 memory=1520 CPUtime=1.6 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 9636 0 0 0 159 1 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10725652 memory=844 CPUtime=0.32 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 2759 0 0 0 32 0 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10725652 memory=389504 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10725652 memory=804 CPUtime=0.04 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 613 0 0 0 2 2 0 0 20 0 16 0 105901759 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17003] ppid=16984 vsize=10725652 memory=406368 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17003/stat : 17003 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105901813 10983067648 101592 33554432000 4194304 4196468 140724906041472 140512409375536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 166.28 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 406368 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 2.25 2.54 3/219 17098
/proc/meminfo: memFree=26987124/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10725652 memory=521672 CPUtime=226.69 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 39065 0 0 0 22621 48 0 0 20 0 16 0 105901753 10983067648 130418 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2681413 130418 3163 1 0 2643904 0
[pid=16987/tid=16989] ppid=16984 vsize=10725652 memory=4140 CPUtime=221.91 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 11025 0 0 0 22188 3 0 0 20 0 16 0 105901753 10983067648 130418 33554432000 4194304 4196468 140724906041472 140513387175264 140513022697856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10725652 memory=474568 CPUtime=0.32 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 838 0 0 0 23 9 0 0 20 0 16 0 105901754 10983067648 130418 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10725652 memory=521672 CPUtime=0.32 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1175 0 0 0 23 9 0 0 20 0 16 0 105901754 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10725652 memory=521672 CPUtime=0.32 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1663 0 0 0 24 8 0 0 20 0 16 0 105901754 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10725652 memory=1256 CPUtime=0.32 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 1488 0 0 0 23 9 0 0 20 0 16 0 105901754 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10725652 memory=521672 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 1560 0 0 0 1 0 0 0 20 0 16 0 105901755 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10725652 memory=521672 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10725652 memory=474568 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10725652 memory=521672 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10725652 memory=521672 CPUtime=1.4 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 6808 0 0 0 139 1 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10725652 memory=521672 CPUtime=1.6 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 9639 0 0 0 159 1 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10725652 memory=521672 CPUtime=0.33 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 2766 0 0 0 33 0 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10725652 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10725652 memory=30208 CPUtime=0.07 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 652 0 0 0 3 4 0 0 20 0 16 0 105901759 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17003] ppid=16984 vsize=10725652 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17003/stat : 17003 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105901813 10983067648 130418 33554432000 4194304 4196468 140724906041472 140512409375536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 226.69 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 521672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.401 s]
/proc/loadavg: 2.02 2.23 2.53 3/219 17099
/proc/meminfo: memFree=26910252/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10725652 memory=597432 CPUtime=252.02 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 39651 0 0 0 25144 58 0 0 20 0 16 0 105901753 10983067648 149358 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2681413 149358 3163 1 0 2643904 0
[pid=16987/tid=16989] ppid=16984 vsize=10725652 memory=1240 CPUtime=246.94 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) R 16984 16987 13514 0 -1 4202560 11359 0 0 0 24691 3 0 0 20 0 16 0 105901753 10983067648 149358 33554432000 4194304 4196468 140724906041472 140513387175264 140513022715695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10725652 memory=1520 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 900 0 0 0 28 12 0 0 20 0 16 0 105901754 10983067648 149358 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10725652 memory=844 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1231 0 0 0 28 12 0 0 20 0 16 0 105901754 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10725652 memory=3360 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1725 0 0 0 29 11 0 0 20 0 16 0 105901754 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10725652 memory=2724 CPUtime=0.39 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 1551 0 0 0 28 11 0 0 20 0 16 0 105901754 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10725652 memory=1256 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 1567 0 0 0 1 0 0 0 20 0 16 0 105901755 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10725652 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10725652 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 105901756 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10725652 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10725652 memory=1812 CPUtime=1.4 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 6808 0 0 0 139 1 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10725652 memory=1020 CPUtime=1.6 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 9639 0 0 0 159 1 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10725652 memory=5456 CPUtime=0.33 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 2766 0 0 0 33 0 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10725652 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10725652 memory=14572 CPUtime=0.08 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 654 0 0 0 4 4 0 0 20 0 16 0 105901759 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17003] ppid=16984 vsize=10725652 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17003/stat : 17003 (java) S 16984 16987 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105901813 10983067648 149358 33554432000 4194304 4196468 140724906041472 140512409375536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 597432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.626 s]
# the end of solver process 16987 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.48 s, system=0.591149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.601 s]
/proc/loadavg: 2.02 2.23 2.53 3/219 17099
/proc/meminfo: memFree=26910252/32770624 swapFree=67108860/67108860
[pid=16987] ppid=16984 vsize=10925344 memory=597696 CPUtime=252.05 cores=1,3,5,7
/proc/16987/stat : 16987 (java) S 16984 16987 13514 0 -1 1077944320 40555 0 0 0 25147 58 0 0 20 0 17 0 105901753 11187552256 149424 33554432000 4194304 4196468 140724906041472 140724906024016 140513382936311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
/proc/16987/statm: 2731336 149424 3165 1 0 2693827 0
[pid=16987/tid=16989] ppid=16984 vsize=10925344 memory=30208 CPUtime=246.96 cores=1,3,5,7
/proc/16987/task/16989/stat : 16989 (java) S 16984 16987 13514 0 -1 1077944384 11487 0 0 0 24693 3 0 0 20 0 17 0 105901753 11187552256 149424 33554432000 4194304 4196468 140724906041472 140513387179184 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16990] ppid=16984 vsize=10925344 memory=2204 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16990/stat : 16990 (java) S 16984 16987 13514 0 -1 1077944384 900 0 0 0 28 12 0 0 20 0 17 0 105901754 11187552256 149424 33554432000 4194304 4196468 140724906041472 140513346042640 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16991] ppid=16984 vsize=10925344 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16991/stat : 16991 (java) S 16984 16987 13514 0 -1 1077944384 1231 0 0 0 28 12 0 0 20 0 17 0 105901754 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512988945296 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16992] ppid=16984 vsize=10925344 memory=1520 CPUtime=0.4 cores=1,3,5,7
/proc/16987/task/16992/stat : 16992 (java) S 16984 16987 13514 0 -1 1077944384 1725 0 0 0 29 11 0 0 20 0 17 0 105901754 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512987892752 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16993] ppid=16984 vsize=10925344 memory=844 CPUtime=0.39 cores=1,3,5,7
/proc/16987/task/16993/stat : 16993 (java) S 16984 16987 13514 0 -1 1077944384 1551 0 0 0 28 11 0 0 20 0 17 0 105901754 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512986840208 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16994] ppid=16984 vsize=10925344 memory=3360 CPUtime=0.01 cores=1,3,5,7
/proc/16987/task/16994/stat : 16994 (java) S 16984 16987 13514 0 -1 1077944384 1567 0 0 0 1 0 0 0 20 0 17 0 105901755 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512418850800 140513382947458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16995] ppid=16984 vsize=10925344 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16995/stat : 16995 (java) S 16984 16987 13514 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 105901756 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512417797024 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16996] ppid=16984 vsize=10925344 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16996/stat : 16996 (java) S 16984 16987 13514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 105901756 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512416744432 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16997] ppid=16984 vsize=10925344 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/16987/task/16997/stat : 16997 (java) S 16984 16987 13514 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512415693008 140513382954907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16998] ppid=16984 vsize=10925344 memory=1700 CPUtime=1.4 cores=1,3,5,7
/proc/16987/task/16998/stat : 16998 (java) S 16984 16987 13514 0 -1 1077944384 6884 0 0 0 139 1 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512414640624 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=16999] ppid=16984 vsize=10925344 memory=1172 CPUtime=1.6 cores=1,3,5,7
/proc/16987/task/16999/stat : 16999 (java) S 16984 16987 13514 0 -1 1077944384 9736 0 0 0 159 1 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512413588080 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17000] ppid=16984 vsize=10925344 memory=1812 CPUtime=0.33 cores=1,3,5,7
/proc/16987/task/17000/stat : 17000 (java) S 16984 16987 13514 0 -1 1077944384 2942 0 0 0 33 0 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512412535536 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17001] ppid=16984 vsize=10925344 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/16987/task/17001/stat : 17001 (java) S 16984 16987 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512411483232 140513382946517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
[pid=16987/tid=17002] ppid=16984 vsize=10925344 memory=5456 CPUtime=0.08 cores=1,3,5,7
/proc/16987/task/17002/stat : 17002 (java) S 16984 16987 13514 0 -1 1077944384 654 0 0 0 4 4 0 0 20 0 17 0 105901759 11187552256 149424 33554432000 4194304 4196468 140724906041472 140512410429744 140513382947458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32526336 140724906046582 140724906046734 140724906046734 140724906049487 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 597696 KiB
Child status: 143
Real time (s): 247.627
CPU time (s): 252.072
CPU user time (s): 251.48
CPU system time (s): 0.591149
CPU usage (%): 101.795
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 597696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.48
system time used= 0.591149
maximum resident set size= 597852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7482
involuntary context switches= 178
# summary of solver processes directly reported to runsolver:
# pid: 16987
# total CPU time (s): 252.072
# total CPU user time (s): 251.48
# total CPU system time (s): 0.591149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62118 second user time and 2.21119 second system time
The end