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 (12964 MiB free)
memory of node 1: 16384 MiB (13644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298802-1532814426/watcher-4298802-1532814426 -o /tmp/evaluation-result-4298802-1532814426/solver-4298802-1532814426 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298802-1532814426.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=32603, runsolver pid=32600
[startup+0.100059 s]*
/proc/loadavg: 1.65 1.60 1.50 5/220 32618
/proc/meminfo: memFree=27229924/32770624 swapFree=67108856/67108860
[pid=32603] ppid=32600 vsize=10661052 memory=28372 CPUtime=0.12 cores=1,3,5,7
/proc/32603/stat : 32603 (java) S 32600 32603 31407 0 -1 1077944320 4969 0 0 0 11 1 0 0 20 0 15 0 99005749 10916917248 7093 33554432000 4194304 4196468 140724991767360 140724991749904 139864414056183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
/proc/32603/statm: 2665263 7093 2839 1 0 2627263 0
[pid=32603/tid=32605] ppid=32600 vsize=10661052 memory=-8197568871503531648 CPUtime=0.09 cores=1,3,5,7
/proc/32603/task/32605/stat : 32605 (java) R 32600 32603 31407 0 -1 4202560 2856 0 0 0 8 1 0 0 20 0 15 0 99005749 10916917248 7093 33554432000 4194304 4196468 140724991767360 139864418284968 139864406293310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32606] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32606/stat : 32606 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 7093 33554432000 4194304 4196468 140724991767360 139864340130576 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32607] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32607/stat : 32607 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 7093 33554432000 4194304 4196468 140724991767360 139864339078032 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32608] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32608/stat : 32608 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 7093 33554432000 4194304 4196468 140724991767360 139864338025488 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32609] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32609/stat : 32609 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 7093 33554432000 4194304 4196468 140724991767360 139864336972944 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32610] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32610/stat : 32610 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 7093 33554432000 4194304 4196468 140724991767360 139863906150384 139864414067330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32611] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32611/stat : 32611 (java) S 32600 32603 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863905096608 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32612] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32612/stat : 32612 (java) S 32600 32603 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863904044016 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32613] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32613/stat : 32613 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863902992592 139864414074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32614] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32614/stat : 32614 (java) R 32600 32603 31407 0 -1 4202560 468 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863901931856 139864397462969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32615] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32615/stat : 32615 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863900887664 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32616] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0.01 cores=1,3,5,7
/proc/32603/task/32616/stat : 32616 (java) R 32600 32603 31407 0 -1 4202560 302 0 0 0 1 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863899835120 139864393190912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32617] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32617/stat : 32617 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863898782816 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32618] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32618/stat : 32618 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 7159 33554432000 4194304 4196468 140724991767360 139863897729328 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28372 KiB
[startup+0.210738 s]*
/proc/loadavg: 1.65 1.60 1.50 5/220 32618
/proc/meminfo: memFree=27218512/32770624 swapFree=67108856/67108860
[pid=32603] ppid=32600 vsize=10661052 memory=41068 CPUtime=0.35 cores=1,3,5,7
/proc/32603/stat : 32603 (java) S 32600 32603 31407 0 -1 1077944320 7807 0 0 0 33 2 0 0 20 0 15 0 99005749 10916917248 10267 33554432000 4194304 4196468 140724991767360 140724991749904 139864414056183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
/proc/32603/statm: 2665263 10267 3000 1 0 2627263 0
[pid=32603/tid=32605] ppid=32600 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/32603/task/32605/stat : 32605 (java) R 32600 32603 31407 0 -1 4202560 4634 0 0 0 18 1 0 0 20 0 15 0 99005749 10916917248 10267 33554432000 4194304 4196468 140724991767360 139864418287120 139864399751209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32606] ppid=32600 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32606/stat : 32606 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 10267 33554432000 4194304 4196468 140724991767360 139864340130576 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32607] ppid=32600 vsize=10661052 memory=140615441898777 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32607/stat : 32607 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 10267 33554432000 4194304 4196468 140724991767360 139864339078032 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32608] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32608/stat : 32608 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 10267 33554432000 4194304 4196468 140724991767360 139864338025488 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32609] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32609/stat : 32609 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005750 10916917248 10267 33554432000 4194304 4196468 140724991767360 139864336972944 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32610] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32610/stat : 32610 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863906150384 139864414067330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32611] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32611/stat : 32611 (java) S 32600 32603 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863905096608 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32612] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32612/stat : 32612 (java) S 32600 32603 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99005752 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863904044016 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32613] ppid=32600 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32613/stat : 32613 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863902992592 139864414074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32614] ppid=32600 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32603/task/32614/stat : 32614 (java) R 32600 32603 31407 0 -1 4202560 682 0 0 0 2 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863901940208 139864407161905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32615] ppid=32600 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32603/task/32615/stat : 32615 (java) R 32600 32603 31407 0 -1 4202560 285 0 0 0 2 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863900887664 139864394788080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32616] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0.08 cores=1,3,5,7
/proc/32603/task/32616/stat : 32616 (java) S 32600 32603 31407 0 -1 1077944384 844 0 0 0 8 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863899835120 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32617] ppid=32600 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32617/stat : 32617 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863898782816 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32618] ppid=32600 vsize=10661052 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32618/stat : 32618 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916917248 10267 33554432000 4194304 4196468 140724991767360 139863897729328 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 41068 KiB
[startup+0.315089 s]*
/proc/loadavg: 1.65 1.60 1.50 5/220 32618
/proc/meminfo: memFree=27211812/32770624 swapFree=67108856/67108860
[pid=32603] ppid=32600 vsize=10661128 memory=47152 CPUtime=0.62 cores=1,3,5,7
/proc/32603/stat : 32603 (java) S 32600 32603 31407 0 -1 1077944320 8360 0 0 0 59 3 0 0 20 0 15 0 99005749 10916995072 11788 33554432000 4194304 4196468 140724991767360 140724991749904 139864414056183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
/proc/32603/statm: 2665282 11788 3072 1 0 2627263 0
[pid=32603/tid=32605] ppid=32600 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32603/task/32605/stat : 32605 (java) R 32600 32603 31407 0 -1 4202560 4974 0 0 0 28 2 0 0 20 0 15 0 99005749 10916995072 11788 33554432000 4194304 4196468 140724991767360 139864418290816 139864406290175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32606] ppid=32600 vsize=10661128 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32606/stat : 32606 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 11788 33554432000 4194304 4196468 140724991767360 139864340130576 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32607] ppid=32600 vsize=10661128 memory=140615441898239 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32607/stat : 32607 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 11788 33554432000 4194304 4196468 140724991767360 139864339078032 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32608] ppid=32600 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32608/stat : 32608 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 11788 33554432000 4194304 4196468 140724991767360 139864338025488 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32609] ppid=32600 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32609/stat : 32609 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 11788 33554432000 4194304 4196468 140724991767360 139864336972944 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32610] ppid=32600 vsize=10661128 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32610/stat : 32610 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863906150384 139864414067330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32611] ppid=32600 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32611/stat : 32611 (java) S 32600 32603 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863905096608 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32612] ppid=32600 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32612/stat : 32612 (java) S 32600 32603 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863904044016 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32613] ppid=32600 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32613/stat : 32613 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863902992592 139864414074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32614] ppid=32600 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/32603/task/32614/stat : 32614 (java) S 32600 32603 31407 0 -1 1077944384 709 0 0 0 6 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863901940208 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32615] ppid=32600 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32603/task/32615/stat : 32615 (java) R 32600 32603 31407 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863900887664 139864400078454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32616] ppid=32600 vsize=10661128 memory=140615441868416 CPUtime=0.16 cores=1,3,5,7
/proc/32603/task/32616/stat : 32616 (java) S 32600 32603 31407 0 -1 1077944384 969 0 0 0 16 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863899835120 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32617] ppid=32600 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32617/stat : 32617 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863898782816 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32618] ppid=32600 vsize=10661128 memory=140615441868416 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32618/stat : 32618 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 11788 33554432000 4194304 4196468 140724991767360 139863897729328 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47152 KiB
[startup+0.700818 s]
/proc/loadavg: 1.76 1.63 1.51 5/220 32618
/proc/meminfo: memFree=27189044/32770624 swapFree=67108856/67108860
[pid=32603] ppid=32600 vsize=10661128 memory=83716 CPUtime=1.8 cores=1,3,5,7
/proc/32603/stat : 32603 (java) S 32600 32603 31407 0 -1 1077944320 11964 0 0 0 176 4 0 0 20 0 15 0 99005749 10916995072 20929 33554432000 4194304 4196468 140724991767360 140724991749904 139864414056183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
/proc/32603/statm: 2665282 20929 3117 1 0 2627263 0
[pid=32603/tid=32605] ppid=32600 vsize=10661128 memory=1804 CPUtime=0.66 cores=1,3,5,7
/proc/32603/task/32605/stat : 32605 (java) R 32600 32603 31407 0 -1 4202560 5245 0 0 0 64 2 0 0 20 0 15 0 99005749 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864418293024 139864019309743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32606] ppid=32600 vsize=10661128 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32606/stat : 32606 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864340130576 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32607] ppid=32600 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32607/stat : 32607 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864339078032 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32608] ppid=32600 vsize=10661128 memory=11860 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32608/stat : 32608 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864338025488 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32609] ppid=32600 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32609/stat : 32609 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864336972944 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32610] ppid=32600 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32610/stat : 32610 (java) S 32600 32603 31407 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863906150384 139864414067330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32611] ppid=32600 vsize=10661128 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32611/stat : 32611 (java) S 32600 32603 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863905096608 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32612] ppid=32600 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32612/stat : 32612 (java) S 32600 32603 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863904044016 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32613] ppid=32600 vsize=10661128 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32613/stat : 32613 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863902992592 139864414074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32614] ppid=32600 vsize=10661128 memory=6296683612537770333 CPUtime=0.41 cores=1,3,5,7
/proc/32603/task/32614/stat : 32614 (java) R 32600 32603 31407 0 -1 4202560 2399 0 0 0 41 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863901924720 139864397613552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32615] ppid=32600 vsize=10661128 memory=7595725831727968097 CPUtime=0.4 cores=1,3,5,7
/proc/32603/task/32615/stat : 32615 (java) R 32600 32603 31407 0 -1 1077944384 1356 0 0 0 40 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863900887664 139864414067330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32616] ppid=32600 vsize=10661128 memory=7236547281622689387 CPUtime=0.29 cores=1,3,5,7
/proc/32603/task/32616/stat : 32616 (java) R 32600 32603 31407 0 -1 4202560 1592 0 0 0 29 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863899835120 139864414077530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32617] ppid=32600 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32617/stat : 32617 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863898782816 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32618] ppid=32600 vsize=10661128 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32618/stat : 32618 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863897729328 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 83716 KiB
[startup+0.800896 s]
# the end of solver process 32603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.95426 s, system=0.049719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700818 s]
/proc/loadavg: 1.76 1.63 1.51 5/220 32618
/proc/meminfo: memFree=27189044/32770624 swapFree=67108856/67108860
[pid=32603] ppid=32600 vsize=10661128 memory=83716 CPUtime=1.8 cores=1,3,5,7
/proc/32603/stat : 32603 (java) S 32600 32603 31407 0 -1 1077944320 11964 0 0 0 176 4 0 0 20 0 15 0 99005749 10916995072 20929 33554432000 4194304 4196468 140724991767360 140724991749904 139864414056183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
/proc/32603/statm: 2665282 20929 3117 1 0 2627263 0
[pid=32603/tid=32605] ppid=32600 vsize=10661128 memory=1804 CPUtime=0.66 cores=1,3,5,7
/proc/32603/task/32605/stat : 32605 (java) R 32600 32603 31407 0 -1 4202560 5245 0 0 0 64 2 0 0 20 0 15 0 99005749 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864418293024 139864019309743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32606] ppid=32600 vsize=10661128 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32606/stat : 32606 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864340130576 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32607] ppid=32600 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32607/stat : 32607 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864339078032 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32608] ppid=32600 vsize=10661128 memory=11860 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32608/stat : 32608 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864338025488 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32609] ppid=32600 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32609/stat : 32609 (java) S 32600 32603 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99005750 10916995072 20929 33554432000 4194304 4196468 140724991767360 139864336972944 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32610] ppid=32600 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32610/stat : 32610 (java) S 32600 32603 31407 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863906150384 139864414067330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32611] ppid=32600 vsize=10661128 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32611/stat : 32611 (java) S 32600 32603 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863905096608 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32612] ppid=32600 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32612/stat : 32612 (java) S 32600 32603 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99005752 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863904044016 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32613] ppid=32600 vsize=10661128 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32613/stat : 32613 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863902992592 139864414074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32614] ppid=32600 vsize=10661128 memory=6296683612537770333 CPUtime=0.41 cores=1,3,5,7
/proc/32603/task/32614/stat : 32614 (java) R 32600 32603 31407 0 -1 4202560 2399 0 0 0 41 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863901924720 139864397613552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32615] ppid=32600 vsize=10661128 memory=7595725831727968097 CPUtime=0.4 cores=1,3,5,7
/proc/32603/task/32615/stat : 32615 (java) R 32600 32603 31407 0 -1 1077944384 1356 0 0 0 40 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863900887664 139864414067330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32616] ppid=32600 vsize=10661128 memory=7236547281622689387 CPUtime=0.29 cores=1,3,5,7
/proc/32603/task/32616/stat : 32616 (java) R 32600 32603 31407 0 -1 4202560 1592 0 0 0 29 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863899835120 139864414077530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32617] ppid=32600 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32617/stat : 32617 (java) S 32600 32603 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863898782816 139864414066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
[pid=32603/tid=32618] ppid=32600 vsize=10661128 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32603/task/32618/stat : 32618 (java) S 32600 32603 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99005755 10916995072 20929 33554432000 4194304 4196468 140724991767360 139863897729328 139864414067330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31526912 140724991775882 140724991776009 140724991776009 140724991778767 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 83716 KiB
Child status: 0
Real time (s): 0.80094
CPU time (s): 2.00398
CPU user time (s): 1.95426
CPU system time (s): 0.049719
CPU usage (%): 250.204
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 83716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.95426
system time used= 0.049719
maximum resident set size= 90032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12414
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= 1292
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 32603
# total CPU time (s): 2.00398
# total CPU user time (s): 1.95426
# total CPU system time (s): 0.049719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029482 second user time and 0.047172 second system time
The end