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 (13444 MiB free)
memory of node 1: 16384 MiB (10532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309716-1534311219/watcher-4309716-1534311219 -o /tmp/evaluation-result-4309716-1534311219/solver-4309716-1534311219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21937 --watchdog 2580 xcsp_picat HOME/instance-4309716-1534311219.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=24200, runsolver pid=24197
[startup+0.100165 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24201
/proc/meminfo: memFree=24529720/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2025744 memory=25440 CPUtime=0.1 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 1936 0 0 0 10 0 0 0 20 0 1 0 248685049 2074361856 6360 33554432000 4194304 5849940 140729237507968 140729237507968 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 506436 6360 636 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25440 KiB
[startup+0.209753 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24201
/proc/meminfo: memFree=24528764/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2026336 memory=26080 CPUtime=0.21 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 2117 0 0 0 20 1 0 0 20 0 1 0 248685049 2074968064 6520 33554432000 4194304 5849940 140729237507968 140729237507064 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 506584 6520 665 405 0 503528 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026336 KiB
Current children cumulated memory: 26080 KiB
[startup+0.308948 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24201
/proc/meminfo: memFree=24528392/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2026720 memory=26336 CPUtime=0.31 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 2213 0 0 0 30 1 0 0 20 0 1 0 248685049 2075361280 6584 33554432000 4194304 5849940 140729237507968 140729237507064 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 506680 6584 665 405 0 503624 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026720 KiB
Current children cumulated memory: 26336 KiB
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24201
/proc/meminfo: memFree=24527648/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2027488 memory=27108 CPUtime=0.69 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 2405 0 0 0 66 3 0 0 20 0 1 0 248685049 2076147712 6777 33554432000 4194304 5849940 140729237507968 140729237507064 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 506872 6777 665 405 0 503816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027488 KiB
Current children cumulated memory: 27108 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24201
/proc/meminfo: memFree=24526160/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2029152 memory=28788 CPUtime=1.49 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 2821 0 0 0 144 5 0 0 20 0 1 0 248685049 2077851648 7197 33554432000 4194304 5849940 140729237507968 140729237507208 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 507288 7197 665 405 0 504232 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029152 KiB
Current children cumulated memory: 28788 KiB
[startup+3.10905 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 24201
/proc/meminfo: memFree=24614784/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2036320 memory=35984 CPUtime=3.09 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 4789 0 0 0 298 11 0 0 20 0 1 0 248685049 2085191680 8996 33554432000 4194304 5849940 140729237507968 140729237507208 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 509080 8996 665 405 0 506024 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036320 KiB
Current children cumulated memory: 35984 KiB
[startup+6.3003 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 24201
/proc/meminfo: memFree=24600392/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2050656 memory=50528 CPUtime=6.29 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 6658 0 0 0 606 23 0 0 20 0 1 0 248685049 2099871744 12632 33554432000 4194304 5849940 140729237507968 140729237506888 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 512664 12632 665 405 0 509608 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2050656 KiB
Current children cumulated memory: 50528 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 24201
/proc/meminfo: memFree=24590752/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2055944 memory=55632 CPUtime=12.69 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 20597 0 0 0 1239 30 0 0 20 0 1 0 248685049 2105286656 13908 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 513986 13908 700 405 0 510930 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2055944 KiB
Current children cumulated memory: 55632 KiB
[startup+25.5004 s]
/proc/loadavg: 1.87 1.98 2.03 3/188 24201
/proc/meminfo: memFree=24589924/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2057528 memory=57424 CPUtime=25.49 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 31707 0 0 0 2504 45 0 0 20 0 1 0 248685049 2106908672 14356 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 514382 14356 700 405 0 511326 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2057528 KiB
Current children cumulated memory: 57424 KiB
[startup+51.1095 s]
/proc/loadavg: 1.91 1.98 2.03 3/188 24201
/proc/meminfo: memFree=24581528/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2059464 memory=59204 CPUtime=51.09 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 56558 0 0 0 5035 74 0 0 20 0 1 0 248685049 2108891136 14801 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 514866 14801 700 405 0 511810 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2059464 KiB
Current children cumulated memory: 59204 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 24202
/proc/meminfo: memFree=24526104/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2077544 memory=77436 CPUtime=102.29 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 85700 0 0 0 10108 121 0 0 20 0 1 0 248685049 2127405056 19359 33554432000 4194304 5849940 140729237507968 140729237506968 5349317 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 519386 19359 700 405 0 516330 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2077544 KiB
Current children cumulated memory: 77436 KiB
[startup+162.3 s]
/proc/loadavg: 2.51 2.13 2.08 3/187 24203
/proc/meminfo: memFree=24491600/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2077948 memory=77760 CPUtime=162.28 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 116751 0 0 0 16057 171 0 0 20 0 1 0 248685049 2127818752 19440 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 519487 19440 700 405 0 516431 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2077948 KiB
Current children cumulated memory: 77760 KiB
[startup+222.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/187 24204
/proc/meminfo: memFree=24489236/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2085400 memory=85080 CPUtime=222.29 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 145023 0 0 0 22010 219 0 0 20 0 1 0 248685049 2135449600 21270 33554432000 4194304 5849940 140729237507968 140729237506968 5438020 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 521350 21270 700 405 0 518294 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2085400 KiB
Current children cumulated memory: 85080 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/187 24205
/proc/meminfo: memFree=24445228/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2080684 memory=80620 CPUtime=282.28 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 173975 0 0 0 27962 266 0 0 20 0 1 0 248685049 2130620416 20155 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 520171 20155 700 405 0 517115 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2080684 KiB
Current children cumulated memory: 80620 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/187 24206
/proc/meminfo: memFree=24427916/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2082464 memory=82340 CPUtime=342.28 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 204307 0 0 0 33919 309 0 0 20 0 1 0 248685049 2132443136 20585 33554432000 4194304 5849940 140729237507968 140729237507128 5335780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 520616 20585 700 405 0 517560 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2082464 KiB
Current children cumulated memory: 82340 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 24214
/proc/meminfo: memFree=24370968/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2089132 memory=88816 CPUtime=402.28 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 235146 0 0 0 39880 348 0 0 20 0 1 0 248685049 2139271168 22204 33554432000 4194304 5849940 140729237507968 140729237506360 5360957 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 522283 22204 700 405 0 519227 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2089132 KiB
Current children cumulated memory: 88816 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 24215
/proc/meminfo: memFree=24438860/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2083468 memory=83344 CPUtime=462.29 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 262874 0 0 0 45844 385 0 0 20 0 1 0 248685049 2133471232 20836 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 520867 20836 700 405 0 517811 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2083468 KiB
Current children cumulated memory: 83344 KiB
################
# More data... #
################
/proc/24200/statm: 534944 35586 700 405 0 531888 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2139776 KiB
Current children cumulated memory: 142344 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.11 2.09 3/188 24398
/proc/meminfo: memFree=23592544/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2108776 memory=111260 CPUtime=1782.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 659286 0 0 0 177215 1011 0 0 20 0 1 0 248685049 2159386624 27815 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 527194 27815 700 405 0 524138 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2108776 KiB
Current children cumulated memory: 111260 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/188 24399
/proc/meminfo: memFree=23593480/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2158320 memory=160864 CPUtime=1842.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 666793 0 0 0 183193 1033 0 0 20 0 1 0 248685049 2210119680 40216 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 539580 40216 700 405 0 536524 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2158320 KiB
Current children cumulated memory: 160864 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/187 24400
/proc/meminfo: memFree=23566876/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2158916 memory=161596 CPUtime=1902.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 681100 0 0 0 189173 1053 0 0 20 0 1 0 248685049 2210729984 40399 33554432000 4194304 5849940 140729237507968 140729237506840 5356000 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 539729 40399 700 405 0 536673 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2158916 KiB
Current children cumulated memory: 161596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 24401
/proc/meminfo: memFree=23588148/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2137436 memory=140016 CPUtime=1962.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 693827 0 0 0 195145 1081 0 0 20 0 1 0 248685049 2188734464 35004 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 534359 35004 700 405 0 531303 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2137436 KiB
Current children cumulated memory: 140016 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/187 24402
/proc/meminfo: memFree=23619060/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2106824 memory=109468 CPUtime=2022.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 719621 0 0 0 201124 1102 0 0 20 0 1 0 248685049 2157387776 27367 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 526706 27367 700 405 0 523650 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2106824 KiB
Current children cumulated memory: 109468 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 24403
/proc/meminfo: memFree=23581936/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2143716 memory=146420 CPUtime=2082.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 727096 0 0 0 207101 1125 0 0 20 0 1 0 248685049 2195165184 36605 33554432000 4194304 5849940 140729237507968 140729237506968 5335720 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 535929 36605 700 405 0 532873 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 2143716 KiB
Current children cumulated memory: 146420 KiB
[startup+2142.3 s]
/proc/loadavg: 2.13 2.07 2.07 3/187 24404
/proc/meminfo: memFree=23576432/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2144176 memory=146712 CPUtime=2142.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 752950 0 0 0 213077 1149 0 0 20 0 1 0 248685049 2195636224 36678 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 536044 36678 700 405 0 532988 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2144176 KiB
Current children cumulated memory: 146712 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.05 2.06 3/188 24413
/proc/meminfo: memFree=23558976/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2160816 memory=163464 CPUtime=2202.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 759720 0 0 0 219053 1173 0 0 20 0 1 0 248685049 2212675584 40866 33554432000 4194304 5849940 140729237507968 140729237506968 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 540204 40866 700 405 0 537148 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 2160816 KiB
Current children cumulated memory: 163464 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/188 24414
/proc/meminfo: memFree=23571160/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2140408 memory=143204 CPUtime=2262.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 779470 0 0 0 225028 1198 0 0 20 0 1 0 248685049 2191777792 35801 33554432000 4194304 5849940 140729237507968 140729237506840 4226662 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 535102 35801 700 405 0 532046 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 2140408 KiB
Current children cumulated memory: 143204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 24415
/proc/meminfo: memFree=23557128/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2148960 memory=151672 CPUtime=2322.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 790394 0 0 0 231005 1221 0 0 20 0 1 0 248685049 2200535040 37918 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 537240 37918 700 405 0 534184 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 2148960 KiB
Current children cumulated memory: 151672 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24416
/proc/meminfo: memFree=23551980/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2149948 memory=152480 CPUtime=2382.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 815846 0 0 0 236981 1245 0 0 20 0 1 0 248685049 2201546752 38120 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 537487 38120 700 405 0 534431 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 2149948 KiB
Current children cumulated memory: 152480 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24417
/proc/meminfo: memFree=23545828/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2156340 memory=158756 CPUtime=2442.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 821990 0 0 0 242958 1268 0 0 20 0 1 0 248685049 2208092160 39689 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 539085 39689 700 405 0 536029 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 2156340 KiB
Current children cumulated memory: 158756 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24418
/proc/meminfo: memFree=23554408/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2147664 memory=150344 CPUtime=2502.26 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 841553 0 0 0 248940 1286 0 0 20 0 1 0 248685049 2199207936 37586 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 536916 37586 700 405 0 533860 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 2147664 KiB
Current children cumulated memory: 150344 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 24418
/proc/meminfo: memFree=23532940/32770624 swapFree=67108172/67108860
[pid=24200] ppid=24197 vsize=2169248 memory=171928 CPUtime=2519.97 cores=1,3,5,7
/proc/24200/stat : 24200 (xcsp_picat) R 24197 24200 21905 0 -1 4202496 843171 0 0 0 250704 1293 0 0 20 0 1 0 248685049 2221309952 42982 33554432000 4194304 5849940 140729237507968 140729237506968 140309760102279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 24371200 140729237509302 140729237509380 140729237509380 140729237512138 0
/proc/24200/statm: 542312 42982 700 405 0 539256 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 171928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 24200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.05 s, system=12.94 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.02
CPU time (s): 2519.99
CPU user time (s): 2507.05
CPU system time (s): 12.94
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 2169248
Max. memory (cumulated for all children) (KiB): 171928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.05
system time used= 12.94
maximum resident set size= 171928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843171
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= 28
involuntary context switches= 1819
# summary of solver processes directly reported to runsolver:
# pid: 24200
# total CPU time (s): 2519.99
# total CPU user time (s): 2507.05
# total CPU system time (s): 12.94
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45365 second user time and 19.3586 second system time
The end