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 (7039 MiB free)
memory of node 1: 16384 MiB (10990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309320-1534312507/watcher-4309320-1534312507 -o /tmp/evaluation-result-4309320-1534312507/solver-4309320-1534312507 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21340 --watchdog 2580 xcsp_picat HOME/instance-4309320-1534312507.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=23721, runsolver pid=23718
[startup+0.100145 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18448892/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2026616 memory=16808 CPUtime=0.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 1818 0 0 0 10 0 0 0 20 0 1 0 248813953 2075254784 4202 33554432000 4194304 5849940 140726813060816 140726813060816 5326511 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 506654 4202 717 405 0 503598 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 16808 KiB
[startup+0.209535 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18448548/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2026616 memory=16808 CPUtime=0.21 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 1822 0 0 0 21 0 0 0 20 0 1 0 248813953 2075254784 4202 33554432000 4194304 5849940 140726813060816 140726813059304 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 506654 4202 717 405 0 503598 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 16808 KiB
[startup+0.308742 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18448548/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2026720 memory=16808 CPUtime=0.3 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 1858 0 0 0 30 0 0 0 20 0 1 0 248813953 2075361280 4202 33554432000 4194304 5849940 140726813060816 140726813059304 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 506680 4202 717 405 0 503624 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026720 KiB
Current children cumulated memory: 16808 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18447804/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2028028 memory=18348 CPUtime=0.69 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 2410 0 0 0 67 2 0 0 20 0 1 0 248813953 2076700672 4587 33554432000 4194304 5849940 140726813060816 140726813059304 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 507007 4587 730 405 0 503951 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028028 KiB
Current children cumulated memory: 18348 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18447060/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2028680 memory=18944 CPUtime=1.49 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 3288 0 0 0 146 3 0 0 20 0 1 0 248813953 2077368320 4736 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 507170 4736 730 405 0 504114 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028680 KiB
Current children cumulated memory: 18944 KiB
[startup+3.10924 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18441460/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2030704 memory=20880 CPUtime=3.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 4974 0 0 0 305 5 0 0 20 0 1 0 248813953 2079440896 5220 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 507676 5220 730 405 0 504620 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030704 KiB
Current children cumulated memory: 20880 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18441092/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2031016 memory=21244 CPUtime=6.29 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 8884 0 0 0 620 9 0 0 20 0 1 0 248813953 2079760384 5311 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 507754 5311 730 405 0 504698 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031016 KiB
Current children cumulated memory: 21244 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18430608/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2034792 memory=24844 CPUtime=12.69 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 16650 0 0 0 1254 15 0 0 20 0 1 0 248813953 2083627008 6211 33554432000 4194304 5849940 140726813060816 140726813059688 5397568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 508698 6211 730 405 0 505642 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034792 KiB
Current children cumulated memory: 24844 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23722
/proc/meminfo: memFree=18430228/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2045824 memory=36136 CPUtime=25.49 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 27964 0 0 0 2523 26 0 0 20 0 1 0 248813953 2094923776 9034 33554432000 4194304 5849940 140726813060816 140726813059688 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 511456 9034 730 405 0 508400 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2045824 KiB
Current children cumulated memory: 36136 KiB
[startup+51.1096 s]
/proc/loadavg: 2.41 2.13 2.08 3/187 23722
/proc/meminfo: memFree=18405284/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2062960 memory=53044 CPUtime=51.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 40643 0 0 0 5071 39 0 0 20 0 1 0 248813953 2112471040 13261 33554432000 4194304 5849940 140726813060816 140726813059976 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 515740 13261 730 405 0 512684 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2062960 KiB
Current children cumulated memory: 53044 KiB
[startup+102.3 s]
/proc/loadavg: 2.50 2.21 2.11 3/187 23723
/proc/meminfo: memFree=18391832/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2076100 memory=66304 CPUtime=102.28 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 60446 0 0 0 10169 59 0 0 20 0 1 0 248813953 2125926400 16576 33554432000 4194304 5849940 140726813060816 140726813059816 5437897 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 519025 16576 730 405 0 515969 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2076100 KiB
Current children cumulated memory: 66304 KiB
[startup+162.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/187 23724
/proc/meminfo: memFree=18413512/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2054644 memory=44896 CPUtime=162.28 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 74233 0 0 0 16126 102 0 0 20 0 1 0 248813953 2103955456 11224 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 513661 11224 742 405 0 510605 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2054644 KiB
Current children cumulated memory: 44896 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.14 2.10 3/187 23726
/proc/meminfo: memFree=18365432/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2112400 memory=96144 CPUtime=222.28 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 78410 0 0 0 22095 133 0 0 20 0 1 0 248813953 2163097600 24036 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 528100 24036 742 405 0 525044 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2112400 KiB
Current children cumulated memory: 96144 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.12 2.09 3/187 23727
/proc/meminfo: memFree=18328244/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2133296 memory=123548 CPUtime=282.27 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 82527 0 0 0 28073 154 0 0 20 0 1 0 248813953 2184495104 30887 33554432000 4194304 5849940 140726813060816 140726813059816 5335806 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 533324 30887 742 405 0 530268 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2133296 KiB
Current children cumulated memory: 123548 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.10 2.09 3/187 23735
/proc/meminfo: memFree=18306880/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2158668 memory=148708 CPUtime=342.26 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 90995 0 0 0 34056 170 0 0 20 0 1 0 248813953 2210476032 37177 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 539667 37177 742 405 0 536611 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2158668 KiB
Current children cumulated memory: 148708 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/188 23759
/proc/meminfo: memFree=18308508/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2164636 memory=154904 CPUtime=402.26 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 98273 0 0 0 40042 184 0 0 20 0 1 0 248813953 2216587264 38726 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 541159 38726 742 405 0 538103 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2164636 KiB
Current children cumulated memory: 154904 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/188 23760
/proc/meminfo: memFree=18270240/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2197456 memory=187492 CPUtime=462.25 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 102368 0 0 0 46027 198 0 0 20 0 1 0 248813953 2250194944 46873 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 549364 46873 742 405 0 546308 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2197456 KiB
Current children cumulated memory: 187492 KiB
################
# More data... #
################
/proc/23721/statm: 592541 91196 742 405 0 589485 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 2370164 KiB
Current children cumulated memory: 364784 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23858
/proc/meminfo: memFree=17623952/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2370164 memory=364784 CPUtime=1782.12 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 277481 0 0 0 177804 408 0 0 20 0 1 0 248813953 2427047936 91196 33554432000 4194304 5849940 140726813060816 140726813059816 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 592541 91196 742 405 0 589485 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 2370164 KiB
Current children cumulated memory: 364784 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23860
/proc/meminfo: memFree=17663496/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2370164 memory=364784 CPUtime=1842.12 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 308321 0 0 0 183797 415 0 0 20 0 1 0 248813953 2427047936 91196 33554432000 4194304 5849940 140726813060816 140726813059816 5438560 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 592541 91196 742 405 0 589485 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2370164 KiB
Current children cumulated memory: 364784 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23861
/proc/meminfo: memFree=17587600/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2435700 memory=430320 CPUtime=1902.11 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 339735 0 0 0 189788 423 0 0 20 0 1 0 248813953 2494156800 107580 33554432000 4194304 5849940 140726813060816 140726813059816 5437828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 608925 107580 742 405 0 605869 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2435700 KiB
Current children cumulated memory: 430320 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23862
/proc/meminfo: memFree=17587732/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2435700 memory=430320 CPUtime=1962.11 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 377373 0 0 0 195775 436 0 0 20 0 1 0 248813953 2494156800 107580 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 608925 107580 742 405 0 605869 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2435700 KiB
Current children cumulated memory: 430320 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23864
/proc/meminfo: memFree=17555460/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2421360 memory=415980 CPUtime=2022.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 420026 0 0 0 201763 447 0 0 20 0 1 0 248813953 2479472640 103995 33554432000 4194304 5849940 140726813060816 140726813059816 5438016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 605340 103995 742 405 0 602284 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 2421360 KiB
Current children cumulated memory: 415980 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23865
/proc/meminfo: memFree=17740072/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2237264 memory=231884 CPUtime=2082.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 457985 0 0 0 207748 462 0 0 20 0 1 0 248813953 2290958336 57971 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 559316 57971 742 405 0 556260 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 2237264 KiB
Current children cumulated memory: 231884 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23873
/proc/meminfo: memFree=17739576/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2237264 memory=231884 CPUtime=2142.1 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 460619 0 0 0 213735 475 0 0 20 0 1 0 248813953 2290958336 57971 33554432000 4194304 5849940 140726813060816 140726813059816 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 559316 57971 742 405 0 556260 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2237264 KiB
Current children cumulated memory: 231884 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23874
/proc/meminfo: memFree=17685072/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2290340 memory=284832 CPUtime=2202.09 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 497929 0 0 0 219724 485 0 0 20 0 1 0 248813953 2345308160 71208 33554432000 4194304 5849940 140726813060816 140726813059816 5335737 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 572585 71208 742 405 0 569529 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2290340 KiB
Current children cumulated memory: 284832 KiB
[startup+2262.3 s]
/proc/loadavg: 2.59 2.18 2.10 3/187 23875
/proc/meminfo: memFree=17685232/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2290340 memory=284832 CPUtime=2262.08 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 525640 0 0 0 225716 492 0 0 20 0 1 0 248813953 2345308160 71208 33554432000 4194304 5849940 140726813060816 140726813059816 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 572585 71208 742 405 0 569529 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 2290340 KiB
Current children cumulated memory: 284832 KiB
[startup+2322.3 s]
/proc/loadavg: 2.22 2.15 2.09 3/187 23876
/proc/meminfo: memFree=17490996/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2317632 memory=312124 CPUtime=2322.08 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 563209 0 0 0 231704 504 0 0 20 0 1 0 248813953 2373255168 78031 33554432000 4194304 5849940 140726813060816 140726813059816 5438576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 579408 78031 742 405 0 576352 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2317632 KiB
Current children cumulated memory: 312124 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/187 23877
/proc/meminfo: memFree=17557952/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2317632 memory=312124 CPUtime=2382.08 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 596114 0 0 0 237695 513 0 0 20 0 1 0 248813953 2373255168 78031 33554432000 4194304 5849940 140726813060816 140726813059816 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 579408 78031 742 405 0 576352 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2317632 KiB
Current children cumulated memory: 312124 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/187 23878
/proc/meminfo: memFree=17654664/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2317632 memory=312124 CPUtime=2442.07 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 637903 0 0 0 243688 519 0 0 20 0 1 0 248813953 2373255168 78031 33554432000 4194304 5849940 140726813060816 140726813059816 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 579408 78031 742 405 0 576352 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 2317632 KiB
Current children cumulated memory: 312124 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 23879
/proc/meminfo: memFree=17622264/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2317632 memory=312124 CPUtime=2502.07 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 674291 0 0 0 249680 527 0 0 20 0 1 0 248813953 2373255168 78031 33554432000 4194304 5849940 140726813060816 140726813059816 5437842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 579408 78031 742 405 0 576352 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 2317632 KiB
Current children cumulated memory: 312124 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.07 2.07 3/187 23879
/proc/meminfo: memFree=17615812/32770624 swapFree=67108792/67108860
[pid=23721] ppid=23718 vsize=2317632 memory=312124 CPUtime=2519.77 cores=0,2,4,6
/proc/23721/stat : 23721 (xcsp_picat) R 23718 23721 21309 0 -1 4202496 675700 0 0 0 251448 529 0 0 20 0 1 0 248813953 2373255168 78031 33554432000 4194304 5849940 140726813060816 140726813059816 139941946589063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22355968 140726813066422 140726813066500 140726813066500 140726813069258 0
/proc/23721/statm: 579408 78031 742 405 0 576352 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2317632 KiB
Current children cumulated memory: 312124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 23721 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.49 s, system=5.30157 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.79
CPU user time (s): 2514.49
CPU system time (s): 5.30157
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 2435700
Max. memory (cumulated for all children) (KiB): 430320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.49
system time used= 5.30157
maximum resident set size= 430320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675701
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= 32
involuntary context switches= 3152
# summary of solver processes directly reported to runsolver:
# pid: 23721
# total CPU time (s): 2519.79
# total CPU user time (s): 2514.49
# total CPU system time (s): 5.30157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51049 second user time and 19.7543 second system time
The end