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 (11799 MiB free)
memory of node 1: 16384 MiB (15380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273567-1502731888/watcher-4273567-1502731888 -o /tmp/evaluation-result-4273567-1502731888/solver-4273567-1502731888 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1619124365 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273567-1502731888.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18173, runsolver pid=18170
[startup+0.100059 s]*
/proc/loadavg: 1.42 1.39 1.46 3/204 18179
/proc/meminfo: memFree=27827268/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13358552 memory=14668 CPUtime=0.01 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 3509 0 0 0 1 0 0 0 20 0 6 0 121003942 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3339638 3667 1913 1 0 3329135 0
[pid=18173/tid=18175] ppid=18170 vsize=13358552 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 2212 0 0 0 1 0 0 0 20 0 6 0 121003951 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140710258709072 140710238553438 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121003952 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13358552 memory=139804582147712 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121003952 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121003952 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121003952 13679157248 3667 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14668 KiB
[startup+0.21041 s]*
/proc/loadavg: 1.42 1.39 1.46 4/213 18188
/proc/meminfo: memFree=27816512/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13975920 memory=30488 CPUtime=0.1 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 6954 0 0 0 9 1 0 0 20 0 15 0 121003942 14311342080 7622 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3493980 7622 3381 1 0 3482759 0
[pid=18173/tid=18175] ppid=18170 vsize=13976944 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 5135 0 0 0 7 1 0 0 20 0 15 0 121003951 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140710258662400 140710247152669 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13976944 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13976944 memory=139804582147712 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121003952 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13976944 memory=139804582147712 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121003953 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121003954 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709732132512 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121003954 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709731079408 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 121003956 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13976944 memory=139804582147712 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 15 0 121003956 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13976944 memory=139804582147712 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003960 14312390656 7886 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30488 KiB
[startup+0.310386 s]*
/proc/loadavg: 1.42 1.39 1.46 4/213 18188
/proc/meminfo: memFree=27807156/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13975920 memory=39800 CPUtime=0.27 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 10662 0 0 0 24 3 0 0 20 0 15 0 121003942 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3493980 9950 3548 1 0 3482759 0
[pid=18173/tid=18175] ppid=18170 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 8310 0 0 0 15 2 0 0 20 0 15 0 121003951 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140710258699104 140710254494877 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13975920 memory=139804582154705 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121003952 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121003953 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121003954 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709732132512 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121003954 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709731079408 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 121003956 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 121003956 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 453 0 0 0 5 0 0 0 20 0 15 0 121003956 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003960 14311342080 9950 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39800 KiB
[startup+0.707338 s]
/proc/loadavg: 1.42 1.39 1.46 4/213 18188
/proc/meminfo: memFree=27790840/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13977988 memory=69148 CPUtime=1.04 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 13952 0 0 0 99 5 0 0 20 0 15 0 121003942 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3494497 17287 3739 1 0 3483271 0
[pid=18173/tid=18175] ppid=18170 vsize=13977988 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 10451 0 0 0 53 4 0 0 20 0 15 0 121003951 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140710258706960 140710236338856 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003952 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121003952 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121003953 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121003954 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709732132512 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121003954 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709731079408 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 793 0 0 0 12 0 0 0 20 0 15 0 121003956 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13977988 memory=7524860340579717849 CPUtime=0.13 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 530 0 0 0 13 0 0 0 20 0 15 0 121003956 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13977988 memory=6944656592387989600 CPUtime=0.2 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) R 18170 18173 8289 0 -1 4202560 796 0 0 0 20 0 0 0 20 0 15 0 121003956 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709726867448 140710233808735 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121003960 14313459712 17287 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69148 KiB
[startup+1.50073 s]
/proc/loadavg: 1.42 1.39 1.46 6/213 18188
/proc/meminfo: memFree=27742948/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13980036 memory=234684 CPUtime=3.35 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 31177 0 0 0 322 13 0 0 20 0 15 0 121003942 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3495009 58671 3788 1 0 3483783 0
[pid=18173/tid=18175] ppid=18170 vsize=13980036 memory=7739268204210307172 CPUtime=1.32 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 14550 0 0 0 126 6 0 0 20 0 15 0 121003951 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140710258702816 140710254494781 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13980036 memory=7739268204210307172 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 121003952 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13980036 memory=279608947890176 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 15 0 121003952 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13980036 memory=7523378971541661288 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 121003952 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13980036 memory=4639924115538006630 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 773 0 0 0 1 0 0 0 20 0 15 0 121003952 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 121003953 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709732132512 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13980036 memory=139804474055744 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709731079408 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13980036 memory=-8774313645642428999 CPUtime=0.74 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18170 18173 8289 0 -1 4202560 4235 0 0 0 73 1 0 0 20 0 15 0 121003956 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709728961520 140710254494298 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13980036 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) R 18170 18173 8289 0 -1 4202560 5916 0 0 0 73 1 0 0 20 0 15 0 121003956 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709727910224 140710254494298 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13980036 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 3922 0 0 0 43 1 0 0 20 0 15 0 121003956 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121003960 14315556864 58671 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 13980036 KiB
################
# More data... #
################
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 75074 0 0 0 235586 67 0 0 20 0 15 0 121003951 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710258711184 140709862483633 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13980036 memory=2336772 CPUtime=14.78 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 26275 0 0 0 1391 87 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13980036 memory=2336772 CPUtime=14.76 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 29855 0 0 0 1390 86 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13980036 memory=2336772 CPUtime=14.76 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 28566 0 0 0 1394 82 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13980036 memory=2336772 CPUtime=14.82 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 31751 0 0 0 1398 84 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13980036 memory=2336772 CPUtime=7.44 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 39980 0 0 0 674 70 0 0 20 0 15 0 121003953 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709732132576 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709731079424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13980036 memory=15880 CPUtime=2.26 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 8283 0 0 0 224 2 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2.3 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 9615 0 0 0 229 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0.54 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 5384 0 0 0 53 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13980036 memory=1228 CPUtime=1.48 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1660 0 0 0 60 88 0 0 20 0 15 0 121003960 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 2429.77 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 2336772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.65 1.54 1.46 3/214 18513
/proc/meminfo: memFree=25901120/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2490.59 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 263518 0 0 0 248559 500 0 0 20 0 15 0 121003942 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3495009 584193 3812 1 0 3483783 0
[pid=18173/tid=18175] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2416.01 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 76664 0 0 0 241534 67 0 0 20 0 15 0 121003951 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710258711184 140709862647528 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.06 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 26661 0 0 0 1417 89 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.04 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 30760 0 0 0 1416 88 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.04 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 29446 0 0 0 1420 84 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.1 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 32732 0 0 0 1425 85 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13980036 memory=2336772 CPUtime=7.65 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 40799 0 0 0 693 72 0 0 20 0 15 0 121003953 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709732132576 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709731079424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2.26 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 8291 0 0 0 224 2 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2.3 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 9621 0 0 0 229 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0.54 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 5390 0 0 0 53 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13980036 memory=2336772 CPUtime=1.52 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1706 0 0 0 62 90 0 0 20 0 15 0 121003960 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 2490.59 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 2336772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.3 s]
/proc/loadavg: 1.73 1.57 1.47 3/214 18513
/proc/meminfo: memFree=25899116/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2520.01 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 265570 0 0 0 251497 504 0 0 20 0 15 0 121003942 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3495009 584193 3812 1 0 3483783 0
[pid=18173/tid=18175] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2444.72 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 77258 0 0 0 244405 67 0 0 20 0 15 0 121003951 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710258711200 140710234198060 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.2 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 26844 0 0 0 1430 90 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13980036 memory=279608948589656 CPUtime=15.19 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 31422 0 0 0 1430 89 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.18 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 29583 0 0 0 1434 84 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13980036 memory=0 CPUtime=15.24 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 32894 0 0 0 1438 86 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13980036 memory=2336772 CPUtime=7.75 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 41076 0 0 0 703 72 0 0 20 0 15 0 121003953 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709732132576 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709731079424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13980036 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13980036 memory=2164 CPUtime=2.26 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 8293 0 0 0 224 2 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13980036 memory=156207960591888 CPUtime=2.3 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 9623 0 0 0 229 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13980036 memory=1296 CPUtime=0.54 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 5392 0 0 0 53 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13980036 memory=4168 CPUtime=1.52 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1737 0 0 0 62 90 0 0 20 0 15 0 121003960 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 2336772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.34 s]
# the end of solver process 18173 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515 s, system=5.06376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.3 s]
/proc/loadavg: 1.73 1.57 1.47 3/214 18513
/proc/meminfo: memFree=25899116/32770624 swapFree=67108860/67108860
[pid=18173] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2520.01 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18170 18173 8289 0 -1 1077944320 265570 0 0 0 251497 504 0 0 20 0 15 0 121003942 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140730408457232 140710254472951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
/proc/18173/statm: 3495009 584193 3812 1 0 3483783 0
[pid=18173/tid=18175] ppid=18170 vsize=13980036 memory=2336772 CPUtime=2444.72 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18170 18173 8289 0 -1 4202560 77258 0 0 0 244405 67 0 0 20 0 15 0 121003951 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710258711200 140710234198060 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18176] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.2 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18170 18173 8289 0 -1 1077944384 26844 0 0 0 1430 90 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710188907024 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18177] ppid=18170 vsize=13980036 memory=279608948589656 CPUtime=15.19 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18170 18173 8289 0 -1 1077944384 31422 0 0 0 1430 89 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710187854480 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18178] ppid=18170 vsize=13980036 memory=2336772 CPUtime=15.18 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18170 18173 8289 0 -1 1077944384 29583 0 0 0 1434 84 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710186801424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18179] ppid=18170 vsize=13980036 memory=0 CPUtime=15.24 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18170 18173 8289 0 -1 1077944384 32894 0 0 0 1438 86 0 0 20 0 15 0 121003952 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140710185748880 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18180] ppid=18170 vsize=13980036 memory=2336772 CPUtime=7.75 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18170 18173 8289 0 -1 1077944384 41076 0 0 0 703 72 0 0 20 0 15 0 121003953 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709733186288 140710254484098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18181] ppid=18170 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18170 18173 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709732132576 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18182] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18170 18173 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 121003954 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709731079424 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18183] ppid=18170 vsize=13980036 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709730027984 140710254491547 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18184] ppid=18170 vsize=13980036 memory=2164 CPUtime=2.26 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18170 18173 8289 0 -1 1077944384 8293 0 0 0 224 2 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709728975088 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18185] ppid=18170 vsize=13980036 memory=156207960591888 CPUtime=2.3 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18170 18173 8289 0 -1 1077944384 9623 0 0 0 229 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709727922544 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18186] ppid=18170 vsize=13980036 memory=1296 CPUtime=0.54 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18170 18173 8289 0 -1 1077944384 5392 0 0 0 53 1 0 0 20 0 15 0 121003956 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709726869488 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18187] ppid=18170 vsize=13980036 memory=2336772 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18170 18173 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121003957 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709725817184 140710254483157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
[pid=18173/tid=18188] ppid=18170 vsize=13980036 memory=4168 CPUtime=1.52 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18170 18173 8289 0 -1 1077944384 1737 0 0 0 62 90 0 0 20 0 15 0 121003960 14315556864 584193 18446744073709551615 4194304 4196468 140730408474688 140709724765232 140710254484098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 8343552 140730408481134 140730408481321 140730408481321 140730408484815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 2336772 KiB
Child status: 143
Real time (s): 2471.34
CPU time (s): 2520.07
CPU user time (s): 2515
CPU system time (s): 5.06376
CPU usage (%): 101.972
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 2498128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515
system time used= 5.06376
maximum resident set size= 2517224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260707
involuntary context switches= 8283
# summary of solver processes directly reported to runsolver:
# pid: 18173
# total CPU time (s): 2520.07
# total CPU user time (s): 2515
# total CPU system time (s): 5.06376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7895 second user time and 21.8459 second system time
The end