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 (12805 MiB free)
memory of node 1: 16384 MiB (10338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309645-1534319357/watcher-4309645-1534319357 -o /tmp/evaluation-result-4309645-1534319357/solver-4309645-1534319357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534293152-15985 --watchdog 2580 xcsp_picat HOME/instance-4309645-1534319357.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
solver pid=19322, runsolver pid=19319
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 19323
/proc/meminfo: memFree=23683216/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2025744 memory=20248 CPUtime=0.1 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 1123 0 0 0 10 0 0 0 20 0 1 0 249498857 2074361856 5062 33554432000 4194304 5849940 140721643435840 140721643435840 4548541 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 506436 5062 597 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20248 KiB
[startup+0.209667 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 19323
/proc/meminfo: memFree=23666944/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2032532 memory=37508 CPUtime=0.21 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 2932 0 0 0 21 0 0 0 20 0 1 0 249498857 2081312768 9377 33554432000 4194304 5849940 140721643435840 140721643435144 5406738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 508133 9377 636 405 0 505077 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2032532 KiB
Current children cumulated memory: 37508 KiB
[startup+0.30955 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 19323
/proc/meminfo: memFree=23645172/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2051304 memory=56328 CPUtime=0.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 5090 0 0 0 30 1 0 0 20 0 1 0 249498857 2100535296 14082 33554432000 4194304 5849940 140721643435840 140721643435144 4513893 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 512826 14082 636 405 0 509770 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2051304 KiB
Current children cumulated memory: 56328 KiB
[startup+0.700401 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23638032/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2059188 memory=64212 CPUtime=0.69 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 6776 0 0 0 68 1 0 0 20 0 1 0 249498857 2108608512 16053 33554432000 4194304 5849940 140721643435840 140721643435144 5375840 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 514797 16053 646 405 0 511741 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2059188 KiB
Current children cumulated memory: 64212 KiB
[startup+1.5004 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23635440/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2059232 memory=64248 CPUtime=1.49 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 8302 0 0 0 148 1 0 0 20 0 1 0 249498857 2108653568 16062 33554432000 4194304 5849940 140721643435840 140721643434088 5365596 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 514808 16062 654 405 0 511752 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2059232 KiB
Current children cumulated memory: 64248 KiB
[startup+3.10947 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23618292/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2077208 memory=81348 CPUtime=3.1 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 17463 0 0 0 308 2 0 0 20 0 1 0 249498857 2127060992 20337 33554432000 4194304 5849940 140721643435840 140721643434488 4234725 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 519302 20337 663 405 0 516246 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2077208 KiB
Current children cumulated memory: 81348 KiB
[startup+6.30037 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23604544/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2090824 memory=95004 CPUtime=6.29 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 25778 0 0 0 626 3 0 0 20 0 1 0 249498857 2141003776 23751 33554432000 4194304 5849940 140721643435840 140721643434712 5437837 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 522706 23751 670 405 0 519650 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2090824 KiB
Current children cumulated memory: 95004 KiB
[startup+12.7004 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23615064/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2079628 memory=84776 CPUtime=12.69 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 37084 0 0 0 1261 8 0 0 20 0 1 0 249498857 2129539072 21194 33554432000 4194304 5849940 140721643435840 140721643434488 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 519907 21194 670 405 0 516851 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2079628 KiB
Current children cumulated memory: 84776 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 19323
/proc/meminfo: memFree=23611692/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2082488 memory=87688 CPUtime=25.49 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 61069 0 0 0 2527 22 0 0 20 0 1 0 249498857 2132467712 21922 33554432000 4194304 5849940 140721643435840 140721643434712 5376680 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 520622 21922 670 405 0 517566 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2082488 KiB
Current children cumulated memory: 87688 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 19331
/proc/meminfo: memFree=23605936/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2087320 memory=92436 CPUtime=51.1 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 74892 0 0 0 5070 40 0 0 20 0 1 0 249498857 2137415680 23109 33554432000 4194304 5849940 140721643435840 140721643434840 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 521830 23109 670 405 0 518774 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2087320 KiB
Current children cumulated memory: 92436 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 19332
/proc/meminfo: memFree=23573284/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2114112 memory=116524 CPUtime=102.29 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 99060 0 0 0 10155 74 0 0 20 0 1 0 249498857 2164850688 29131 33554432000 4194304 5849940 140721643435840 140721643434840 5359342 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 528528 29131 670 405 0 525472 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2114112 KiB
Current children cumulated memory: 116524 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 19333
/proc/meminfo: memFree=23522520/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2153864 memory=154456 CPUtime=162.29 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 106950 0 0 0 16115 114 0 0 20 0 1 0 249498857 2205556736 38614 33554432000 4194304 5849940 140721643435840 140721643434840 5387306 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 538466 38614 670 405 0 535410 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2153864 KiB
Current children cumulated memory: 154456 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 19334
/proc/meminfo: memFree=23607372/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2136924 memory=142124 CPUtime=222.3 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 156909 0 0 0 22070 160 0 0 20 0 1 0 249498857 2188210176 35531 33554432000 4194304 5849940 140721643435840 140721643434840 5397601 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 534231 35531 670 405 0 531175 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2136924 KiB
Current children cumulated memory: 142124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 19335
/proc/meminfo: memFree=23570576/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2133672 memory=138872 CPUtime=282.29 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 169247 0 0 0 28036 193 0 0 20 0 1 0 249498857 2184880128 34718 33554432000 4194304 5849940 140721643435840 140721643434840 4225545 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 533418 34718 670 405 0 530362 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2133672 KiB
Current children cumulated memory: 138872 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 19336
/proc/meminfo: memFree=23533388/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2171288 memory=176488 CPUtime=342.3 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 188878 0 0 0 33996 234 0 0 20 0 1 0 249498857 2223398912 44122 33554432000 4194304 5849940 140721643435840 140721643434488 4207546 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 542822 44122 670 405 0 539766 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2171288 KiB
Current children cumulated memory: 176488 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 19338
/proc/meminfo: memFree=23529596/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2138340 memory=143540 CPUtime=402.3 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 190922 0 0 0 39961 269 0 0 20 0 1 0 249498857 2189660160 35885 33554432000 4194304 5849940 140721643435840 140721643434840 5438459 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 534585 35885 670 405 0 531529 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2138340 KiB
Current children cumulated memory: 143540 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 19339
/proc/meminfo: memFree=23275096/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2331936 memory=337092 CPUtime=462.3 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 209522 0 0 0 45921 309 0 0 20 0 1 0 249498857 2387902464 84273 33554432000 4194304 5849940 140721643435840 140721643434840 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 582984 84273 670 405 0 579928 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2331936 KiB
Current children cumulated memory: 337092 KiB
################
# More data... #
################
/proc/19322/statm: 534935 37637 670 405 0 531879 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2139740 KiB
Current children cumulated memory: 150548 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 19399
/proc/meminfo: memFree=23343484/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2186704 memory=197148 CPUtime=1782.3 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 430487 0 0 0 177215 1015 0 0 20 0 1 0 249498857 2239184896 49287 33554432000 4194304 5849940 140721643435840 140721643434840 5437819 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 546676 49287 670 405 0 543620 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2186704 KiB
Current children cumulated memory: 197148 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 19400
/proc/meminfo: memFree=23301208/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2228872 memory=239536 CPUtime=1842.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 434327 0 0 0 183183 1048 0 0 20 0 1 0 249498857 2282364928 59884 33554432000 4194304 5849940 140721643435840 140721643434840 5335737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 557218 59884 670 405 0 554162 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2228872 KiB
Current children cumulated memory: 239536 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/188 19409
/proc/meminfo: memFree=23276440/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2252844 memory=263484 CPUtime=1902.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 442831 0 0 0 189159 1072 0 0 20 0 1 0 249498857 2306912256 65871 33554432000 4194304 5849940 140721643435840 140721643434840 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 563211 65871 670 405 0 560155 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2252844 KiB
Current children cumulated memory: 263484 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 19410
/proc/meminfo: memFree=23310488/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2219312 memory=229788 CPUtime=1962.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 445982 0 0 0 195129 1102 0 0 20 0 1 0 249498857 2272575488 57447 33554432000 4194304 5849940 140721643435840 140721643434840 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 554828 57447 670 405 0 551772 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2219312 KiB
Current children cumulated memory: 229788 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 19411
/proc/meminfo: memFree=23174348/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2219312 memory=229788 CPUtime=2022.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 449784 0 0 0 201097 1135 0 0 20 0 1 0 249498857 2272575488 57447 33554432000 4194304 5849940 140721643435840 140721643434840 5437954 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 554828 57447 670 405 0 551772 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2219312 KiB
Current children cumulated memory: 229788 KiB
[startup+2082.3 s]
/proc/loadavg: 1.85 2.00 2.03 2/181 19458
/proc/meminfo: memFree=23605176/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2219312 memory=229988 CPUtime=2082.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 455357 0 0 0 207069 1162 0 0 20 0 1 0 249498857 2272575488 57497 33554432000 4194304 5849940 140721643435840 140721643434840 5335780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 554828 57497 670 405 0 551772 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2219312 KiB
Current children cumulated memory: 229988 KiB
[startup+2142.3 s]
/proc/loadavg: 1.31 1.82 1.97 2/181 19459
/proc/meminfo: memFree=23605056/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2219176 memory=229856 CPUtime=2142.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 457778 0 0 0 213039 1192 0 0 20 0 1 0 249498857 2272436224 57464 33554432000 4194304 5849940 140721643435840 140721643434840 5438016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 554794 57464 670 405 0 551738 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2219176 KiB
Current children cumulated memory: 229856 KiB
[startup+2202.3 s]
/proc/loadavg: 1.11 1.67 1.91 2/180 19461
/proc/meminfo: memFree=23623496/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2201260 memory=211940 CPUtime=2202.31 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 464221 0 0 0 219011 1220 0 0 20 0 1 0 249498857 2254090240 52985 33554432000 4194304 5849940 140721643435840 140721643434840 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 550315 52985 670 405 0 547259 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2201260 KiB
Current children cumulated memory: 211940 KiB
[startup+2262.3 s]
/proc/loadavg: 1.04 1.55 1.85 2/180 19462
/proc/meminfo: memFree=23591800/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2234028 memory=244708 CPUtime=2262.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 467501 0 0 0 224989 1243 0 0 20 0 1 0 249498857 2287644672 61177 33554432000 4194304 5849940 140721643435840 140721643434840 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 558507 61177 670 405 0 555451 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2234028 KiB
Current children cumulated memory: 244708 KiB
[startup+2322.3 s]
/proc/loadavg: 1.02 1.45 1.80 2/180 19463
/proc/meminfo: memFree=23624008/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2201260 memory=211940 CPUtime=2322.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 472057 0 0 0 230966 1266 0 0 20 0 1 0 249498857 2254090240 52985 33554432000 4194304 5849940 140721643435840 140721643434840 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 550315 52985 670 405 0 547259 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2201260 KiB
Current children cumulated memory: 211940 KiB
[startup+2382.3 s]
/proc/loadavg: 1.07 1.38 1.75 2/180 19465
/proc/meminfo: memFree=23515292/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2310004 memory=320684 CPUtime=2382.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 477855 0 0 0 236948 1284 0 0 20 0 1 0 249498857 2365444096 80171 33554432000 4194304 5849940 140721643435840 140721643435000 140540934750087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 577501 80171 670 405 0 574445 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2310004 KiB
Current children cumulated memory: 320684 KiB
[startup+2442.3 s]
/proc/loadavg: 1.03 1.31 1.71 2/180 19466
/proc/meminfo: memFree=23515160/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2310004 memory=320684 CPUtime=2442.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 482325 0 0 0 242937 1295 0 0 20 0 1 0 249498857 2365444096 80171 33554432000 4194304 5849940 140721643435840 140721643434840 5438576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 577501 80171 670 405 0 574445 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2310004 KiB
Current children cumulated memory: 320684 KiB
[startup+2502.3 s]
/proc/loadavg: 1.01 1.26 1.66 2/181 19475
/proc/meminfo: memFree=23514784/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2309892 memory=320572 CPUtime=2502.32 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 483910 0 0 0 248923 1309 0 0 20 0 1 0 249498857 2365329408 80143 33554432000 4194304 5849940 140721643435840 140721643434840 5307805 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 577473 80143 670 405 0 574417 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2309892 KiB
Current children cumulated memory: 320572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.01 1.24 1.65 2/181 19475
/proc/meminfo: memFree=23515040/32770624 swapFree=67108368/67108860
[pid=19322] ppid=19319 vsize=2309892 memory=320572 CPUtime=2520.04 cores=1,3,5,7
/proc/19322/stat : 19322 (xcsp_picat) R 19319 19322 15953 0 -1 4202496 486879 0 0 0 250689 1315 0 0 20 0 1 0 249498857 2365329408 80143 33554432000 4194304 5849940 140721643435840 140721643434840 5437817 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16244736 140721643439286 140721643439364 140721643439364 140721643442122 0
/proc/19322/statm: 577473 80143 670 405 0 574417 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2309892 KiB
Current children cumulated memory: 320572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 19322 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.89 s, system=13.1543 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): 2520.05
CPU user time (s): 2506.89
CPU system time (s): 13.1543
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2635508
Max. memory (cumulated for all children) (KiB): 640708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.89
system time used= 13.1543
maximum resident set size= 640708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486879
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= 29
involuntary context switches= 1283
# summary of solver processes directly reported to runsolver:
# pid: 19322
# total CPU time (s): 2520.05
# total CPU user time (s): 2506.89
# total CPU system time (s): 13.1543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.225 second user time and 16.1404 second system time
The end