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 (14970 MiB free)
memory of node 1: 16384 MiB (15103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391540-1568316661/watcher-4391540-1568316661 -o /tmp/evaluation-result-4391540-1568316661/solver-4391540-1568316661 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27782 --watchdog 2560 nacre_mini_release HOME/instance-4391540-1568316661.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30220, runsolver pid=30217
[startup+0.100168 s]*
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30771176/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=52748 memory=27844 CPUtime=0.1 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 7808 0 0 0 9 1 0 0 20 0 1 0 407915637 54013952 6961 33554432000 4194304 4935366 140723120316000 140723120313000 139679622982656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 13187 6961 578 181 0 6804 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52748 KiB
Current children cumulated memory: 27844 KiB
[startup+0.209951 s]*
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30769688/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=54372 memory=29164 CPUtime=0.21 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 8188 0 0 0 20 1 0 0 20 0 1 0 407915637 55676928 7291 33554432000 4194304 4935366 140723120316000 140723120313000 139679622544357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 13593 7291 581 181 0 7210 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54372 KiB
Current children cumulated memory: 29164 KiB
[startup+0.309687 s]*
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30768200/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=55760 memory=30748 CPUtime=0.31 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 8535 0 0 0 30 1 0 0 20 0 1 0 407915637 57098240 7687 33554432000 4194304 4935366 140723120316000 140723120313000 139679622544357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 13940 7687 581 181 0 7557 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55760 KiB
Current children cumulated memory: 30748 KiB
[startup+0.700312 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30762992/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=60948 memory=35764 CPUtime=0.69 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 9799 0 0 0 68 1 0 0 20 0 1 0 407915637 62410752 8941 33554432000 4194304 4935366 140723120316000 140723120313000 4312457 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 15237 8941 598 181 0 8854 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60948 KiB
Current children cumulated memory: 35764 KiB
[startup+1.5004 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30762992/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=61204 memory=36028 CPUtime=1.49 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 9849 0 0 0 148 1 0 0 20 0 1 0 407915637 62672896 9007 33554432000 4194304 4935366 140723120316000 140723120313000 4365394 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 15301 9007 616 181 0 8918 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61204 KiB
Current children cumulated memory: 36028 KiB
[startup+3.10999 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30762992/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=61204 memory=36036 CPUtime=3.1 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 16928 0 0 0 309 1 0 0 20 0 1 0 407915637 62672896 9009 33554432000 4194304 4935366 140723120316000 140723120313000 4365360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 15301 9009 618 181 0 8918 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61204 KiB
Current children cumulated memory: 36036 KiB
[startup+6.30039 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30762212/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=61996 memory=36864 CPUtime=6.28 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 20947 0 0 0 627 1 0 0 20 0 1 0 407915637 63483904 9216 33554432000 4194304 4935366 140723120316000 140723120313656 4450351 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 15499 9216 618 181 0 9116 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 61996 KiB
Current children cumulated memory: 36864 KiB
[startup+12.7004 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30221
/proc/meminfo: memFree=30759636/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=65080 memory=39804 CPUtime=12.68 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 25523 0 0 0 1267 1 0 0 20 0 1 0 407915637 66641920 9951 33554432000 4194304 4935366 140723120316000 140723120313688 4329472 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 16270 9951 618 181 0 9887 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 65080 KiB
Current children cumulated memory: 39804 KiB
[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30222
/proc/meminfo: memFree=30748264/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=75872 memory=50984 CPUtime=25.47 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 33324 0 0 0 2544 3 0 0 20 0 1 0 407915637 77692928 12746 33554432000 4194304 4935366 140723120316000 140723120313688 4329280 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 18968 12746 618 181 0 12585 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 75872 KiB
Current children cumulated memory: 50984 KiB
[startup+51.1101 s]
/proc/loadavg: 1.99 1.98 2.02 3/204 30224
/proc/meminfo: memFree=30710196/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=112676 memory=88116 CPUtime=51.08 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 45560 0 0 0 5102 6 0 0 20 0 1 0 407915637 115380224 22029 33554432000 4194304 4935366 140723120316000 140723120313752 4365329 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 28169 22029 618 181 0 21786 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 112676 KiB
Current children cumulated memory: 88116 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/204 30229
/proc/meminfo: memFree=30558352/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=255116 memory=230292 CPUtime=102.27 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 88972 0 0 0 10213 14 0 0 20 0 1 0 407915637 261238784 57573 33554432000 4194304 4935366 140723120316000 140723120313688 139679628716192 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 63779 57573 618 181 0 57396 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 255116 KiB
Current children cumulated memory: 230292 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/204 30233
/proc/meminfo: memFree=30336880/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=475856 memory=450684 CPUtime=162.26 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 167652 0 0 0 16196 30 0 0 20 0 1 0 407915637 487276544 112671 33554432000 4194304 4935366 140723120316000 140723120313752 4429873 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 118964 112671 618 181 0 112581 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 475856 KiB
Current children cumulated memory: 450684 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/204 30239
/proc/meminfo: memFree=30181996/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=626836 memory=601820 CPUtime=222.26 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 230196 0 0 0 22184 42 0 0 20 0 1 0 407915637 641880064 150455 33554432000 4194304 4935366 140723120316000 140723120313752 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 156709 150455 618 181 0 150326 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 626836 KiB
Current children cumulated memory: 601820 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/203 30243
/proc/meminfo: memFree=29972484/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=832328 memory=807424 CPUtime=282.26 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 325693 0 0 0 28166 60 0 0 20 0 1 0 407915637 852303872 201856 33554432000 4194304 4935366 140723120316000 140723120313752 4449971 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 208082 201856 618 181 0 201699 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 832328 KiB
Current children cumulated memory: 807424 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/203 30247
/proc/meminfo: memFree=29767508/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=1032184 memory=1007352 CPUtime=342.25 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 423196 0 0 0 34149 76 0 0 20 0 1 0 407915637 1056956416 251838 33554432000 4194304 4935366 140723120316000 140723120313752 4450336 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 258046 251838 618 181 0 251663 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1032184 KiB
Current children cumulated memory: 1007352 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30254
/proc/meminfo: memFree=29576864/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=1219288 memory=1194580 CPUtime=402.25 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 537915 0 0 0 40131 94 0 0 20 0 1 0 407915637 1248550912 298645 33554432000 4194304 4935366 140723120316000 140723120313688 4425247 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 304822 298645 618 181 0 298439 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1219288 KiB
Current children cumulated memory: 1194580 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/203 30258
/proc/meminfo: memFree=29421188/32770624 swapFree=66965976/67108860
[pid=30220] ppid=30217 vsize=1372372 memory=1347496 CPUtime=462.22 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 638404 0 0 0 46115 107 0 0 20 0 1 0 407915637 1405308928 336874 33554432000 4194304 4935366 140723120316000 140723120313688 4365325 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 343093 336874 618 181 0 336710 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1372372 KiB
Current children cumulated memory: 1347496 KiB
################
# More data... #
################
/proc/30220/statm: 906558 900282 618 181 0 900175 0
Current children cumulated CPU time: 1601.88 s
Current children cumulated vsize: 3626232 KiB
Current children cumulated memory: 3601128 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30555
/proc/meminfo: memFree=26014848/32770624 swapFree=66965996/67108860
[pid=30220] ppid=30217 vsize=3691288 memory=3666160 CPUtime=1661.86 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 3524330 0 0 0 165753 433 0 0 20 0 1 0 407915637 3779878912 916540 33554432000 4194304 4935366 140723120316000 140723120313688 139679623399843 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 922822 916540 618 181 0 916439 0
Current children cumulated CPU time: 1661.86 s
Current children cumulated vsize: 3691288 KiB
Current children cumulated memory: 3666160 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30559
/proc/meminfo: memFree=25874864/32770624 swapFree=66965996/67108860
[pid=30220] ppid=30217 vsize=3733304 memory=3708236 CPUtime=1721.86 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 3641125 0 0 0 171743 443 0 0 20 0 1 0 407915637 3822903296 927059 33554432000 4194304 4935366 140723120316000 140723120313752 4429504 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 933326 927059 618 181 0 926943 0
Current children cumulated CPU time: 1721.86 s
Current children cumulated vsize: 3733304 KiB
Current children cumulated memory: 3708236 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30571
/proc/meminfo: memFree=25689692/32770624 swapFree=66965996/67108860
[pid=30220] ppid=30217 vsize=3785152 memory=3760156 CPUtime=1781.85 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 3765124 0 0 0 177731 454 0 0 20 0 1 0 407915637 3875995648 940039 33554432000 4194304 4935366 140723120316000 140723120313752 4429616 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 946288 940039 618 181 0 939905 0
Current children cumulated CPU time: 1781.85 s
Current children cumulated vsize: 3785152 KiB
Current children cumulated memory: 3760156 KiB
[startup+1842.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/205 30601
/proc/meminfo: memFree=25577964/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=3816060 memory=3791008 CPUtime=1841.84 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 3879758 0 0 0 183720 464 0 0 20 0 1 0 407915637 3907645440 947752 33554432000 4194304 4935366 140723120316000 140723120313752 4365342 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 954015 947752 618 181 0 947632 0
Current children cumulated CPU time: 1841.84 s
Current children cumulated vsize: 3816060 KiB
Current children cumulated memory: 3791008 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/205 30605
/proc/meminfo: memFree=25477032/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=3846016 memory=3820944 CPUtime=1901.83 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 3989342 0 0 0 189708 475 0 0 20 0 1 0 407915637 3938320384 955236 33554432000 4194304 4935366 140723120316000 140723120313688 4365360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 961504 955236 618 181 0 955121 0
Current children cumulated CPU time: 1901.83 s
Current children cumulated vsize: 3846016 KiB
Current children cumulated memory: 3820944 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/205 30610
/proc/meminfo: memFree=25316900/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=3873684 memory=3848668 CPUtime=1961.81 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4092153 0 0 0 195698 483 0 0 20 0 1 0 407915637 3966652416 962167 33554432000 4194304 4935366 140723120316000 140723120313688 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 968421 962167 618 181 0 962038 0
Current children cumulated CPU time: 1961.81 s
Current children cumulated vsize: 3873684 KiB
Current children cumulated memory: 3848668 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/205 30616
/proc/meminfo: memFree=25145068/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=3948760 memory=3923712 CPUtime=2021.8 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4210674 0 0 0 201683 497 0 0 20 0 1 0 407915637 4043530240 980928 33554432000 4194304 4935366 140723120316000 140723120313752 4449968 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 987190 980928 618 181 0 980807 0
Current children cumulated CPU time: 2021.8 s
Current children cumulated vsize: 3948760 KiB
Current children cumulated memory: 3923712 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/205 30621
/proc/meminfo: memFree=24963432/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=4052556 memory=4027472 CPUtime=2081.79 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4329074 0 0 0 207669 510 0 0 20 0 1 0 407915637 4149817344 1006868 33554432000 4194304 4935366 140723120316000 140723120313752 4429630 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1013139 1006868 618 181 0 1006756 0
Current children cumulated CPU time: 2081.79 s
Current children cumulated vsize: 4052556 KiB
Current children cumulated memory: 4027472 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/203 30625
/proc/meminfo: memFree=24777684/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=4141320 memory=4116264 CPUtime=2141.79 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4446909 0 0 0 213658 521 0 0 20 0 1 0 407915637 4240711680 1029066 33554432000 4194304 4935366 140723120316000 140723120313688 4476272 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1035330 1029066 618 181 0 1028947 0
Current children cumulated CPU time: 2141.79 s
Current children cumulated vsize: 4141320 KiB
Current children cumulated memory: 4116264 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/204 30632
/proc/meminfo: memFree=24612788/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=4213876 memory=4188820 CPUtime=2201.78 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4561352 0 0 0 219646 532 0 0 20 0 1 0 407915637 4315009024 1047205 33554432000 4194304 4935366 140723120316000 140723120313752 139679622553613 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1053469 1047205 618 181 0 1047086 0
Current children cumulated CPU time: 2201.78 s
Current children cumulated vsize: 4213876 KiB
Current children cumulated memory: 4188820 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/204 30636
/proc/meminfo: memFree=24511068/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=4256796 memory=4231812 CPUtime=2261.77 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4664699 0 0 0 225634 543 0 0 20 0 1 0 407915637 4358959104 1057953 33554432000 4194304 4935366 140723120316000 140723120313752 139679628745680 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1064199 1057953 618 181 0 1057816 0
Current children cumulated CPU time: 2261.77 s
Current children cumulated vsize: 4256796 KiB
Current children cumulated memory: 4231812 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 30640
/proc/meminfo: memFree=24353440/32770624 swapFree=66966000/67108860
[pid=30220] ppid=30217 vsize=4333564 memory=4308544 CPUtime=2321.77 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4765917 0 0 0 231622 555 0 0 20 0 1 0 407915637 4437569536 1077136 33554432000 4194304 4935366 140723120316000 140723120313752 4450160 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1083391 1077136 618 181 0 1077008 0
Current children cumulated CPU time: 2321.77 s
Current children cumulated vsize: 4333564 KiB
Current children cumulated memory: 4308544 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 30654
/proc/meminfo: memFree=24259084/32770624 swapFree=66966008/67108860
[pid=30220] ppid=30217 vsize=4350476 memory=4325476 CPUtime=2381.76 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4831031 0 0 0 237614 562 0 0 20 0 1 0 407915637 4454887424 1081369 33554432000 4194304 4935366 140723120316000 140723120313688 4461504 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1087619 1081369 618 181 0 1081236 0
Current children cumulated CPU time: 2381.76 s
Current children cumulated vsize: 4350476 KiB
Current children cumulated memory: 4325476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 30656
/proc/meminfo: memFree=24229104/32770624 swapFree=66966008/67108860
[pid=30220] ppid=30217 vsize=4351424 memory=4326424 CPUtime=2400.05 cores=1,3,5,7
/proc/30220/stat : 30220 (nacre_mini_rele) R 30217 30220 25882 0 -1 4202496 4841965 0 0 0 239441 564 0 0 20 0 1 0 407915637 4455858176 1081606 33554432000 4194304 4935366 140723120316000 140723120313704 4461247 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17358848 140723120321537 140723120321637 140723120321637 140723120324546 0
/proc/30220/statm: 1087856 1081606 618 181 0 1081473 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 4351424 KiB
Current children cumulated memory: 4326424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.66 s]
# the end of solver process 30220 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.42 s, system=5.70169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.66
CPU time (s): 2400.12
CPU user time (s): 2394.42
CPU system time (s): 5.70169
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 4351424
Max. memory (cumulated for all children) (KiB): 4326424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.42
system time used= 5.70169
maximum resident set size= 4326484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4842015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 679
involuntary context switches= 2434
# summary of solver processes directly reported to runsolver:
# pid: 30220
# total CPU time (s): 2400.12
# total CPU user time (s): 2394.42
# total CPU system time (s): 5.70169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9924 second user time and 18.3616 second system time
The end