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 (8359 MiB free)
memory of node 1: 16384 MiB (12654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299954-1532792500/watcher-4299954-1532792500 -o /tmp/evaluation-result-4299954-1532792500/solver-4299954-1532792500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4299954-1532792500.xml -ca -l100 -cm
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=22940, runsolver pid=22937
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21512948/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=31244 memory=7752 CPUtime=0.1 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 2262 0 0 0 10 0 0 0 20 0 1 0 96813198 31993856 1938 33554432000 4194304 4933779 140730402190416 140730402187416 140503881189811 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 7811 1938 612 181 0 1428 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31244 KiB
Current children cumulated memory: 7752 KiB
[startup+0.209629 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21511460/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=33100 memory=9600 CPUtime=0.21 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 2702 0 0 0 21 0 0 0 20 0 1 0 96813198 33894400 2400 33554432000 4194304 4933779 140730402190416 140730402188184 140503881189763 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 8275 2400 612 181 0 1892 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33100 KiB
Current children cumulated memory: 9600 KiB
[startup+0.309253 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21509336/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=34828 memory=11448 CPUtime=0.3 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 3134 0 0 0 30 0 0 0 20 0 1 0 96813198 35663872 2862 33554432000 4194304 4933779 140730402190416 140730402188184 140503881189795 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 8707 2862 612 181 0 2324 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 11448 KiB
[startup+0.700288 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21506360/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=40724 memory=17256 CPUtime=0.69 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 4594 0 0 0 68 1 0 0 20 0 1 0 96813198 41701376 4314 33554432000 4194304 4933779 140730402190416 140730402188184 140503880334309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 10181 4314 612 181 0 3798 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40724 KiB
Current children cumulated memory: 17256 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21498176/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=53012 memory=29400 CPUtime=1.49 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 7664 0 0 0 148 1 0 0 20 0 1 0 96813198 54284288 7350 33554432000 4194304 4933779 140730402190416 140730402188184 4393121 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 13253 7350 612 181 0 6870 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53012 KiB
Current children cumulated memory: 29400 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21467672/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=77788 memory=54124 CPUtime=3.1 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 21921 0 0 0 306 4 0 0 20 0 1 0 96813198 79654912 13531 33554432000 4194304 4933779 140730402190416 140730402188184 140503880334309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 19447 13531 612 181 0 13064 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 77788 KiB
Current children cumulated memory: 54124 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21449072/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=96156 memory=72684 CPUtime=6.29 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 41145 0 0 0 624 5 0 0 20 0 1 0 96813198 98463744 18171 33554432000 4194304 4933779 140730402190416 140730402188104 4335696 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 24039 18171 612 181 0 17656 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 96156 KiB
Current children cumulated memory: 72684 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21430836/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=115212 memory=91712 CPUtime=12.69 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 64540 0 0 0 1262 7 0 0 20 0 1 0 96813198 117977088 22928 33554432000 4194304 4933779 140730402190416 140730402188168 140503881189755 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 28803 22928 612 181 0 22420 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 115212 KiB
Current children cumulated memory: 91712 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21404400/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=139452 memory=115520 CPUtime=25.49 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 117007 0 0 0 2539 10 0 0 20 0 1 0 96813198 142798848 28880 33554432000 4194304 4933779 140730402190416 140730402188168 4393117 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 34863 28880 612 181 0 28480 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 139452 KiB
Current children cumulated memory: 115520 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22941
/proc/meminfo: memFree=21365828/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=171788 memory=147976 CPUtime=51.09 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 160372 0 0 0 5096 13 0 0 20 0 1 0 96813198 175910912 36994 33554432000 4194304 4933779 140730402190416 140730402188104 4393171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 42947 36994 612 181 0 36564 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 171788 KiB
Current children cumulated memory: 147976 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22942
/proc/meminfo: memFree=21291476/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=238072 memory=214216 CPUtime=102.26 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 212623 0 0 0 10208 18 0 0 20 0 1 0 96813198 243785728 53554 33554432000 4194304 4933779 140730402190416 140730402188104 4423406 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 59518 53554 612 181 0 53135 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 238072 KiB
Current children cumulated memory: 214216 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22943
/proc/meminfo: memFree=21267452/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=262728 memory=237568 CPUtime=162.23 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 247055 0 0 0 16201 22 0 0 20 0 1 0 96813198 269033472 59392 33554432000 4194304 4933779 140730402190416 140730402188168 4332874 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 65682 59392 612 181 0 59299 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 262728 KiB
Current children cumulated memory: 237568 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22944
/proc/meminfo: memFree=21222468/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=306500 memory=281836 CPUtime=222.21 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 269521 0 0 0 22194 27 0 0 20 0 1 0 96813198 313856000 70459 33554432000 4194304 4933779 140730402190416 140730402188104 140503881081592 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 76625 70459 612 181 0 70242 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 306500 KiB
Current children cumulated memory: 281836 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22945
/proc/meminfo: memFree=21197212/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=329524 memory=305108 CPUtime=282.2 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 275457 0 0 0 28192 28 0 0 20 0 1 0 96813198 337432576 76277 33554432000 4194304 4933779 140730402190416 140730402187928 4388381 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 82381 76277 612 181 0 75998 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 329524 KiB
Current children cumulated memory: 305108 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22946
/proc/meminfo: memFree=21173180/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=351444 memory=326608 CPUtime=342.2 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 286986 0 0 0 34190 30 0 0 20 0 1 0 96813198 359878656 81652 33554432000 4194304 4933779 140730402190416 140730402188168 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 87861 81652 612 181 0 81478 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 351444 KiB
Current children cumulated memory: 326608 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22947
/proc/meminfo: memFree=20992264/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=389956 memory=364956 CPUtime=402.2 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 309492 0 0 0 40187 33 0 0 20 0 1 0 96813198 399314944 91239 33554432000 4194304 4933779 140730402190416 140730402188168 140503881189811 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 97489 91239 612 181 0 91106 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 389956 KiB
Current children cumulated memory: 364956 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22948
/proc/meminfo: memFree=20830692/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=498188 memory=472664 CPUtime=462.2 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 364953 0 0 0 46179 41 0 0 20 0 1 0 96813198 510144512 118166 33554432000 4194304 4933779 140730402190416 140730402188168 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 124547 118166 612 181 0 118164 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 498188 KiB
Current children cumulated memory: 472664 KiB
################
# More data... #
################
/proc/22940/statm: 229582 223130 612 181 0 223199 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 918328 KiB
Current children cumulated memory: 892520 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23016
/proc/meminfo: memFree=20116004/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1030304 memory=1003904 CPUtime=1782.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1342545 0 0 0 178049 155 0 0 20 0 1 0 96813198 1055031296 250976 33554432000 4194304 4933779 140730402190416 140730402188120 4475780 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 257576 250976 612 181 0 251193 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 1030304 KiB
Current children cumulated memory: 1003904 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23017
/proc/meminfo: memFree=20073100/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1055448 memory=1028596 CPUtime=1842.05 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1390585 0 0 0 184044 161 0 0 20 0 1 0 96813198 1080778752 257149 33554432000 4194304 4933779 140730402190416 140730402188120 4437796 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 263862 257149 612 181 0 257479 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 1055448 KiB
Current children cumulated memory: 1028596 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23078
/proc/meminfo: memFree=21087788/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1081216 memory=1054168 CPUtime=1902.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1444598 0 0 0 190037 167 0 0 20 0 1 0 96813198 1107165184 263542 33554432000 4194304 4933779 140730402190416 140730402188120 4335743 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 270304 263542 612 181 0 263921 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 1081216 KiB
Current children cumulated memory: 1054168 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23079
/proc/meminfo: memFree=20945064/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1114432 memory=1087352 CPUtime=1962.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1503702 0 0 0 196029 175 0 0 20 0 1 0 96813198 1141178368 271838 33554432000 4194304 4933779 140730402190416 140730402187928 140503886525674 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 278608 271838 612 181 0 272225 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 1114432 KiB
Current children cumulated memory: 1087352 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 23080
/proc/meminfo: memFree=20848380/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1136128 memory=1108532 CPUtime=2022.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1563501 0 0 0 202020 184 0 0 20 0 1 0 96813198 1163395072 277133 33554432000 4194304 4933779 140730402190416 140730402188168 4362479 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 284032 277133 612 181 0 277649 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 1136128 KiB
Current children cumulated memory: 1108532 KiB
[startup+2082.3 s]
/proc/loadavg: 2.43 2.16 2.09 3/187 23081
/proc/meminfo: memFree=20739136/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1140820 memory=1113008 CPUtime=2082.03 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1625283 0 0 0 208013 190 0 0 20 0 1 0 96813198 1168199680 278252 33554432000 4194304 4933779 140730402190416 140730402188104 140503881189755 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 285205 278252 612 181 0 278822 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 1140820 KiB
Current children cumulated memory: 1113008 KiB
[startup+2142.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/187 23082
/proc/meminfo: memFree=20696728/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1142212 memory=1114404 CPUtime=2142.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1687523 0 0 0 214009 195 0 0 20 0 1 0 96813198 1169625088 278601 33554432000 4194304 4933779 140730402190416 140730402188104 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 285553 278601 612 181 0 279170 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 1142212 KiB
Current children cumulated memory: 1114404 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/187 23083
/proc/meminfo: memFree=20645392/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1143208 memory=1115280 CPUtime=2202.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1743633 0 0 0 220003 201 0 0 20 0 1 0 96813198 1170644992 278820 33554432000 4194304 4933779 140730402190416 140730402188104 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 285802 278820 612 181 0 279419 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 1143208 KiB
Current children cumulated memory: 1115280 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 23084
/proc/meminfo: memFree=20608100/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1143688 memory=1115732 CPUtime=2262.04 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1803640 0 0 0 225998 206 0 0 20 0 1 0 96813198 1171136512 278933 33554432000 4194304 4933779 140730402190416 140730402188104 140503881189755 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 285922 278933 612 181 0 279539 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 1143688 KiB
Current children cumulated memory: 1115732 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 23092
/proc/meminfo: memFree=20567584/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1143980 memory=1116024 CPUtime=2322.03 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1864088 0 0 0 231992 211 0 0 20 0 1 0 96813198 1171435520 279006 33554432000 4194304 4933779 140730402190416 140730402188104 4437567 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 285995 279006 612 181 0 279612 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 1143980 KiB
Current children cumulated memory: 1116024 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 23093
/proc/meminfo: memFree=20534140/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1152420 memory=1124568 CPUtime=2382.03 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1922617 0 0 0 237986 217 0 0 20 0 1 0 96813198 1180078080 281142 33554432000 4194304 4933779 140730402190416 140730402188120 4437572 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 288105 281142 612 181 0 281722 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 1152420 KiB
Current children cumulated memory: 1124568 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 23094
/proc/meminfo: memFree=20510724/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1173064 memory=1145572 CPUtime=2442 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 1969297 0 0 0 243977 223 0 0 20 0 1 0 96813198 1201217536 286393 33554432000 4194304 4933779 140730402190416 140730402187928 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 293266 286393 612 181 0 286883 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 1173064 KiB
Current children cumulated memory: 1145572 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23095
/proc/meminfo: memFree=20497764/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1185176 memory=1158240 CPUtime=2501.97 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 2001710 0 0 0 249969 228 0 0 20 0 1 0 96813198 1213620224 289560 33554432000 4194304 4933779 140730402190416 140730402188120 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 296294 289560 612 181 0 289911 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 1185176 KiB
Current children cumulated memory: 1158240 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23095
/proc/meminfo: memFree=20486448/32770624 swapFree=67108796/67108860
[pid=22940] ppid=22937 vsize=1187804 memory=1160740 CPUtime=2519.67 cores=1,3,5,7
/proc/22940/stat : 22940 (nacre_mini_rele) R 22937 22940 24279 0 -1 4202496 2004081 0 0 0 251738 229 0 0 20 0 1 0 96813198 1216311296 290185 33554432000 4194304 4933779 140730402190416 140730402188120 4437567 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 7892992 140730402198680 140730402198780 140730402198780 140730402201538 0
/proc/22940/statm: 296951 290185 612 181 0 290568 0
Current children cumulated CPU time: 2519.67 s
Current children cumulated vsize: 1187804 KiB
Current children cumulated memory: 1160740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22940 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.39 s, system=2.30695 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.7
CPU user time (s): 2517.39
CPU system time (s): 2.30695
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 1187804
Max. memory (cumulated for all children) (KiB): 1160740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.39
system time used= 2.30695
maximum resident set size= 1160932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2004128
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= 499
involuntary context switches= 947
# summary of solver processes directly reported to runsolver:
# pid: 22940
# total CPU time (s): 2519.7
# total CPU user time (s): 2517.39
# total CPU system time (s): 2.30695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.75879 second user time and 18.5508 second system time
The end