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 (10693 MiB free)
memory of node 1: 16384 MiB (12779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309763-1534302021/watcher-4309763-1534302021 -o /tmp/evaluation-result-4309763-1534302021/solver-4309763-1534302021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309763-1534302021.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
Current StackSize limit: 8192 KiB
solver pid=14685, runsolver pid=14682
[startup+0.100499 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24024712/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2026976 memory=14992 CPUtime=0.1 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1948 0 0 0 10 0 0 0 20 0 1 0 247765259 2075623424 3748 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 506744 3748 653 405 0 503688 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026976 KiB
Current children cumulated memory: 14992 KiB
[startup+0.209786 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24023780/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2027656 memory=15700 CPUtime=0.2 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 2462 0 0 0 20 0 0 0 20 0 1 0 247765259 2076319744 3925 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 506914 3925 653 405 0 503858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027656 KiB
Current children cumulated memory: 15700 KiB
[startup+0.309211 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24023704/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2028040 memory=15984 CPUtime=0.3 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 3085 0 0 0 30 0 0 0 20 0 1 0 247765259 2076712960 3996 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 507010 3996 653 405 0 503954 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028040 KiB
Current children cumulated memory: 15984 KiB
[startup+0.700253 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24020928/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2031228 memory=19232 CPUtime=0.68 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 5837 0 0 0 67 1 0 0 20 0 1 0 247765259 2079977472 4808 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 507807 4808 653 405 0 504751 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031228 KiB
Current children cumulated memory: 19232 KiB
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24019728/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2035384 memory=23288 CPUtime=1.48 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 10070 0 0 0 145 3 0 0 20 0 1 0 247765259 2084233216 5822 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 508846 5822 653 405 0 505790 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2035384 KiB
Current children cumulated memory: 23288 KiB
[startup+3.10966 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24014328/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2038960 memory=26896 CPUtime=3.1 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 21594 0 0 0 302 8 0 0 20 0 1 0 247765259 2087895040 6724 33554432000 4194304 5849940 140734297967680 140734297966680 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 509740 6724 653 405 0 506684 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038960 KiB
Current children cumulated memory: 26896 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=24004060/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2043108 memory=31088 CPUtime=6.28 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 39161 0 0 0 613 15 0 0 20 0 1 0 247765259 2092142592 7772 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 510777 7772 653 405 0 507721 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2043108 KiB
Current children cumulated memory: 31088 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=23994860/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2049936 memory=37952 CPUtime=12.68 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 70498 0 0 0 1241 27 0 0 20 0 1 0 247765259 2099134464 9488 33554432000 4194304 5849940 140734297967680 140734297966840 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 512484 9488 653 405 0 509428 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2049936 KiB
Current children cumulated memory: 37952 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14686
/proc/meminfo: memFree=23981844/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2079724 memory=67740 CPUtime=25.49 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 123450 0 0 0 2504 45 0 0 20 0 1 0 247765259 2129637376 16935 33554432000 4194304 5849940 140734297967680 140734297966680 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 519931 16935 653 405 0 516875 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2079724 KiB
Current children cumulated memory: 67740 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14708
/proc/meminfo: memFree=23951120/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2082200 memory=70216 CPUtime=51.1 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 185236 0 0 0 5039 71 0 0 20 0 1 0 247765259 2132172800 17554 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 520550 17554 653 405 0 517494 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2082200 KiB
Current children cumulated memory: 70216 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14709
/proc/meminfo: memFree=23819992/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2193580 memory=181392 CPUtime=102.28 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 259611 0 0 0 10113 115 0 0 20 0 1 0 247765259 2246225920 45348 33554432000 4194304 5849940 140734297967680 140734297966680 5335774 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 548395 45348 653 405 0 545339 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2193580 KiB
Current children cumulated memory: 181392 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14710
/proc/meminfo: memFree=23811020/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2186592 memory=174428 CPUtime=162.28 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 314039 0 0 0 16076 152 0 0 20 0 1 0 247765259 2239070208 43607 33554432000 4194304 5849940 140734297967680 140734297966680 5438429 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 546648 43607 653 405 0 543592 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2186592 KiB
Current children cumulated memory: 174428 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14711
/proc/meminfo: memFree=23767800/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2161372 memory=149200 CPUtime=222.27 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 341984 0 0 0 22035 192 0 0 20 0 1 0 247765259 2213244928 37300 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 540343 37300 653 405 0 537287 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2161372 KiB
Current children cumulated memory: 149200 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14712
/proc/meminfo: memFree=23680684/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2150608 memory=138624 CPUtime=282.28 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 399233 0 0 0 28002 226 0 0 20 0 1 0 247765259 2202222592 34656 33554432000 4194304 5849940 140734297967680 140734297966680 5437828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 537652 34656 653 405 0 534596 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2150608 KiB
Current children cumulated memory: 138624 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14713
/proc/meminfo: memFree=23587064/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2112528 memory=100672 CPUtime=342.27 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 439450 0 0 0 33968 259 0 0 20 0 1 0 247765259 2163228672 25168 33554432000 4194304 5849940 140734297967680 140734297966680 5438429 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 528132 25168 653 405 0 525076 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2112528 KiB
Current children cumulated memory: 100672 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14714
/proc/meminfo: memFree=23767980/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2115656 memory=103652 CPUtime=402.28 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 493032 0 0 0 39929 299 0 0 20 0 1 0 247765259 2166431744 25913 33554432000 4194304 5849940 140734297967680 140734297966088 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 528914 25913 653 405 0 525858 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2115656 KiB
Current children cumulated memory: 103652 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14715
/proc/meminfo: memFree=23755372/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2202076 memory=190060 CPUtime=462.27 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 559173 0 0 0 45886 341 0 0 20 0 1 0 247765259 2254925824 47515 33554432000 4194304 5849940 140734297967680 140734297966680 5335801 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 550519 47515 653 405 0 547463 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2202076 KiB
Current children cumulated memory: 190060 KiB
################
# More data... #
################
/proc/14685/statm: 713763 211806 653 405 0 710707 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2855052 KiB
Current children cumulated memory: 847224 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 14824
/proc/meminfo: memFree=21861344/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2855052 memory=847264 CPUtime=1782.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1140720 0 0 0 177462 755 0 0 20 0 1 0 247765259 2923573248 211816 33554432000 4194304 5849940 140734297967680 140734297966552 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 713763 211816 653 405 0 710707 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 2855052 KiB
Current children cumulated memory: 847264 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 14825
/proc/meminfo: memFree=21702848/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=3013772 memory=1005832 CPUtime=1842.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1172173 0 0 0 183449 768 0 0 20 0 1 0 247765259 3086102528 251458 33554432000 4194304 5849940 140734297967680 140734297966680 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 753443 251458 653 405 0 750387 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 3013772 KiB
Current children cumulated memory: 1005832 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 14826
/proc/meminfo: memFree=21542224/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=3173900 memory=1166112 CPUtime=1902.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1235238 0 0 0 189429 788 0 0 20 0 1 0 247765259 3250073600 291528 33554432000 4194304 5849940 140734297967680 140734297966840 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 793475 291528 653 405 0 790419 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 3173900 KiB
Current children cumulated memory: 1166112 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 14827
/proc/meminfo: memFree=21542760/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=3173900 memory=1166112 CPUtime=1962.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1319455 0 0 0 195417 800 0 0 20 0 1 0 247765259 3250073600 291528 33554432000 4194304 5849940 140734297967680 140734297966680 5438465 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 793475 291528 653 405 0 790419 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 3173900 KiB
Current children cumulated memory: 1166112 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 14828
/proc/meminfo: memFree=22251332/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2465752 memory=457836 CPUtime=2022.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1354677 0 0 0 201393 824 0 0 20 0 1 0 247765259 2524930048 114459 33554432000 4194304 5849940 140734297967680 140734297966840 5438492 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 616438 114459 653 405 0 613382 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2465752 KiB
Current children cumulated memory: 457836 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 14829
/proc/meminfo: memFree=22194560/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2523544 memory=515628 CPUtime=2082.16 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1379196 0 0 0 207383 833 0 0 20 0 1 0 247765259 2584109056 128907 33554432000 4194304 5849940 140734297967680 140734297966680 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 630886 128907 653 405 0 627830 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 2523544 KiB
Current children cumulated memory: 515628 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14830
/proc/meminfo: memFree=22189924/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2528128 memory=520212 CPUtime=2142.17 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1383531 0 0 0 213377 840 0 0 20 0 1 0 247765259 2588803072 130053 33554432000 4194304 5849940 140734297967680 140734297966840 5413552 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 632032 130053 653 405 0 628976 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2528128 KiB
Current children cumulated memory: 520212 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14831
/proc/meminfo: memFree=22119380/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2598420 memory=590504 CPUtime=2202.16 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1409144 0 0 0 219363 853 0 0 20 0 1 0 247765259 2660782080 147626 33554432000 4194304 5849940 140734297967680 140734297966680 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 649605 147626 653 405 0 646549 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 2598420 KiB
Current children cumulated memory: 590504 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14832
/proc/meminfo: memFree=21944880/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2772516 memory=764600 CPUtime=2262.16 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1411466 0 0 0 225349 867 0 0 20 0 1 0 247765259 2839056384 191150 33554432000 4194304 5849940 140734297967680 140734297966840 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 693129 191150 653 405 0 690073 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 2772516 KiB
Current children cumulated memory: 764600 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14833
/proc/meminfo: memFree=21913556/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2805284 memory=797368 CPUtime=2322.16 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1466272 0 0 0 231338 878 0 0 20 0 1 0 247765259 2872610816 199342 33554432000 4194304 5849940 140734297967680 140734297966840 5438453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 701321 199342 653 405 0 698265 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2805284 KiB
Current children cumulated memory: 797368 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 14843
/proc/meminfo: memFree=21796804/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2920016 memory=912088 CPUtime=2382.15 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1481573 0 0 0 237327 888 0 0 20 0 1 0 247765259 2990096384 228022 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 730004 228022 653 405 0 726948 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 2920016 KiB
Current children cumulated memory: 912088 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 14844
/proc/meminfo: memFree=21796928/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=2920016 memory=912100 CPUtime=2442.15 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1562101 0 0 0 243318 897 0 0 20 0 1 0 247765259 2990096384 228025 33554432000 4194304 5849940 140734297967680 140734297966680 5438033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 730004 228025 653 405 0 726948 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2920016 KiB
Current children cumulated memory: 912100 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14845
/proc/meminfo: memFree=21660904/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=3056244 memory=1048168 CPUtime=2502.15 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1643573 0 0 0 249302 913 0 0 20 0 1 0 247765259 3129593856 262042 33554432000 4194304 5849940 140734297967680 140734297966552 5312979 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 764061 262042 653 405 0 761005 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 3056244 KiB
Current children cumulated memory: 1048168 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14845
/proc/meminfo: memFree=21661152/32770624 swapFree=67059124/67108860
[pid=14685] ppid=14682 vsize=3056244 memory=1048328 CPUtime=2519.86 cores=0,2,4,6
/proc/14685/stat : 14685 (xcsp_picat) R 14682 14685 13719 0 -1 4202496 1681647 0 0 0 251068 918 0 0 20 0 1 0 247765259 3129593856 262082 33554432000 4194304 5849940 140734297967680 140734297966680 140600515714951 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 21594112 140734297973942 140734297974020 140734297974020 140734297976778 0
/proc/14685/statm: 764061 262082 653 405 0 761005 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 3056244 KiB
Current children cumulated memory: 1048328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 14685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.68 s, system=9.21372 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.04
CPU time (s): 2519.9
CPU user time (s): 2510.68
CPU system time (s): 9.21372
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 3173900
Max. memory (cumulated for all children) (KiB): 1166112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.68
system time used= 9.21372
maximum resident set size= 1166112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1681647
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= 105
involuntary context switches= 3184
# summary of solver processes directly reported to runsolver:
# pid: 14685
# total CPU time (s): 2519.9
# total CPU user time (s): 2510.68
# total CPU system time (s): 9.21372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.10675 second user time and 20.7739 second system time
The end