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 (15153 MiB free)
memory of node 1: 16384 MiB (15443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259734-1502642468/watcher-4259734-1502642468 -o /tmp/evaluation-result-4259734-1502642468/solver-4259734-1502642468 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259734-1502642468.xml
running on 4 cores: 0,2,4,6
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=25503, runsolver pid=25496
[startup+0.10013 s]*
/proc/loadavg: 1.08 1.17 1.87 4/193 25568
/proc/meminfo: memFree=31327024/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=9636 memory=1480 CPUtime=0.01 cores=0,2,4,6
/proc/25503/stat : 25503 (bash) S 25496 25503 8289 0 -1 4202496 894 6484 1 1 0 0 0 1 20 0 1 0 112062022 9867264 370 18446744073709551615 4194304 5098028 140737397464848 140737397458856 140561718664192 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 6 0 0 7196144 7232144 27115520 140737397469684 140737397469769 140737397469769 140737397473258 0
/proc/25503/statm: 2409 370 290 221 0 118 0
[pid=25562] ppid=25503 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/25562/stat : 25562 (bash) S 25503 25503 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112062032 9867264 177 18446744073709551615 4194304 5098028 140737397464848 140737397457528 140561718489724 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27115520 140737397469684 140737397469769 140737397469769 140737397473258 0
/proc/25562/statm: 2409 177 96 221 0 118 0
[pid=25565] ppid=25562 vsize=9936720 memory=14084 CPUtime=0 cores=0,2,4,6
/proc/25565/stat : 25565 (java) S 25562 25503 8289 0 -1 1077944320 2814 0 0 0 0 0 0 0 20 0 6 0 112062032 10175201280 3521 18446744073709551615 4194304 4196468 140728325808560 140728325791104 140141070573303 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
/proc/25565/statm: 2484180 3521 1477 1 0 2473677 0
[pid=25565/tid=25568] ppid=25562 vsize=9936720 memory=-8412658745154770803 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (java) R 25562 25503 8289 0 -1 4202560 1605 0 0 0 0 0 0 0 20 0 6 0 112062032 10175201280 3587 18446744073709551615 4194304 4196468 140728325808560 140141074809424 140141031554934 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25573] ppid=25562 vsize=9936720 memory=3472328128895609921 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (java) S 25562 25503 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112062033 10175201280 3587 18446744073709551615 4194304 4196468 140728325808560 140141027539472 140141070583509 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25574] ppid=25562 vsize=9936720 memory=140085075314304 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25574/stat : 25574 (java) S 25562 25503 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112062033 10175201280 3587 18446744073709551615 4194304 4196468 140728325808560 140141026486928 140141070583509 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25575] ppid=25562 vsize=9936720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25575/stat : 25575 (java) S 25562 25503 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112062033 10175201280 3587 18446744073709551615 4194304 4196468 140728325808560 140140679452944 140141070583509 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25576] ppid=25562 vsize=9936720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25576/stat : 25576 (java) S 25562 25503 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112062033 10175201280 3587 18446744073709551615 4194304 4196468 140728325808560 140140678400400 140141070583509 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25566] ppid=25562 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/25566/stat : 25566 (awk) S 25562 25503 8289 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 112062032 10108928 243 18446744073709551615 4194304 4609284 140726523503424 140726523502600 140044167289856 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 37347328 140726523507328 140726523507358 140726523507358 140726523510763 0
/proc/25566/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9965864 KiB
Current children cumulated memory: 17244 KiB
[startup+0.210409 s]*
/proc/loadavg: 1.08 1.17 1.87 4/217 25592
/proc/meminfo: memFree=31304000/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=9636 memory=1480 CPUtime=0.01 cores=0,2,4,6
/proc/25503/stat : 25503 (bash) S 25496 25503 8289 0 -1 4202496 894 6484 1 1 0 0 0 1 20 0 1 0 112062022 9867264 370 18446744073709551615 4194304 5098028 140737397464848 140737397458856 140561718664192 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 6 0 0 7196144 7232144 27115520 140737397469684 140737397469769 140737397469769 140737397473258 0
/proc/25503/statm: 2409 370 290 221 0 118 0
[pid=25562] ppid=25503 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/25562/stat : 25562 (bash) S 25503 25503 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112062032 9867264 177 18446744073709551615 4194304 5098028 140737397464848 140737397457528 140561718489724 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27115520 140737397469684 140737397469769 140737397469769 140737397473258 0
/proc/25562/statm: 2409 177 96 221 0 118 0
[pid=25565] ppid=25562 vsize=10485312 memory=22844 CPUtime=0.05 cores=0,2,4,6
/proc/25565/stat : 25565 (java) S 25562 25503 8289 0 -1 1077944320 4657 0 0 0 5 0 0 0 20 0 14 0 112062032 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140728325791104 140141070573303 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
/proc/25565/statm: 2621328 5711 2574 1 0 2610825 0
[pid=25565/tid=25568] ppid=25562 vsize=10485312 memory=-8412658745154770803 CPUtime=0.04 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (java) D 25562 25503 8289 0 -1 4202560 2794 0 0 0 4 0 0 0 20 0 14 0 112062032 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140141074810784 140141070595325 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 5 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25573] ppid=25562 vsize=10485312 memory=3472328128895609921 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (java) S 25562 25503 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140141027539472 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25574] ppid=25562 vsize=10485312 memory=140085075314304 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25574/stat : 25574 (java) S 25562 25503 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140141026486928 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25575] ppid=25562 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25575/stat : 25575 (java) S 25562 25503 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140679452944 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25576] ppid=25562 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25576/stat : 25576 (java) S 25562 25503 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140678400400 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25578] ppid=25562 vsize=10485312 memory=140085075314304 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25578/stat : 25578 (java) S 25562 25503 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112062034 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140634094320 140141070584450 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25580] ppid=25562 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25580/stat : 25580 (java) S 25562 25503 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112062034 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140633040544 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25582] ppid=25562 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25582/stat : 25582 (java) S 25562 25503 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112062035 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140631987440 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25586] ppid=25562 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25586/stat : 25586 (java) S 25562 25503 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140630936016 140141070591899 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25588] ppid=25562 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25588/stat : 25588 (java) S 25562 25503 8289 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140629883120 140141070584450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25589] ppid=25562 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25589/stat : 25589 (java) S 25562 25503 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140628830576 140141070584450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25590] ppid=25562 vsize=10485312 memory=140085075314304 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25590/stat : 25590 (java) S 25562 25503 8289 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140627777520 140141070584450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25565/tid=25592] ppid=25562 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25592/stat : 25592 (java) S 25562 25503 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5711 18446744073709551615 4194304 4196468 140728325808560 140140626725216 140141070583509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31137792 140728325812824 140728325812838 140728325812838 140728325816271 0
[pid=25566] ppid=25562 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/25566/stat : 25566 (awk) S 25562 25503 8289 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 112062032 10108928 243 18446744073709551615 4194304 4609284 140726523503424 140726523502600 140044167289856 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 37347328 140726523507328 140726523507358 140726523507358 140726523510763 0
/proc/25566/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 26004 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.08 1.17 1.87 4/201 25616
/proc/meminfo: memFree=31308824/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=13907308 memory=22576 CPUtime=0.13 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 5429 12503 1 1 5 0 5 3 20 0 14 0 112062022 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3476827 5644 2572 1 0 3466324 0
[pid=25503/tid=25601] ppid=25496 vsize=13907308 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) D 25496 25503 8289 0 -1 4202560 2703 12503 0 1 4 0 5 3 20 0 14 0 112062048 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160757942080 140160753728573 0 4 1 16800974 18446744071581769878 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=13907308 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 14 0 112062049 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=13907308 memory=-7533229591079788448 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 14 0 112062049 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=13907308 memory=-7240599211820661557 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 14 0 112062049 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=13907308 memory=-7028383565733675155 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 2 12503 0 1 0 0 5 3 20 0 14 0 112062049 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=13907308 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 2 12503 0 1 0 0 5 3 20 0 14 0 112062050 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=13907308 memory=-7305533901252758645 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 33 12503 0 1 0 0 5 3 20 0 14 0 112062051 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160298382752 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=13907308 memory=4206751525541407381 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 21 12503 0 1 0 0 5 3 20 0 14 0 112062051 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160297330160 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=13907308 memory=140085075321297 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 14 0 112062054 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=13907308 memory=140085075314304 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 301 12503 0 1 0 0 5 3 20 0 14 0 112062054 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 4 12503 0 1 0 0 5 3 20 0 14 0 112062054 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 203 12503 0 1 0 0 5 3 20 0 14 0 112062054 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 14 0 112062054 14241083392 5644 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 22576 KiB
[startup+0.701586 s]
/proc/loadavg: 1.08 1.17 1.87 4/213 25628
/proc/meminfo: memFree=31258912/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=13974784 memory=54024 CPUtime=0.52 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 12698 12503 1 1 41 3 5 3 20 0 15 0 112062022 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3493696 13506 3068 1 0 3482965 0
[pid=25503/tid=25601] ppid=25496 vsize=13974784 memory=280169843523824 CPUtime=0.41 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) R 25496 25503 8289 0 -1 4202560 9174 12503 0 1 31 2 5 3 20 0 15 0 112062048 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160757907728 140160735268224 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 2 12503 0 1 0 0 5 3 20 0 15 0 112062049 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 2 12503 0 1 0 0 5 3 20 0 15 0 112062050 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 33 12503 0 1 0 0 5 3 20 0 15 0 112062051 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160298382752 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 21 12503 0 1 0 0 5 3 20 0 15 0 112062051 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160297330160 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=13974784 memory=170 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 15 0 112062054 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=13974784 memory=1 CPUtime=0.09 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 601 12503 0 1 1 0 5 3 20 0 15 0 112062054 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=13974784 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 157 12503 0 1 1 0 5 3 20 0 15 0 112062054 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=13974784 memory=8319106358720017206 CPUtime=0.13 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 547 12503 0 1 5 0 5 3 20 0 15 0 112062054 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=13974784 memory=7368002589332496978 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 15 0 112062054 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25628] ppid=25496 vsize=13974784 memory=9878424783013 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25628/stat : 25628 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062063 14310178816 13506 18446744073709551615 4194304 4196468 140733769935744 140160291015472 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 54024 KiB
[startup+1.5007 s]
/proc/loadavg: 1.08 1.17 1.87 4/213 25628
/proc/meminfo: memFree=31183296/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=13985408 memory=134040 CPUtime=1.71 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 25969 12503 1 1 155 8 5 3 20 0 15 0 112062022 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3496352 33510 3335 1 0 3485525 0
[pid=25503/tid=25601] ppid=25496 vsize=13985408 memory=276 CPUtime=1.21 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) R 25496 25503 8289 0 -1 4202560 21156 12503 0 1 106 7 5 3 20 0 15 0 112062048 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160757932672 140160753726621 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 1 12503 0 1 0 0 5 3 20 0 15 0 112062049 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=13985408 memory=2372 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 2 12503 0 1 0 0 5 3 20 0 15 0 112062049 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=13985408 memory=14126736669437378 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 5 12503 0 1 0 0 5 3 20 0 15 0 112062050 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=13985408 memory=109504486229944 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 33 12503 0 1 0 0 5 3 20 0 15 0 112062051 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160298382752 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 21 12503 0 1 0 0 5 3 20 0 15 0 112062051 14321057792 33510 18446744073709551615 4194304 4196468 140733769935744 140160297330160 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
################
# More data... #
################
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 8103 12503 0 1 45 1 5 3 20 0 15 0 112062050 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=14069564 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 64 12503 0 1 0 0 5 3 20 0 15 0 112062051 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160298382816 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=14069564 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 55 12503 0 1 0 0 5 3 20 0 15 0 112062051 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160297330176 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=14069564 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 15 0 112062054 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=14069564 memory=2248 CPUtime=7.7 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 17699 12503 0 1 758 4 5 3 20 0 15 0 112062054 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=14069564 memory=0 CPUtime=7.83 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 20548 12503 0 1 772 3 5 3 20 0 15 0 112062054 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=14069564 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 18755 12503 0 1 231 5 5 3 20 0 15 0 112062054 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=14069564 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 15 0 112062054 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25628] ppid=25496 vsize=14069564 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25503/task/25628/stat : 25628 (java) S 25496 25503 8289 0 -1 1077944384 370 12503 0 1 3 4 5 3 20 0 15 0 112062063 14407233536 1167612 18446744073709551615 4194304 4196468 140733769935744 140160291015472 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4670448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+215.045 s]
# the end of solver process 25503 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.288 s, system=3.84875 s
Solver just ended.
Dumping a history of the last processes samples
[startup+214.401 s]
/proc/loadavg: 1.96 1.59 1.89 4/218 25653
/proc/meminfo: memFree=22338028/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=14202692 memory=4670624 CPUtime=253.47 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 143684 12503 1 1 24961 378 5 3 20 0 17 0 112062022 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3550673 1167656 3480 1 0 3539287 0
[pid=25503/tid=25601] ppid=25496 vsize=14202692 memory=1716 CPUtime=206.38 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) R 25496 25503 8289 0 -1 4202560 59990 12503 0 1 20597 33 5 3 20 0 17 0 112062048 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160757936848 140160373065248 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=14202692 memory=4670448 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 3551 12503 0 1 635 83 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=14202692 memory=1228 CPUtime=7.27 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 5404 12503 0 1 639 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=14202692 memory=4168 CPUtime=7.25 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 3110 12503 0 1 636 81 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=14202692 memory=54256 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 3136 12503 0 1 638 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=14202692 memory=56 CPUtime=0.54 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 8148 12503 0 1 45 1 5 3 20 0 17 0 112062050 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=14202692 memory=280169845053008 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 64 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160298382816 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=14202692 memory=4670448 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 55 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160297330176 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=14202692 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 307 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=14202692 memory=140085075314303 CPUtime=7.7 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 17699 12503 0 1 758 4 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=14202692 memory=7596539496186336102 CPUtime=7.83 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 20548 12503 0 1 772 3 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=14202692 memory=4670392 CPUtime=2.44 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 18755 12503 0 1 231 5 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=14202692 memory=4670392 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25628] ppid=25496 vsize=14202692 memory=4670448 CPUtime=0.15 cores=0,2,4,6
/proc/25503/task/25628/stat : 25628 (java) S 25496 25503 8289 0 -1 1077944384 370 12503 0 1 3 4 5 3 20 0 17 0 112062063 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160291015472 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25652] ppid=25496 vsize=14202692 memory=4670624 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25652/stat : 25652 (java) S 25496 25503 8289 0 -1 1077944384 359 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160286577264 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25653] ppid=25496 vsize=14202692 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25653/stat : 25653 (java) S 25496 25503 8289 0 -1 1077944384 32 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160190543600 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 253.47 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4670624 KiB
[startup+214.801 s]
/proc/loadavg: 1.96 1.59 1.89 4/218 25653
/proc/meminfo: memFree=22338028/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=14202692 memory=4670624 CPUtime=253.87 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 143691 12503 1 1 25001 378 5 3 20 0 17 0 112062022 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3550673 1167656 3480 1 0 3539287 0
[pid=25503/tid=25601] ppid=25496 vsize=14202692 memory=4872558044660077418 CPUtime=206.78 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) R 25496 25503 8289 0 -1 4202560 59991 12503 0 1 20637 33 5 3 20 0 17 0 112062048 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160757936848 140160373064416 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=14202692 memory=5787233549870458176 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 3551 12503 0 1 635 83 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=14202692 memory=5787233549870458176 CPUtime=7.27 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 5404 12503 0 1 639 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=14202692 memory=5787213904088416357 CPUtime=7.25 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 3110 12503 0 1 636 81 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=14202692 memory=4640467265373562220 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 3136 12503 0 1 638 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=14202692 memory=4640467261078202220 CPUtime=0.54 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 8148 12503 0 1 45 1 5 3 20 0 17 0 112062050 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=14202692 memory=4640467269668070247 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 64 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160298382816 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=14202692 memory=5787213904088416357 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 55 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160297330176 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=14202692 memory=5793107295003295846 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 307 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=14202692 memory=6083889565230196564 CPUtime=7.7 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 17701 12503 0 1 758 4 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=14202692 memory=4872558044660077418 CPUtime=7.83 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 20550 12503 0 1 772 3 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=14202692 memory=3760962657355885206 CPUtime=2.44 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 18757 12503 0 1 231 5 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=14202692 memory=280169844707072 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25628] ppid=25496 vsize=14202692 memory=280169844476816 CPUtime=0.15 cores=0,2,4,6
/proc/25503/task/25628/stat : 25628 (java) R 25496 25503 8289 0 -1 4202560 370 12503 0 1 3 4 5 3 20 0 17 0 112062063 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160291015472 140160753726042 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25652] ppid=25496 vsize=14202692 memory=7599809834946605603 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25652/stat : 25652 (java) S 25496 25503 8289 0 -1 1077944384 359 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160286577264 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25653] ppid=25496 vsize=14202692 memory=6878395057102796690 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25653/stat : 25653 (java) S 25496 25503 8289 0 -1 1077944384 32 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160190543600 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 253.87 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4670624 KiB
[startup+215.001 s]*
/proc/loadavg: 1.96 1.59 1.89 4/218 25653
/proc/meminfo: memFree=22338028/32770624 swapFree=67108860/67108860
[pid=25503] ppid=25496 vsize=14202692 memory=4670624 CPUtime=254.08 cores=0,2,4,6
/proc/25503/stat : 25503 (java) S 25496 25503 8289 0 -1 1077944320 143691 12503 1 1 25022 378 5 3 20 0 17 0 112062022 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140733769918288 140160753704695 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
/proc/25503/statm: 3550673 1167656 3480 1 0 3539287 0
[pid=25503/tid=25601] ppid=25496 vsize=14202692 memory=-8195925453750481479 CPUtime=206.99 cores=0,2,4,6
/proc/25503/task/25601/stat : 25601 (java) R 25496 25503 8289 0 -1 4202560 59991 12503 0 1 20658 33 5 3 20 0 17 0 112062048 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160757936848 140160373065192 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25604] ppid=25496 vsize=14202692 memory=4288 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25604/stat : 25604 (java) S 25496 25503 8289 0 -1 1077944384 3551 12503 0 1 635 83 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160353876240 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25606] ppid=25496 vsize=14202692 memory=2164 CPUtime=7.27 cores=0,2,4,6
/proc/25503/task/25606/stat : 25606 (java) S 25496 25503 8289 0 -1 1077944384 5404 12503 0 1 639 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160352823696 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25608] ppid=25496 vsize=14202692 memory=928 CPUtime=7.25 cores=0,2,4,6
/proc/25503/task/25608/stat : 25608 (java) S 25496 25503 8289 0 -1 1077944384 3110 12503 0 1 636 81 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160351771152 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25610] ppid=25496 vsize=14202692 memory=4872558044660077418 CPUtime=7.26 cores=0,2,4,6
/proc/25503/task/25610/stat : 25610 (java) S 25496 25503 8289 0 -1 1077944384 3136 12503 0 1 638 80 5 3 20 0 17 0 112062049 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160350718608 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25612] ppid=25496 vsize=14202692 memory=844 CPUtime=0.54 cores=0,2,4,6
/proc/25503/task/25612/stat : 25612 (java) S 25496 25503 8289 0 -1 1077944384 8148 12503 0 1 45 1 5 3 20 0 17 0 112062050 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160299436528 140160753715842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25613] ppid=25496 vsize=14202692 memory=18484 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25613/stat : 25613 (java) S 25496 25503 8289 0 -1 1077944384 64 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160298382816 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25615] ppid=25496 vsize=14202692 memory=3912 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25615/stat : 25615 (java) S 25496 25503 8289 0 -1 1077944384 55 12503 0 1 0 0 5 3 20 0 17 0 112062051 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160297330176 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25617] ppid=25496 vsize=14202692 memory=4068 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25617/stat : 25617 (java) S 25496 25503 8289 0 -1 1077944384 307 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160296278736 140160753723291 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25618] ppid=25496 vsize=14202692 memory=2492 CPUtime=7.7 cores=0,2,4,6
/proc/25503/task/25618/stat : 25618 (java) S 25496 25503 8289 0 -1 1077944384 17701 12503 0 1 758 4 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160295225328 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25619] ppid=25496 vsize=14202692 memory=0 CPUtime=7.83 cores=0,2,4,6
/proc/25503/task/25619/stat : 25619 (java) S 25496 25503 8289 0 -1 1077944384 20550 12503 0 1 772 3 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160294172784 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25621] ppid=25496 vsize=14202692 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/25503/task/25621/stat : 25621 (java) S 25496 25503 8289 0 -1 1077944384 18757 12503 0 1 231 5 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160293120240 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25625] ppid=25496 vsize=14202692 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25625/stat : 25625 (java) S 25496 25503 8289 0 -1 1077944384 3 12503 0 1 0 0 5 3 20 0 17 0 112062054 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160292067936 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25628] ppid=25496 vsize=14202692 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25503/task/25628/stat : 25628 (java) S 25496 25503 8289 0 -1 1077944384 370 12503 0 1 3 4 5 3 20 0 17 0 112062063 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160291015472 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25652] ppid=25496 vsize=14202692 memory=3543523872881588273 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25652/stat : 25652 (java) S 25496 25503 8289 0 -1 1077944384 359 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160286577264 140160753714901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
[pid=25503/tid=25653] ppid=25496 vsize=14202692 memory=3976735869735285297 CPUtime=0.08 cores=0,2,4,6
/proc/25503/task/25653/stat : 25653 (java) S 25496 25503 8289 0 -1 1077944384 32 12503 0 1 0 0 5 3 20 0 17 0 112083324 14543556608 1167656 18446744073709551615 4194304 4196468 140733769935744 140160190543600 140160753715842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140733769938864 140733769941649 140733769941649 140733769945039 0
Current children cumulated CPU time: 254.08 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4670624 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 215.045
CPU time (s): 254.137
CPU user time (s): 250.288
CPU system time (s): 3.84875
CPU usage (%): 118.178
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 4676368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.288
system time used= 3.84875
maximum resident set size= 4676368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156202
page faults= 2
swaps= 0
block input operations= 56
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14264
involuntary context switches= 627
# summary of solver processes directly reported to runsolver:
# pid: 25503
# total CPU time (s): 254.137
# total CPU user time (s): 250.288
# total CPU system time (s): 3.84875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76144 second user time and 1.3307 second system time
The end