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 (15210 MiB free)
memory of node 1: 16384 MiB (15498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274113-1502809780/watcher-4274113-1502809780 -o /tmp/evaluation-result-4274113-1502809780/solver-4274113-1502809780 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2120248528 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274113-1502809780.xml
running on 4 cores: 0,2,4,6
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=19996, runsolver pid=19993
[startup+0.100187 s]*
/proc/loadavg: 3.01 2.23 1.81 3/195 19997
/proc/meminfo: memFree=31445744/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13356344 memory=10696 CPUtime=0 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 2490 0 0 0 0 0 0 0 20 0 6 0 8593128 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3339086 2674 1213 1 0 3329056 0
[pid=19996/tid=19998] ppid=19993 vsize=13356344 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 1182 0 0 0 0 0 0 0 20 0 6 0 8593138 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 139844464080216 139844445642800 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13356344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 8593138 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13356344 memory=140492055414400 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 8593138 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13356344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 8593138 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13356344 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 8593138 13676896256 2674 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 10696 KiB
[startup+0.209816 s]*
/proc/loadavg: 3.01 2.23 1.81 3/209 20011
/proc/meminfo: memFree=31431696/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13975920 memory=30640 CPUtime=0.09 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 6965 0 0 0 9 0 0 0 20 0 15 0 8593128 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3493980 7660 3368 1 0 3482759 0
[pid=19996/tid=19998] ppid=19993 vsize=13975920 memory=7077796292425249400 CPUtime=0.07 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 4987 0 0 0 7 0 0 0 20 0 15 0 8593138 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844464042352 139844459861149 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13975920 memory=140492055414400 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13975920 memory=140492055414400 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844005152288 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844004099440 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) S 19993 19996 2357 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 8593143 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139844001995120 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593143 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139843933825264 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13975920 memory=140492055414400 CPUtime=0.01 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) R 19993 19996 2357 0 -1 4202560 300 0 0 0 1 0 0 0 20 0 15 0 8593143 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459860570 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13975920 memory=140492055414400 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593147 14311342080 7660 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30640 KiB
[startup+0.312624 s]*
/proc/loadavg: 3.01 2.23 1.81 4/209 20011
/proc/meminfo: memFree=31420092/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13976944 memory=40096 CPUtime=0.25 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 10290 0 0 0 23 2 0 0 20 0 15 0 8593128 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3494236 10024 3548 1 0 3483015 0
[pid=19996/tid=19998] ppid=19993 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 8047 0 0 0 15 2 0 0 20 0 15 0 8593138 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844464039008 139844452518445 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13975920 memory=140492055421393 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844005152288 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8593140 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844004099440 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) S 19993 19996 2357 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 8593143 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139844001995120 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13976944 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) S 19993 19996 2357 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 8593143 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 139843933825264 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13976944 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) S 19993 19996 2357 0 -1 1077944384 386 0 0 0 5 0 0 0 20 0 15 0 8593143 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14312390656 10024 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593147 14311342080 10024 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 40096 KiB
[startup+0.701657 s]
/proc/loadavg: 3.01 2.23 1.81 3/209 20011
/proc/meminfo: memFree=31407804/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13977988 memory=71512 CPUtime=1.04 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 15171 0 0 0 99 5 0 0 20 0 15 0 8593128 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3494497 17878 3736 1 0 3483271 0
[pid=19996/tid=19998] ppid=19993 vsize=13977988 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 10464 0 0 0 52 3 0 0 20 0 15 0 8593138 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844464077456 139844087576574 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8593140 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8593140 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844005152288 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8593140 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844004099440 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13977988 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13977988 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) R 19993 19996 2357 0 -1 4202560 1054 0 0 0 13 0 0 0 20 0 15 0 8593143 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139844001980280 139844452128672 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13977988 memory=735222785817012323 CPUtime=0.13 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) R 19993 19996 2357 0 -1 4202560 1198 0 0 0 13 0 0 0 20 0 15 0 8593143 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139843933811144 139844444965114 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13977988 memory=6944656592455097440 CPUtime=0.2 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) S 19993 19996 2357 0 -1 1077944384 1081 0 0 0 20 0 0 0 20 0 15 0 8593143 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593147 14313459712 17878 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71512 KiB
[startup+1.50078 s]
/proc/loadavg: 3.01 2.24 1.82 3/209 20011
/proc/meminfo: memFree=31373620/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13980036 memory=117284 CPUtime=2.19 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 20671 0 0 0 213 6 0 0 20 0 15 0 8593128 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3495009 29321 3755 1 0 3483783 0
[pid=19996/tid=19998] ppid=19993 vsize=13980036 memory=6082224990661994857 CPUtime=1.35 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 13346 0 0 0 131 4 0 0 20 0 15 0 8593138 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844464076512 139844443919710 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13980036 memory=6082224990661994857 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13980036 memory=280983874295808 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13980036 memory=8099552828367923046 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13980036 memory=7236229500900889449 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13980036 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844005152288 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13980036 memory=140491937258560 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 29321 18446744073709551615 4194304 4196468 140733161073696 139844004099440 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13980036 memory=-8774313645642428999 CPUtime=0.28 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) R 19993 19996 2357 0 -1 4202560 1594 0 0 0 28 0 0 0 20 0 15 0 8593143 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139844001995120 139844440539520 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13980036 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) S 19993 19996 2357 0 -1 1077944384 1522 0 0 0 19 0 0 0 20 0 15 0 8593143 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139843933825264 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13980036 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) S 19993 19996 2357 0 -1 1077944384 2800 0 0 0 34 0 0 0 20 0 15 0 8593143 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8593147 14315556864 29375 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 117284 KiB
[startup+1.81012 s]
# the end of solver process 19996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.8153 s, system=0.161846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60961 s]
/proc/loadavg: 3.01 2.24 1.82 3/209 20011
/proc/meminfo: memFree=31373620/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13980036 memory=130000 CPUtime=2.39 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 23067 0 0 0 231 8 0 0 20 0 15 0 8593128 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3495009 32500 3757 1 0 3483783 0
[pid=19996/tid=19998] ppid=19993 vsize=13980036 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 15454 0 0 0 140 6 0 0 20 0 15 0 8593138 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844464071296 139844459851158 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13980036 memory=7234590185435522385 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13980036 memory=2541882443521 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8593138 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13980036 memory=215418557 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13980036 memory=-6366808295634154084 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844005152288 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13980036 memory=6076293112192389712 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844004099440 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13980036 memory=6154538792250073449 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13980036 memory=5450916471307863870 CPUtime=0.31 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) R 19993 19996 2357 0 -1 4202560 1704 0 0 0 31 0 0 0 20 0 15 0 8593143 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139844001982432 139844443224012 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13980036 memory=8390361644446492005 CPUtime=0.21 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) R 19993 19996 2357 0 -1 4202560 1558 0 0 0 21 0 0 0 20 0 15 0 8593143 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139843933821632 139844444620437 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13980036 memory=7886766292050458933 CPUtime=0.38 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) R 19993 19996 2357 0 -1 1077944384 2909 0 0 0 38 0 0 0 20 0 15 0 8593143 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459850370 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13980036 memory=5787776862631575649 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8593147 14315556864 32500 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 130000 KiB
[startup+1.80067 s]
/proc/loadavg: 3.01 2.24 1.82 3/209 20011
/proc/meminfo: memFree=31373620/32770624 swapFree=67108860/67108860
[pid=19996] ppid=19993 vsize=13980036 memory=239544 CPUtime=2.94 cores=0,2,4,6
/proc/19996/stat : 19996 (java) S 19993 19996 2357 0 -1 1077944320 24546 0 0 0 279 15 0 0 20 0 15 0 8593128 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 140733161056240 139844459839223 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
/proc/19996/statm: 3495009 59886 3783 1 0 3483783 0
[pid=19996/tid=19998] ppid=19993 vsize=13980036 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/19996/task/19998/stat : 19998 (java) R 19993 19996 2357 0 -1 4202560 15543 0 0 0 153 7 0 0 20 0 15 0 8593138 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844464075376 139844089460236 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=19999] ppid=19993 vsize=13980036 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19996/task/19999/stat : 19999 (java) S 19993 19996 2357 0 -1 1077944384 160 0 0 0 2 1 0 0 20 0 15 0 8593138 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844416805520 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20000] ppid=19993 vsize=13980036 memory=4137293581110450563 CPUtime=0.03 cores=0,2,4,6
/proc/19996/task/20000/stat : 20000 (java) S 19993 19996 2357 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 15 0 8593138 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844415752720 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20001] ppid=19993 vsize=13980036 memory=6944656592455360608 CPUtime=0.03 cores=0,2,4,6
/proc/19996/task/20001/stat : 20001 (java) S 19993 19996 2357 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 15 0 8593138 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844414699920 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20002] ppid=19993 vsize=13980036 memory=8761640388318109335 CPUtime=0.03 cores=0,2,4,6
/proc/19996/task/20002/stat : 20002 (java) S 19993 19996 2357 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 8593138 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844413647120 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20003] ppid=19993 vsize=13980036 memory=-7522837583129307271 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20003/stat : 20003 (java) S 19993 19996 2357 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844006206320 139844459850370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20004] ppid=19993 vsize=13980036 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20004/stat : 20004 (java) S 19993 19996 2357 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844005152352 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20005] ppid=19993 vsize=13980036 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20005/stat : 20005 (java) S 19993 19996 2357 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8593140 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844004099456 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20006] ppid=19993 vsize=13980036 memory=3054156605268465310 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20006/stat : 20006 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844003047760 139844459857819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20007] ppid=19993 vsize=13980036 memory=-8707038579349950309 CPUtime=0.41 cores=0,2,4,6
/proc/19996/task/20007/stat : 20007 (java) R 19993 19996 2357 0 -1 4202560 1846 0 0 0 41 0 0 0 20 0 15 0 8593143 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139844001995120 139844443339421 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20008] ppid=19993 vsize=13980036 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/19996/task/20008/stat : 20008 (java) R 19993 19996 2357 0 -1 4202560 1847 0 0 0 31 0 0 0 20 0 15 0 8593143 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139843933825264 139844439496128 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20009] ppid=19993 vsize=13980036 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/19996/task/20009/stat : 20009 (java) S 19993 19996 2357 0 -1 1077944384 3273 0 0 0 40 0 0 0 20 0 15 0 8593143 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139843932772464 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20010] ppid=19993 vsize=13980036 memory=31204 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20010/stat : 20010 (java) S 19993 19996 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8593143 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139843931719904 139844459849429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
[pid=19996/tid=20011] ppid=19993 vsize=13980036 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19996/task/20011/stat : 20011 (java) S 19993 19996 2357 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8593147 14315556864 59886 18446744073709551615 4194304 4196468 140733161073696 139843930668208 139844459850370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140733161079153 140733161079340 140733161079340 140733161082831 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 239544 KiB
Child status: 0
Real time (s): 1.81017
CPU time (s): 2.97715
CPU user time (s): 2.8153
CPU system time (s): 0.161846
CPU usage (%): 164.468
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 239544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.8153
system time used= 0.161846
maximum resident set size= 239940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2142
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 19996
# total CPU time (s): 2.97715
# total CPU user time (s): 2.8153
# total CPU system time (s): 0.161846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038194 second user time and 0.050506 second system time
The end