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 (10626 MiB free)
memory of node 1: 16384 MiB (15837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301538-1532881903/watcher-4301538-1532881903 -o /tmp/evaluation-result-4301538-1532881903/solver-4301538-1532881903 -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-4301538-1532881903.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=15617, runsolver pid=15614
[startup+0.100553 s]*
/proc/loadavg: 3.09 3.08 2.55 3/216 15632
/proc/meminfo: memFree=27082792/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10659012 memory=30076 CPUtime=0.12 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 6603 0 0 0 11 1 0 0 20 0 15 0 105753501 10914828288 7519 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2664753 7519 2843 1 0 2627263 0
[pid=15617/tid=15619] ppid=15614 vsize=10659012 memory=-8773748148830375299 CPUtime=0.09 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) R 15614 15617 13514 0 -1 4202560 4428 0 0 0 8 1 0 0 20 0 15 0 105753501 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180739871360 140180719727966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753503 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180295465200 140180735658626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105753504 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180294411424 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105753504 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180292306896 140180735666075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) R 15614 15617 13514 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180291255024 140180735668826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180290202480 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0.02 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) R 15614 15617 13514 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 105753506 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180289149424 140180735659414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753507 10914828288 7519 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30076 KiB
[startup+0.210669 s]*
/proc/loadavg: 3.09 3.08 2.55 3/216 15632
/proc/meminfo: memFree=27071332/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10659012 memory=42056 CPUtime=0.33 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 8097 0 0 0 31 2 0 0 20 0 15 0 105753501 10914828288 10514 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2664753 10514 3003 1 0 2627263 0
[pid=15617/tid=15619] ppid=15614 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) R 15614 15617 13514 0 -1 4202560 5012 0 0 0 18 1 0 0 20 0 15 0 105753501 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180739883760 140180735669405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10659012 memory=140581772066826 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753503 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180295465200 140180735658626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105753504 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180294411424 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105753504 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180292306896 140180735666075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) S 15614 15617 13514 0 -1 1077944384 690 0 0 0 2 0 0 0 20 0 15 0 105753506 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180291255024 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 105753506 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180290202480 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0.07 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) R 15614 15617 13514 0 -1 4202560 682 0 0 0 7 0 0 0 20 0 15 0 105753506 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180289149424 140180719811520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10659012 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753507 10914828288 10514 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42056 KiB
[startup+0.313646 s]*
/proc/loadavg: 3.09 3.08 2.55 5/216 15632
/proc/meminfo: memFree=27058368/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10659088 memory=53504 CPUtime=0.59 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 10065 0 0 0 56 3 0 0 20 0 15 0 105753501 10914906112 13376 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2664772 13376 3063 1 0 2627263 0
[pid=15617/tid=15619] ppid=15614 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) R 15614 15617 13514 0 -1 4202560 5685 0 0 0 27 2 0 0 20 0 15 0 105753501 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180739883872 140180735669405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10659088 memory=140581772061141 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10659088 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105753503 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180295465200 140180735658626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105753504 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180294411424 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105753504 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180292306896 140180735666075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) R 15614 15617 13514 0 -1 4202560 1079 0 0 0 7 0 0 0 20 0 15 0 105753506 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180291241048 140180712872288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) R 15614 15617 13514 0 -1 4202560 930 0 0 0 7 0 0 0 20 0 15 0 105753506 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180290183496 140180719178958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10659088 memory=140581771441792 CPUtime=0.13 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) R 15614 15617 13514 0 -1 1077944384 1006 0 0 0 13 0 0 0 20 0 15 0 105753506 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180289149424 140180735658626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10659088 memory=140581771441792 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753507 10914906112 13376 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53504 KiB
[startup+0.70076 s]
/proc/loadavg: 3.09 3.08 2.55 5/216 15632
/proc/meminfo: memFree=27025612/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10659088 memory=199044 CPUtime=1.93 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 14892 0 0 0 187 6 0 0 20 0 15 0 105753501 10914906112 49761 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2664772 49761 3120 1 0 2627263 0
[pid=15617/tid=15619] ppid=15614 vsize=10659088 memory=16828 CPUtime=0.66 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) R 15614 15617 13514 0 -1 4202560 6059 0 0 0 62 4 0 0 20 0 15 0 105753501 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180739879696 140180735659414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10659088 memory=1584 CPUtime=0.01 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 105753502 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10659088 memory=496 CPUtime=0.01 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 105753502 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105753502 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105753503 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180295465200 140180735658626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105753504 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180294411424 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105753504 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180292306896 140180735666075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10659088 memory=6081108994580573287 CPUtime=0.42 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) R 15614 15617 13514 0 -1 4202560 2488 0 0 0 42 0 0 0 20 0 15 0 105753506 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180291246368 140180728744315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10659088 memory=5788647689011156329 CPUtime=0.42 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) R 15614 15617 13514 0 -1 4202560 3179 0 0 0 42 0 0 0 20 0 15 0 105753506 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180290183496 140180719544175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10659088 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) S 15614 15617 13514 0 -1 1077944384 1679 0 0 0 36 0 0 0 20 0 15 0 105753506 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180289149424 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105753507 10914906112 49761 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 199044 KiB
[startup+1.50169 s]
/proc/loadavg: 3.09 3.08 2.55 6/216 15632
/proc/meminfo: memFree=26851612/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10661136 memory=516448 CPUtime=4.63 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 21864 0 0 0 439 24 0 0 20 0 15 0 105753501 10917003264 129112 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2665284 129112 3147 1 0 2627775 0
[pid=15617/tid=15619] ppid=15614 vsize=10661136 memory=346504 CPUtime=1.25 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) S 15614 15617 13514 0 -1 1077944384 6142 0 0 0 120 5 0 0 20 0 15 0 105753501 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180739883360 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10661136 memory=33 CPUtime=0.18 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) R 15614 15617 13514 0 -1 4202560 155 0 0 0 15 3 0 0 20 0 15 0 105753502 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180688268304 140180721406309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10661136 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) R 15614 15617 13514 0 -1 4202560 141 0 0 0 15 3 0 0 20 0 15 0 105753502 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180687215760 140180720669569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) R 15614 15617 13514 0 -1 4202560 175 0 0 0 15 4 0 0 20 0 15 0 105753502 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180340792080 140180720671849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10661136 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) R 15614 15617 13514 0 -1 4202560 132 0 0 0 15 3 0 0 20 0 15 0 105753502 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180339739736 140180720691596 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105753503 10917003264 129112 33554432000 4194304 4196468 140728262180464 140180295463712 140180735657685 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
################
# More data... #
################
[startup+86.9633 s]
# the end of solver process 15617 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.048 s, system=6.8117 s
Solver just ended.
Dumping a history of the last processes samples
[startup+85.6017 s]
/proc/loadavg: 3.86 3.30 2.67 6/216 15633
/proc/meminfo: memFree=18766720/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10661136 memory=8328288 CPUtime=255.03 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 402704 0 0 0 24828 675 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2665284 2082072 3179 1 0 2627775 0
[pid=15617/tid=15619] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=16.47 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) S 15614 15617 13514 0 -1 1077944384 17254 0 0 0 1636 11 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180739878416 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10661136 memory=8328276 CPUtime=54.54 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) R 15614 15617 13514 0 -1 4202560 91757 0 0 0 5297 157 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180688268424 140180720348163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10661136 memory=5 CPUtime=54.52 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) R 15614 15617 13514 0 -1 4202560 81327 0 0 0 5286 166 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180687215960 140180720637093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10661136 memory=8328288 CPUtime=54.24 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) R 15614 15617 13514 0 -1 4202560 80452 0 0 0 5269 155 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180340792280 140180720637143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10661136 memory=311 CPUtime=54.42 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) R 15614 15617 13514 0 -1 4202560 76693 0 0 0 5266 176 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180339739736 140180720645408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10661136 memory=60 CPUtime=14.24 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 26283 0 0 0 1422 2 0 0 20 0 15 0 105753503 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180295463744 140180735657685 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180294411488 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10661136 memory=6 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10661136 memory=844 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180292306544 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10661136 memory=3360 CPUtime=2.75 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) S 15614 15617 13514 0 -1 1077944384 11509 0 0 0 274 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180291255072 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10661136 memory=2724 CPUtime=3.11 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 11572 0 0 0 310 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180290202528 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10661136 memory=1256 CPUtime=0.6 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) S 15614 15617 13514 0 -1 1077944384 3248 0 0 0 59 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180289149184 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10661136 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10661136 memory=1700 CPUtime=0.06 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1214 0 0 0 3 3 0 0 20 0 15 0 105753507 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 255.03 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8328288 KiB
[startup+86.4017 s]
/proc/loadavg: 3.86 3.30 2.67 6/216 15633
/proc/meminfo: memFree=18766720/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10661136 memory=8328288 CPUtime=258.21 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 402705 0 0 0 25146 675 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2665284 2082072 3179 1 0 2627775 0
[pid=15617/tid=15619] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=16.47 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) S 15614 15617 13514 0 -1 1077944384 17254 0 0 0 1636 11 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180739878416 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10661136 memory=1240 CPUtime=55.34 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) R 15614 15617 13514 0 -1 4202560 91757 0 0 0 5377 157 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180688268424 140180720348175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10661136 memory=1520 CPUtime=55.32 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) R 15614 15617 13514 0 -1 4202560 81327 0 0 0 5366 166 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180687215960 140180720347256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10661136 memory=844 CPUtime=55.03 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) R 15614 15617 13514 0 -1 4202560 80453 0 0 0 5348 155 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180340792280 140180720348175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10661136 memory=3360 CPUtime=55.2 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) R 15614 15617 13514 0 -1 4202560 76693 0 0 0 5344 176 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180339739736 140180717257124 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10661136 memory=281163324726048 CPUtime=14.24 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) S 15614 15617 13514 0 -1 1077944384 26283 0 0 0 1422 2 0 0 20 0 15 0 105753503 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180295463744 140180735657685 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10661136 memory=5787213826727426663 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180294411488 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10661136 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10661136 memory=281163323283664 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180292306544 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10661136 memory=31356350842106267 CPUtime=2.75 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) S 15614 15617 13514 0 -1 1077944384 11509 0 0 0 274 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180291255072 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10661136 memory=1812 CPUtime=3.11 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 11572 0 0 0 310 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180290202528 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10661136 memory=1020 CPUtime=0.6 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) S 15614 15617 13514 0 -1 1077944384 3248 0 0 0 59 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180289149184 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10661136 memory=756 CPUtime=0.06 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1214 0 0 0 3 3 0 0 20 0 15 0 105753507 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 258.21 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8328288 KiB
[startup+86.8008 s]
/proc/loadavg: 3.86 3.30 2.67 6/216 15633
/proc/meminfo: memFree=18766720/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10661136 memory=8328288 CPUtime=259.69 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 402705 0 0 0 25294 675 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2665284 2082072 3179 1 0 2627775 0
[pid=15617/tid=15619] ppid=15614 vsize=10661136 memory=2324 CPUtime=16.47 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) S 15614 15617 13514 0 -1 1077944384 17254 0 0 0 1636 11 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180739878416 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10661136 memory=1584 CPUtime=55.7 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 91757 0 0 0 5413 157 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10661136 memory=496 CPUtime=55.68 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 81327 0 0 0 5402 166 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10661136 memory=928 CPUtime=55.39 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 80453 0 0 0 5384 155 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10661136 memory=1172 CPUtime=55.56 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 76693 0 0 0 5380 176 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10661136 memory=1968 CPUtime=14.28 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) R 15614 15617 13514 0 -1 4202560 26283 0 0 0 1426 2 0 0 20 0 15 0 105753503 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180295463744 140180720643883 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180294411488 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10661136 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10661136 memory=15535236834396114 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180292306544 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10661136 memory=2592 CPUtime=2.75 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) S 15614 15617 13514 0 -1 1077944384 11509 0 0 0 274 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180291255072 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10661136 memory=2592 CPUtime=3.11 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 11572 0 0 0 310 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180290202528 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10661136 memory=4104 CPUtime=0.6 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) S 15614 15617 13514 0 -1 1077944384 3248 0 0 0 59 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180289149184 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10661136 memory=3036 CPUtime=0.06 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1214 0 0 0 3 3 0 0 20 0 15 0 105753507 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 259.69 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8328288 KiB
[startup+86.9008 s]
/proc/loadavg: 3.86 3.30 2.67 6/216 15633
/proc/meminfo: memFree=18766720/32770624 swapFree=67108860/67108860
[pid=15617] ppid=15614 vsize=10661136 memory=8328288 CPUtime=259.79 cores=1,3,5,7
/proc/15617/stat : 15617 (java) S 15614 15617 13514 0 -1 1077944320 402705 0 0 0 25304 675 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140728262163008 140180735647479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
/proc/15617/statm: 2665284 2082072 3179 1 0 2627775 0
[pid=15617/tid=15619] ppid=15614 vsize=10661136 memory=8328288 CPUtime=16.47 cores=1,3,5,7
/proc/15617/task/15619/stat : 15619 (java) S 15614 15617 13514 0 -1 1077944384 17254 0 0 0 1636 11 0 0 20 0 15 0 105753501 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180739878416 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15620] ppid=15614 vsize=10661136 memory=8328288 CPUtime=55.7 cores=1,3,5,7
/proc/15617/task/15620/stat : 15620 (java) S 15614 15617 13514 0 -1 1077944384 91757 0 0 0 5413 157 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180688268304 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15621] ppid=15614 vsize=10661136 memory=8328288 CPUtime=55.68 cores=1,3,5,7
/proc/15617/task/15621/stat : 15621 (java) S 15614 15617 13514 0 -1 1077944384 81327 0 0 0 5402 166 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180687215760 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15622] ppid=15614 vsize=10661136 memory=276 CPUtime=55.39 cores=1,3,5,7
/proc/15617/task/15622/stat : 15622 (java) S 15614 15617 13514 0 -1 1077944384 80453 0 0 0 5384 155 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180340792080 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15623] ppid=15614 vsize=10661136 memory=14572 CPUtime=55.56 cores=1,3,5,7
/proc/15617/task/15623/stat : 15623 (java) S 15614 15617 13514 0 -1 1077944384 76693 0 0 0 5380 176 0 0 20 0 15 0 105753502 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180339739536 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15624] ppid=15614 vsize=10661136 memory=12708 CPUtime=14.38 cores=1,3,5,7
/proc/15617/task/15624/stat : 15624 (java) R 15614 15617 13514 0 -1 4202560 26283 0 0 0 1436 2 0 0 20 0 15 0 105753503 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180295463744 140180720643886 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15625] ppid=15614 vsize=10661136 memory=8321876 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15625/stat : 15625 (java) S 15614 15617 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180294411488 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15626] ppid=15614 vsize=10661136 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15626/stat : 15626 (java) S 15614 15617 13514 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105753504 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180293358320 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15627] ppid=15614 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15627/stat : 15627 (java) S 15614 15617 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180292306544 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15628] ppid=15614 vsize=10661136 memory=275 CPUtime=2.75 cores=1,3,5,7
/proc/15617/task/15628/stat : 15628 (java) S 15614 15617 13514 0 -1 1077944384 11509 0 0 0 274 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180291255072 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15629] ppid=15614 vsize=10661136 memory=4465 CPUtime=3.11 cores=1,3,5,7
/proc/15617/task/15629/stat : 15629 (java) S 15614 15617 13514 0 -1 1077944384 11572 0 0 0 310 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180290202528 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15630] ppid=15614 vsize=10661136 memory=4420 CPUtime=0.6 cores=1,3,5,7
/proc/15617/task/15630/stat : 15630 (java) S 15614 15617 13514 0 -1 1077944384 3248 0 0 0 59 1 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180289149184 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15631] ppid=15614 vsize=10661136 memory=8328208 CPUtime=0 cores=1,3,5,7
/proc/15617/task/15631/stat : 15631 (java) S 15614 15617 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105753506 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180288097120 140180735657685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
[pid=15617/tid=15632] ppid=15614 vsize=10661136 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15617/task/15632/stat : 15632 (java) S 15614 15617 13514 0 -1 1077944384 1214 0 0 0 3 3 0 0 20 0 15 0 105753507 10917003264 2082072 33554432000 4194304 4196468 140728262180464 140180287044144 140180735658626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140728262186102 140728262186254 140728262186254 140728262189007 0
Current children cumulated CPU time: 259.79 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8328288 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.9633
CPU time (s): 259.859
CPU user time (s): 253.048
CPU system time (s): 6.8117
CPU usage (%): 298.815
Max. virtual memory (cumulated for all children) (KiB): 10664188
Max. memory (cumulated for all children) (KiB): 8328288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.048
system time used= 6.8117
maximum resident set size= 8328636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5713
involuntary context switches= 2070
# summary of solver processes directly reported to runsolver:
# pid: 15617
# total CPU time (s): 259.859
# total CPU user time (s): 253.048
# total CPU system time (s): 6.8117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.528999 second user time and 0.914002 second system time
The end