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 (3124 MiB free)
memory of node 1: 16384 MiB (3303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303020-1534018751/watcher-4303020-1534018751 -o /tmp/evaluation-result-4303020-1534018751/solver-4303020-1534018751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10865 --watchdog 2580 xcsp_picat HOME/instance-4303020-1534018751.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=14565, runsolver pid=14562
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6561204/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2025744 memory=24668 CPUtime=0.1 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 1759 0 0 0 10 0 0 0 20 0 1 0 219438230 2074361856 6167 33554432000 4194304 5849708 140734898478784 140734898478784 4490924 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 506436 6167 597 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24668 KiB
[startup+0.209741 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6550964/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2025744 memory=32860 CPUtime=0.21 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 1763 0 0 0 21 0 0 0 20 0 1 0 219438230 2074361856 8215 33554432000 4194304 5849708 140734898478784 140734898478784 139969771990016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 506436 8215 597 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32860 KiB
[startup+0.30961 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6542772/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2025744 memory=41052 CPUtime=0.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 1767 0 0 0 31 0 0 0 20 0 1 0 219438230 2074361856 10263 33554432000 4194304 5849708 140734898478784 140734898478784 139969771990016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 506436 10263 597 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 41052 KiB
[startup+0.700361 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6526072/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2030116 memory=70444 CPUtime=0.69 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 3025 0 0 0 68 1 0 0 20 0 1 0 219438230 2078838784 17611 33554432000 4194304 5849708 140734898478784 140734898478088 4476490 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 507529 17611 656 405 0 504474 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030116 KiB
Current children cumulated memory: 70444 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6506160/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2037560 memory=77608 CPUtime=1.49 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 6614 0 0 0 148 1 0 0 20 0 1 0 219438230 2086461440 19402 33554432000 4194304 5849708 140734898478784 140734898477176 5359611 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 509390 19402 671 405 0 506335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037560 KiB
Current children cumulated memory: 77608 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6505556/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2037612 memory=78076 CPUtime=3.09 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 12299 0 0 0 307 2 0 0 20 0 1 0 219438230 2086514688 19519 33554432000 4194304 5849708 140734898478784 140734898477272 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 509403 19519 689 405 0 506348 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2037612 KiB
Current children cumulated memory: 78076 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6504176/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2038392 memory=78848 CPUtime=6.29 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 18353 0 0 0 623 6 0 0 20 0 1 0 219438230 2087313408 19712 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 509598 19712 689 405 0 506543 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2038392 KiB
Current children cumulated memory: 78848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14566
/proc/meminfo: memFree=6499836/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2042880 memory=83468 CPUtime=12.69 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 22358 0 0 0 1255 14 0 0 20 0 1 0 219438230 2091909120 20867 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 510720 20867 689 405 0 507665 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2042880 KiB
Current children cumulated memory: 83468 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14566
/proc/meminfo: memFree=6497204/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2045664 memory=86252 CPUtime=25.49 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 33129 0 0 0 2524 25 0 0 20 0 1 0 219438230 2094759936 21563 33554432000 4194304 5849708 140734898478784 140734898477784 5359170 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 511416 21563 689 405 0 508361 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2045664 KiB
Current children cumulated memory: 86252 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14573
/proc/meminfo: memFree=6485776/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2053324 memory=93912 CPUtime=51.1 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 41572 0 0 0 5064 46 0 0 20 0 1 0 219438230 2102603776 23478 33554432000 4194304 5849708 140734898478784 140734898477656 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 513331 23478 689 405 0 510276 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053324 KiB
Current children cumulated memory: 93912 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14574
/proc/meminfo: memFree=6459060/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2080048 memory=120636 CPUtime=102.3 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 57560 0 0 0 10152 78 0 0 20 0 1 0 219438230 2129969152 30159 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 520012 30159 689 405 0 516957 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2080048 KiB
Current children cumulated memory: 120636 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14575
/proc/meminfo: memFree=6458068/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2081412 memory=122000 CPUtime=162.29 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 74169 0 0 0 16116 113 0 0 20 0 1 0 219438230 2131365888 30500 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 520353 30500 689 405 0 517298 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2081412 KiB
Current children cumulated memory: 122000 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14576
/proc/meminfo: memFree=6434996/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2101280 memory=141868 CPUtime=222.29 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 90632 0 0 0 22079 150 0 0 20 0 1 0 219438230 2151710720 35467 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 525320 35467 689 405 0 522265 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2101280 KiB
Current children cumulated memory: 141868 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14577
/proc/meminfo: memFree=6442380/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2093800 memory=134388 CPUtime=282.3 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 104882 0 0 0 28049 181 0 0 20 0 1 0 219438230 2144051200 33597 33554432000 4194304 5849708 140734898478784 140734898477784 5352688 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 523450 33597 689 405 0 520395 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2093800 KiB
Current children cumulated memory: 134388 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14578
/proc/meminfo: memFree=6425252/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2093800 memory=134388 CPUtime=342.29 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 113574 0 0 0 34018 211 0 0 20 0 1 0 219438230 2144051200 33597 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 523450 33597 689 405 0 520395 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2093800 KiB
Current children cumulated memory: 134388 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14580
/proc/meminfo: memFree=6435060/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2096568 memory=137128 CPUtime=402.3 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 129906 0 0 0 39990 240 0 0 20 0 1 0 219438230 2146885632 34282 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 524142 34282 689 405 0 521087 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2096568 KiB
Current children cumulated memory: 137128 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14581
/proc/meminfo: memFree=6427300/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2107468 memory=148056 CPUtime=462.3 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 148505 0 0 0 45958 272 0 0 20 0 1 0 219438230 2158047232 37014 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 526867 37014 689 405 0 523812 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2107468 KiB
Current children cumulated memory: 148056 KiB
################
# More data... #
################
/proc/14565/statm: 536201 45918 689 405 0 533146 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2144804 KiB
Current children cumulated memory: 183672 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14620
/proc/meminfo: memFree=6355276/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2157604 memory=196388 CPUtime=1782.3 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 511258 0 0 0 177308 922 0 0 20 0 1 0 219438230 2209386496 49097 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 539401 49097 689 405 0 536346 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2157604 KiB
Current children cumulated memory: 196388 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14621
/proc/meminfo: memFree=6349108/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2164128 memory=202996 CPUtime=1842.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 524630 0 0 0 183281 950 0 0 20 0 1 0 219438230 2216067072 50749 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 541032 50749 689 405 0 537977 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2164128 KiB
Current children cumulated memory: 202996 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14630
/proc/meminfo: memFree=6370564/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2142308 memory=181176 CPUtime=1902.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 534044 0 0 0 189249 982 0 0 20 0 1 0 219438230 2193723392 45294 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 535577 45294 689 405 0 532522 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2142308 KiB
Current children cumulated memory: 181176 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14631
/proc/meminfo: memFree=6361380/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2147388 memory=186256 CPUtime=1962.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 543594 0 0 0 195228 1003 0 0 20 0 1 0 219438230 2198925312 46564 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 536847 46564 689 405 0 533792 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2147388 KiB
Current children cumulated memory: 186256 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14632
/proc/meminfo: memFree=6339008/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2165692 memory=204504 CPUtime=2022.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 553547 0 0 0 201201 1030 0 0 20 0 1 0 219438230 2217668608 51126 33554432000 4194304 5849708 140734898478784 140734898477784 5312900 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 541423 51126 689 405 0 538368 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2165692 KiB
Current children cumulated memory: 204504 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14633
/proc/meminfo: memFree=6393064/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2107008 memory=150596 CPUtime=2082.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 563881 0 0 0 207172 1059 0 0 20 0 1 0 219438230 2157576192 37649 33554432000 4194304 5849708 140734898478784 140734898477656 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 526752 37649 689 405 0 523697 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2107008 KiB
Current children cumulated memory: 150596 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14634
/proc/meminfo: memFree=6386588/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2113500 memory=156960 CPUtime=2142.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 576242 0 0 0 213144 1087 0 0 20 0 1 0 219438230 2164224000 39240 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 528375 39240 689 405 0 525320 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2113500 KiB
Current children cumulated memory: 156960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14697
/proc/meminfo: memFree=6469932/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2135344 memory=174724 CPUtime=2202.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 582991 0 0 0 219122 1109 0 0 20 0 1 0 219438230 2186592256 43681 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 533836 43681 689 405 0 530781 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2135344 KiB
Current children cumulated memory: 174724 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14698
/proc/meminfo: memFree=6402200/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2150552 memory=193964 CPUtime=2262.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 594248 0 0 0 225098 1133 0 0 20 0 1 0 219438230 2202165248 48491 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 537638 48491 689 405 0 534583 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2150552 KiB
Current children cumulated memory: 193964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14699
/proc/meminfo: memFree=6389648/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2140144 memory=183604 CPUtime=2322.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 600368 0 0 0 231073 1158 0 0 20 0 1 0 219438230 2191507456 45901 33554432000 4194304 5849708 140734898478784 140734898477432 5361808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 535036 45901 689 405 0 531981 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2140144 KiB
Current children cumulated memory: 183604 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14701
/proc/meminfo: memFree=6279120/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2163188 memory=206648 CPUtime=2382.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 616216 0 0 0 237047 1184 0 0 20 0 1 0 219438230 2215104512 51662 33554432000 4194304 5849708 140734898478784 140734898477784 5438096 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 540797 51662 689 405 0 537742 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2163188 KiB
Current children cumulated memory: 206648 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 14702
/proc/meminfo: memFree=6322488/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2162152 memory=205608 CPUtime=2442.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 622156 0 0 0 243022 1209 0 0 20 0 1 0 219438230 2214043648 51402 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 540538 51402 689 405 0 537483 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2162152 KiB
Current children cumulated memory: 205608 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 14710
/proc/meminfo: memFree=6275380/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2127536 memory=170996 CPUtime=2502.31 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 635355 0 0 0 248991 1240 0 0 20 0 1 0 219438230 2178596864 42749 33554432000 4194304 5849708 140734898478784 140734898477784 139969772011399 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 531884 42749 689 405 0 528829 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2127536 KiB
Current children cumulated memory: 170996 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 14732
/proc/meminfo: memFree=6258184/32770624 swapFree=67108404/67108860
[pid=14565] ppid=14562 vsize=2143360 memory=186672 CPUtime=2520.02 cores=1,3,5,7
/proc/14565/stat : 14565 (xcsp_picat) R 14562 14565 10833 0 -1 4202496 640226 0 0 0 250755 1247 0 0 20 0 1 0 219438230 2194800640 46668 33554432000 4194304 5849708 140734898478784 140734898477784 5437837 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 22167552 140734898480310 140734898480388 140734898480388 140734898483146 0
/proc/14565/statm: 535840 46668 689 405 0 532785 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2143360 KiB
Current children cumulated memory: 186672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14565 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.56 s, system=12.4812 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.04
CPU user time (s): 2507.56
CPU system time (s): 12.4812
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2211532
Max. memory (cumulated for all children) (KiB): 252032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.56
system time used= 12.4812
maximum resident set size= 252032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640226
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= 25
involuntary context switches= 1738
# summary of solver processes directly reported to runsolver:
# pid: 14565
# total CPU time (s): 2520.04
# total CPU user time (s): 2507.56
# total CPU system time (s): 12.4812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0221 second user time and 18.0838 second system time
The end