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 (10683 MiB free)
memory of node 1: 16384 MiB (12472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309646-1534320033/watcher-4309646-1534320033 -o /tmp/evaluation-result-4309646-1534320033/solver-4309646-1534320033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309646-1534320033.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17128, runsolver pid=17125
Current StackSize limit: 8192 KiB
[startup+0.100633 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23697684/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2025744 memory=16684 CPUtime=0.1 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 1278 0 0 0 10 0 0 0 20 0 1 0 249566455 2074361856 4171 33554432000 4194304 5849940 140720404121040 140720404120344 4787798 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 506436 4171 597 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 16684 KiB
[startup+0.209759 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23691564/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2025744 memory=27160 CPUtime=0.21 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 1332 0 0 0 21 0 0 0 20 0 1 0 249566455 2074361856 6790 33554432000 4194304 5849940 140720404121040 140720404120344 4492544 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 506436 6790 617 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27160 KiB
[startup+0.309611 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23670780/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2032768 memory=44532 CPUtime=0.3 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 3187 0 0 0 30 0 0 0 20 0 1 0 249566455 2081554432 11133 33554432000 4194304 5849940 140720404121040 140720404120344 5432576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 508192 11133 635 405 0 505136 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2032768 KiB
Current children cumulated memory: 44532 KiB
[startup+0.700318 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23627784/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2093676 memory=103608 CPUtime=0.68 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 6712 0 0 0 67 1 0 0 20 0 1 0 249566455 2143924224 25902 33554432000 4194304 5849940 140720404121040 140720404120344 139741264795552 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 523419 25902 638 405 0 520363 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2093676 KiB
Current children cumulated memory: 103608 KiB
[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23610740/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2092856 memory=104668 CPUtime=1.49 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 8917 0 0 0 147 2 0 0 20 0 1 0 249566455 2143084544 26167 33554432000 4194304 5849940 140720404121040 140720404119288 5369081 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 523214 26167 650 405 0 520158 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2092856 KiB
Current children cumulated memory: 104668 KiB
[startup+3.10964 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23605820/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2097140 memory=109004 CPUtime=3.09 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 21235 0 0 0 307 2 0 0 20 0 1 0 249566455 2147471360 27251 33554432000 4194304 5849940 140720404121040 140720404119432 5375386 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 524285 27251 662 405 0 521229 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2097140 KiB
Current children cumulated memory: 109004 KiB
[startup+6.30029 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23605436/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2097140 memory=109124 CPUtime=6.28 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 35006 0 0 0 624 4 0 0 20 0 1 0 249566455 2147471360 27281 33554432000 4194304 5849940 140720404121040 140720404120040 5307765 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 524285 27281 668 405 0 521229 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2097140 KiB
Current children cumulated memory: 109124 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 17129
/proc/meminfo: memFree=23604504/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2129904 memory=141896 CPUtime=12.68 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 50460 0 0 0 1260 8 0 0 20 0 1 0 249566455 2181021696 35474 33554432000 4194304 5849940 140720404121040 140720404119528 4209235 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 532476 35474 670 405 0 529420 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2129904 KiB
Current children cumulated memory: 141896 KiB
[startup+25.5004 s]
/proc/loadavg: 1.88 1.98 2.03 3/188 17129
/proc/meminfo: memFree=23768436/32770624 swapFree=67059132/67108860
[pid=17128] ppid=17125 vsize=2096356 memory=108448 CPUtime=25.48 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 80964 0 0 0 2530 18 0 0 20 0 1 0 249566455 2146668544 27112 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 524089 27112 670 405 0 521033 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2096356 KiB
Current children cumulated memory: 108448 KiB
[startup+51.1097 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 17151
/proc/meminfo: memFree=23724260/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2140884 memory=152876 CPUtime=51.09 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 103411 0 0 0 5073 36 0 0 20 0 1 0 249566455 2192265216 38219 33554432000 4194304 5849940 140720404121040 140720404119448 5312848 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 535221 38219 670 405 0 532165 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2140884 KiB
Current children cumulated memory: 152876 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/188 17152
/proc/meminfo: memFree=23725228/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2139148 memory=151140 CPUtime=102.28 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 131354 0 0 0 10160 68 0 0 20 0 1 0 249566455 2190487552 37785 33554432000 4194304 5849940 140720404121040 140720404119688 5361934 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 534787 37785 670 405 0 531731 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2139148 KiB
Current children cumulated memory: 151140 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 17153
/proc/meminfo: memFree=23702772/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2162244 memory=174236 CPUtime=162.28 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 155416 0 0 0 16125 103 0 0 20 0 1 0 249566455 2214137856 43559 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 540561 43559 670 405 0 537505 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2162244 KiB
Current children cumulated memory: 174236 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 17154
/proc/meminfo: memFree=23622120/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2243132 memory=255124 CPUtime=222.28 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 163929 0 0 0 22090 138 0 0 20 0 1 0 249566455 2296967168 63781 33554432000 4194304 5849940 140720404121040 140720404119912 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 560783 63781 670 405 0 557727 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2243132 KiB
Current children cumulated memory: 255124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17155
/proc/meminfo: memFree=23566220/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2174304 memory=180172 CPUtime=282.28 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 194845 0 0 0 28053 175 0 0 20 0 1 0 249566455 2226487296 45043 33554432000 4194304 5849940 140720404121040 140720404120040 5312848 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 543576 45043 670 405 0 540520 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2174304 KiB
Current children cumulated memory: 180172 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 17156
/proc/meminfo: memFree=23625504/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2240044 memory=253360 CPUtime=342.25 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 196635 0 0 0 34018 207 0 0 20 0 1 0 249566455 2293805056 63340 33554432000 4194304 5849940 140720404121040 140720404119768 5360681 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 560011 63340 670 405 0 556955 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2240044 KiB
Current children cumulated memory: 253360 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17157
/proc/meminfo: memFree=23603180/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2176256 memory=193092 CPUtime=402.25 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 197317 0 0 0 39986 239 0 0 20 0 1 0 249566455 2228486144 48273 33554432000 4194304 5849940 140720404121040 140720404120200 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 544064 48273 670 405 0 541008 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2176256 KiB
Current children cumulated memory: 193092 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 17158
/proc/meminfo: memFree=23590716/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2248256 memory=265052 CPUtime=462.25 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 205696 0 0 0 45953 272 0 0 20 0 1 0 249566455 2302214144 66263 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 562064 66263 670 405 0 559008 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2248256 KiB
Current children cumulated memory: 265052 KiB
################
# More data... #
################
/proc/17128/statm: 548610 52819 670 405 0 545554 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2194440 KiB
Current children cumulated memory: 211276 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.30 1.71 2/180 17249
/proc/meminfo: memFree=23999876/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2202168 memory=218916 CPUtime=1782.18 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 503073 0 0 0 177283 935 0 0 20 0 1 0 249566455 2255020032 54729 33554432000 4194304 5849940 140720404121040 140720404120040 5313398 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 550542 54729 670 405 0 547486 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2202168 KiB
Current children cumulated memory: 218916 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/180 17250
/proc/meminfo: memFree=23999876/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2202956 memory=219792 CPUtime=1842.18 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 503458 0 0 0 183247 971 0 0 20 0 1 0 249566455 2255826944 54948 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 550739 54948 670 405 0 547683 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2202956 KiB
Current children cumulated memory: 219792 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.20 1.62 2/180 17251
/proc/meminfo: memFree=24000000/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2202792 memory=219524 CPUtime=1902.18 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 504192 0 0 0 189215 1003 0 0 20 0 1 0 249566455 2255659008 54881 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 550698 54881 670 405 0 547642 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2202792 KiB
Current children cumulated memory: 219524 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/180 17252
/proc/meminfo: memFree=24000372/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2202692 memory=219528 CPUtime=1962.18 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 504362 0 0 0 195177 1041 0 0 20 0 1 0 249566455 2255556608 54882 33554432000 4194304 5849940 140720404121040 140720404120200 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 550673 54882 670 405 0 547617 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 2202692 KiB
Current children cumulated memory: 219528 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.13 1.55 2/180 17253
/proc/meminfo: memFree=24000956/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2202796 memory=219544 CPUtime=2022.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 504748 0 0 0 201144 1073 0 0 20 0 1 0 249566455 2255663104 54886 33554432000 4194304 5849940 140720404121040 140720404120040 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 550699 54886 670 405 0 547643 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2202796 KiB
Current children cumulated memory: 219544 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/180 17254
/proc/meminfo: memFree=23975700/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2228532 memory=245368 CPUtime=2082.18 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 506467 0 0 0 207111 1107 0 0 20 0 1 0 249566455 2282016768 61342 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557133 61342 670 405 0 554077 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 2228532 KiB
Current children cumulated memory: 245368 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.09 1.48 2/180 17255
/proc/meminfo: memFree=23975996/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2228532 memory=245368 CPUtime=2142.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 508325 0 0 0 213075 1142 0 0 20 0 1 0 249566455 2282016768 61342 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557133 61342 670 405 0 554077 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2228532 KiB
Current children cumulated memory: 245368 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.07 1.45 2/180 17256
/proc/meminfo: memFree=23976368/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2228532 memory=245368 CPUtime=2202.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 508382 0 0 0 219042 1175 0 0 20 0 1 0 249566455 2282016768 61342 33554432000 4194304 5849940 140720404121040 140720404120200 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557133 61342 670 405 0 554077 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2228532 KiB
Current children cumulated memory: 245368 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.06 1.42 2/180 17257
/proc/meminfo: memFree=23975996/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2228296 memory=245132 CPUtime=2262.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 510049 0 0 0 225015 1202 0 0 20 0 1 0 249566455 2281775104 61283 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557074 61283 670 405 0 554018 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2228296 KiB
Current children cumulated memory: 245132 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/180 17258
/proc/meminfo: memFree=23976120/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2228296 memory=245132 CPUtime=2322.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 510256 0 0 0 230983 1234 0 0 20 0 1 0 249566455 2281775104 61283 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557074 61283 670 405 0 554018 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2228296 KiB
Current children cumulated memory: 245132 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/180 17267
/proc/meminfo: memFree=23973304/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2231360 memory=248196 CPUtime=2382.17 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 513478 0 0 0 236953 1264 0 0 20 0 1 0 249566455 2284912640 62049 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 557840 62049 670 405 0 554784 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 2231360 KiB
Current children cumulated memory: 248196 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.03 1.35 2/181 17269
/proc/meminfo: memFree=23956280/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2247508 memory=264184 CPUtime=2442.16 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 514545 0 0 0 242916 1300 0 0 20 0 1 0 249566455 2301448192 66046 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 561877 66046 670 405 0 558821 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 2247508 KiB
Current children cumulated memory: 264184 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/181 17270
/proc/meminfo: memFree=23928372/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2274324 memory=291160 CPUtime=2502.16 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 518580 0 0 0 248879 1337 0 0 20 0 1 0 249566455 2328907776 72790 33554432000 4194304 5849940 140720404121040 140720404120040 139741265207175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 568581 72790 670 405 0 565525 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 2274324 KiB
Current children cumulated memory: 291160 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.03 1.32 2/181 17270
/proc/meminfo: memFree=23888532/32770624 swapFree=67059136/67108860
[pid=17128] ppid=17125 vsize=2315064 memory=331900 CPUtime=2519.87 cores=0,2,4,6
/proc/17128/stat : 17128 (xcsp_picat) R 17125 17128 13719 0 -1 4202496 520975 0 0 0 250642 1345 0 0 20 0 1 0 249566455 2370625536 82975 33554432000 4194304 5849940 140720404121040 140720404120040 5313106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33095680 140720404128950 140720404129028 140720404129028 140720404131786 0
/proc/17128/statm: 578766 82975 670 405 0 575710 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2315064 KiB
Current children cumulated memory: 331900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 17128 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.42 s, system=13.4595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.88
CPU user time (s): 2506.42
CPU system time (s): 13.4595
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 2489800
Max. memory (cumulated for all children) (KiB): 506636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.42
system time used= 13.4595
maximum resident set size= 506636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520975
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= 50
involuntary context switches= 3196
# summary of solver processes directly reported to runsolver:
# pid: 17128
# total CPU time (s): 2519.88
# total CPU user time (s): 2506.42
# total CPU system time (s): 13.4595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6514 second user time and 15.9312 second system time
The end