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 (8392 MiB free)
memory of node 1: 16384 MiB (15190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273958-1502744365/watcher-4273958-1502744365 -o /tmp/evaluation-result-4273958-1502744365/solver-4273958-1502744365 -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 670136627 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273958-1502744365.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=20755, runsolver pid=20752
[startup+0.100089 s]*
/proc/loadavg: 2.09 2.00 1.81 2/201 20757
/proc/meminfo: memFree=24145888/32770624 swapFree=67108860/67108860
[pid=20755] ppid=20752 vsize=13358552 memory=14140 CPUtime=0 cores=1,3,5,7
/proc/20755/stat : 20755 (java) S 20752 20755 8289 0 -1 1077944320 3386 0 0 0 0 0 0 0 20 0 6 0 122251642 13679157248 3535 18446744073709551615 4194304 4196468 140725041739376 140725041721920 139713490964215 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
/proc/20755/statm: 3339638 3535 1901 1 0 3329135 0
[pid=20755/tid=20757] ppid=20752 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20757/stat : 20757 (java) R 20752 20755 8289 0 -1 4202560 2086 0 0 0 0 0 0 0 20 0 6 0 122251652 13679157248 3535 18446744073709551615 4194304 4196468 140725041739376 139713495200336 139713475044702 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20758] ppid=20752 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20758/stat : 20758 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122251652 13679157248 3535 18446744073709551615 4194304 4196468 140725041739376 139713410378512 139713490974421 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20759] ppid=20752 vsize=13358552 memory=140359757899392 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20759/stat : 20759 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122251652 13679157248 3535 18446744073709551615 4194304 4196468 140725041739376 139713409325968 139713490974421 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20760] ppid=20752 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20760/stat : 20760 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122251652 13679157248 3601 18446744073709551615 4194304 4196468 140725041739376 139713408273424 139713490974421 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20761] ppid=20752 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20761/stat : 20761 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122251652 13679157248 3601 18446744073709551615 4194304 4196468 140725041739376 139713088318608 139713490974421 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14140 KiB
[startup+0.210028 s]*
/proc/loadavg: 2.09 2.00 1.81 4/214 20770
/proc/meminfo: memFree=24137556/32770624 swapFree=67108860/67108860
[pid=20755] ppid=20752 vsize=13975920 memory=27496 CPUtime=0.07 cores=1,3,5,7
/proc/20755/stat : 20755 (java) S 20752 20755 8289 0 -1 1077944320 6687 0 0 0 6 1 0 0 20 0 15 0 122251642 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 140725041721920 139713490964215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
/proc/20755/statm: 3493980 6874 3330 1 0 3482759 0
[pid=20755/tid=20757] ppid=20752 vsize=13975920 memory=7077796292425249400 CPUtime=0.05 cores=1,3,5,7
/proc/20755/task/20757/stat : 20757 (java) R 20752 20755 8289 0 -1 4202560 4778 0 0 0 5 0 0 0 20 0 15 0 122251652 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139713495193960 140725041752377 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20758] ppid=20752 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20758/stat : 20758 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139713410378512 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20759] ppid=20752 vsize=13975920 memory=140359757899392 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20759/stat : 20759 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139713409325968 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20760] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20760/stat : 20760 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139713408273424 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20761] ppid=20752 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20761/stat : 20761 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139713088318608 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20762] ppid=20752 vsize=13975920 memory=140359757899392 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20762/stat : 20762 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712970323952 139713490975362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20763] ppid=20752 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20763/stat : 20763 (java) S 20752 20755 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712969270176 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20764] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20764/stat : 20764 (java) S 20752 20755 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712968217584 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20765] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20765/stat : 20765 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712967166160 139713490982811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20766] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20766/stat : 20766 (java) S 20752 20755 8289 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712966113776 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20767] ppid=20752 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20767/stat : 20767 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712965061232 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20768] ppid=20752 vsize=13975920 memory=140359757899392 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20768/stat : 20768 (java) S 20752 20755 8289 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712964008688 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20769] ppid=20752 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20769/stat : 20769 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712962956384 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20770] ppid=20752 vsize=13975920 memory=140359757899392 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20770/stat : 20770 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251662 14311342080 6874 18446744073709551615 4194304 4196468 140725041739376 139712961902896 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27496 KiB
[startup+0.310454 s]*
/proc/loadavg: 2.09 2.00 1.81 3/214 20770
/proc/meminfo: memFree=24123336/32770624 swapFree=67108860/67108860
[pid=20755] ppid=20752 vsize=13975920 memory=39168 CPUtime=0.23 cores=1,3,5,7
/proc/20755/stat : 20755 (java) S 20752 20755 8289 0 -1 1077944320 10083 0 0 0 21 2 0 0 20 0 15 0 122251642 14311342080 9792 18446744073709551615 4194304 4196468 140725041739376 140725041721920 139713490964215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
/proc/20755/statm: 3493980 9792 3489 1 0 3482759 0
[pid=20755/tid=20757] ppid=20752 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/20755/task/20757/stat : 20757 (java) R 20752 20755 8289 0 -1 4202560 7814 0 0 0 14 1 0 0 20 0 15 0 122251652 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139713495191488 139713490986141 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20758] ppid=20752 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20758/stat : 20758 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139713410378512 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20759] ppid=20752 vsize=13975920 memory=140359757906385 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20759/stat : 20759 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139713409325968 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20760] ppid=20752 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20760/stat : 20760 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139713408273424 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20761] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20761/stat : 20761 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139713088318608 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20762] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20762/stat : 20762 (java) S 20752 20755 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712970323952 139713490975362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20763] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20763/stat : 20763 (java) S 20752 20755 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712969270176 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20764] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20764/stat : 20764 (java) S 20752 20755 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122251654 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712968217584 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20765] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20765/stat : 20765 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712967166160 139713490982811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20766] ppid=20752 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20755/task/20766/stat : 20766 (java) S 20752 20755 8289 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 122251657 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712966113776 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20767] ppid=20752 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20755/task/20767/stat : 20767 (java) S 20752 20755 8289 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 122251657 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712965061232 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20768] ppid=20752 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20755/task/20768/stat : 20768 (java) S 20752 20755 8289 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 122251657 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712964008688 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20769] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20769/stat : 20769 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712962956384 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20770] ppid=20752 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20770/stat : 20770 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251662 14311342080 9815 18446744073709551615 4194304 4196468 140725041739376 139712961902896 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39168 KiB
[startup+0.700775 s]
/proc/loadavg: 2.09 2.00 1.81 3/214 20770
/proc/meminfo: memFree=24111004/32770624 swapFree=67108860/67108860
[pid=20755] ppid=20752 vsize=13977988 memory=67060 CPUtime=0.94 cores=1,3,5,7
/proc/20755/stat : 20755 (java) S 20752 20755 8289 0 -1 1077944320 13948 0 0 0 90 4 0 0 20 0 15 0 122251642 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 140725041721920 139713490964215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
/proc/20755/statm: 3494497 16765 3728 1 0 3483271 0
[pid=20755/tid=20757] ppid=20752 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/20755/task/20757/stat : 20757 (java) R 20752 20755 8289 0 -1 4202560 10563 0 0 0 51 3 0 0 20 0 15 0 122251652 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139713495184400 139713475044702 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20758] ppid=20752 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20758/stat : 20758 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139713410378512 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20759] ppid=20752 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20759/stat : 20759 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251652 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139713409325968 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20760] ppid=20752 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20760/stat : 20760 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139713408273424 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20761] ppid=20752 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20761/stat : 20761 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139713088318608 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20762] ppid=20752 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20762/stat : 20762 (java) S 20752 20755 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122251654 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712970323952 139713490975362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20763] ppid=20752 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20763/stat : 20763 (java) S 20752 20755 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122251654 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712969270176 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20764] ppid=20752 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20764/stat : 20764 (java) S 20752 20755 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122251654 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712968217584 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20765] ppid=20752 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20765/stat : 20765 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712967166160 139713490982811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20766] ppid=20752 vsize=13977988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20755/task/20766/stat : 20766 (java) R 20752 20755 8289 0 -1 4202560 912 0 0 0 10 0 0 0 20 0 15 0 122251657 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712966105104 139713472507571 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20767] ppid=20752 vsize=13977988 memory=7524860340579717849 CPUtime=0.09 cores=1,3,5,7
/proc/20755/task/20767/stat : 20767 (java) R 20752 20755 8289 0 -1 4202560 329 0 0 0 9 0 0 0 20 0 15 0 122251657 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712965047696 139713475883269 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20768] ppid=20752 vsize=13977988 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/20755/task/20768/stat : 20768 (java) S 20752 20755 8289 0 -1 1077944384 760 0 0 0 19 0 0 0 20 0 15 0 122251657 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712964008688 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20769] ppid=20752 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20769/stat : 20769 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712962956384 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20770] ppid=20752 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20770/stat : 20770 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251662 14313459712 16765 18446744073709551615 4194304 4196468 140725041739376 139712961902896 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67060 KiB
[startup+0.893325 s]
# the end of solver process 20755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.21743 s, system=0.062028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800858 s]
/proc/loadavg: 2.09 2.00 1.81 3/214 20770
/proc/meminfo: memFree=24111004/32770624 swapFree=67108860/67108860
[pid=20755] ppid=20752 vsize=13980036 memory=78020 CPUtime=1.09 cores=1,3,5,7
/proc/20755/stat : 20755 (java) S 20752 20755 8289 0 -1 1077944320 14646 0 0 0 104 5 0 0 20 0 15 0 122251642 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 140725041721920 139713490964215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
/proc/20755/statm: 3495009 19505 3729 1 0 3483783 0
[pid=20755/tid=20757] ppid=20752 vsize=13980036 memory=140359598376944 CPUtime=0.64 cores=1,3,5,7
/proc/20755/task/20757/stat : 20757 (java) R 20752 20755 8289 0 -1 4202560 11197 0 0 0 61 3 0 0 20 0 15 0 122251652 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139713495201008 139713490976150 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20758] ppid=20752 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20758/stat : 20758 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139713410378512 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20759] ppid=20752 vsize=13980036 memory=-8970745359494625598 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20759/stat : 20759 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251652 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139713409325968 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20760] ppid=20752 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20760/stat : 20760 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139713408273424 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20761] ppid=20752 vsize=13980036 memory=3912 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20761/stat : 20761 (java) S 20752 20755 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122251652 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139713088318608 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20762] ppid=20752 vsize=13980036 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20762/stat : 20762 (java) S 20752 20755 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122251654 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712970323952 139713490975362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20763] ppid=20752 vsize=13980036 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20763/stat : 20763 (java) S 20752 20755 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122251654 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712969270176 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20764] ppid=20752 vsize=13980036 memory=3192 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20764/stat : 20764 (java) S 20752 20755 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122251654 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712968217584 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20765] ppid=20752 vsize=13980036 memory=7066664 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20765/stat : 20765 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712967166160 139713490982811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20766] ppid=20752 vsize=13980036 memory=1156 CPUtime=0.12 cores=1,3,5,7
/proc/20755/task/20766/stat : 20766 (java) S 20752 20755 8289 0 -1 1077944384 932 0 0 0 12 0 0 0 20 0 15 0 122251657 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712966113776 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20767] ppid=20752 vsize=13980036 memory=2368 CPUtime=0.1 cores=1,3,5,7
/proc/20755/task/20767/stat : 20767 (java) S 20752 20755 8289 0 -1 1077944384 340 0 0 0 10 0 0 0 20 0 15 0 122251657 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712965061232 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20768] ppid=20752 vsize=13980036 memory=56300 CPUtime=0.21 cores=1,3,5,7
/proc/20755/task/20768/stat : 20768 (java) R 20752 20755 8289 0 -1 4202560 793 0 0 0 21 0 0 0 20 0 15 0 122251657 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712964008688 139713490976150 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20769] ppid=20752 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20769/stat : 20769 (java) S 20752 20755 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122251657 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712962956384 139713490974421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
[pid=20755/tid=20770] ppid=20752 vsize=13980036 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20755/task/20770/stat : 20770 (java) S 20752 20755 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122251662 14315556864 19505 18446744073709551615 4194304 4196468 140725041739376 139712961902896 139713490975362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140725041746287 140725041746473 140725041746473 140725041749967 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 78020 KiB
Child status: 0
Real time (s): 0.893377
CPU time (s): 1.27946
CPU user time (s): 1.21743
CPU system time (s): 0.062028
CPU usage (%): 143.216
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 78020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21743
system time used= 0.062028
maximum resident set size= 86048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15504
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= 1679
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 20755
# total CPU time (s): 1.27946
# total CPU user time (s): 1.21743
# total CPU system time (s): 0.062028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027173 second user time and 0.04831 second system time
The end