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 (5120 MiB free)
memory of node 1: 16384 MiB (3062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303109-1534007511/watcher-4303109-1534007511 -o /tmp/evaluation-result-4303109-1534007511/solver-4303109-1534007511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303109-1534007511.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
solver pid=11527, runsolver pid=11524
Current StackSize limit: 8192 KiB
[startup+0.100743 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8364928/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2026068 memory=18052 CPUtime=0.09 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 2156 0 0 0 9 0 0 0 20 0 1 0 218314328 2074693632 4513 33554432000 4194304 5849708 140727116188016 140727116187112 5606224 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 506517 4513 707 405 0 503462 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026068 KiB
Current children cumulated memory: 18052 KiB
[startup+0.209649 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8362080/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2027100 memory=21088 CPUtime=0.2 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 2417 0 0 0 20 0 0 0 20 0 1 0 218314328 2075750400 5272 33554432000 4194304 5849708 140727116188016 140727116187112 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 506775 5272 712 405 0 503720 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027100 KiB
Current children cumulated memory: 21088 KiB
[startup+0.309118 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8362080/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2027100 memory=21088 CPUtime=0.3 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 2417 0 0 0 29 1 0 0 20 0 1 0 218314328 2075750400 5272 33554432000 4194304 5849708 140727116188016 140727116187112 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 506775 5272 712 405 0 503720 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027100 KiB
Current children cumulated memory: 21088 KiB
[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8360756/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2028124 memory=22116 CPUtime=0.68 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 2673 0 0 0 66 2 0 0 20 0 1 0 218314328 2076798976 5529 33554432000 4194304 5849708 140727116188016 140727116187256 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 507031 5529 712 405 0 503976 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2028124 KiB
Current children cumulated memory: 22116 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8359092/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2032220 memory=26260 CPUtime=1.49 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 3697 0 0 0 144 5 0 0 20 0 1 0 218314328 2080993280 6565 33554432000 4194304 5849708 140727116188016 140727116187128 5614497 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 508055 6565 712 405 0 505000 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032220 KiB
Current children cumulated memory: 26260 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8350472/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2038536 memory=32608 CPUtime=3.09 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 6440 0 0 0 302 7 0 0 20 0 1 0 218314328 2087460864 8152 33554432000 4194304 5849708 140727116188016 140727116186888 5355940 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 509634 8152 730 405 0 506579 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2038536 KiB
Current children cumulated memory: 32608 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8350100/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2037144 memory=33488 CPUtime=6.29 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 9335 0 0 0 613 16 0 0 20 0 1 0 218314328 2086035456 8372 33554432000 4194304 5849708 140727116188016 140727116187256 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 509286 8372 753 405 0 506231 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037144 KiB
Current children cumulated memory: 33488 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8342552/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2044788 memory=41132 CPUtime=12.68 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 13568 0 0 0 1241 27 0 0 20 0 1 0 218314328 2093862912 10283 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 511197 10283 753 405 0 508142 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2044788 KiB
Current children cumulated memory: 41132 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8339240/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2047424 memory=43768 CPUtime=25.48 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 17545 0 0 0 2503 45 0 0 20 0 1 0 218314328 2096562176 10942 33554432000 4194304 5849708 140727116188016 140727116186664 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 511856 10942 753 405 0 508801 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2047424 KiB
Current children cumulated memory: 43768 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11528
/proc/meminfo: memFree=8331908/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2049500 memory=45972 CPUtime=51.09 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 28434 0 0 0 5035 74 0 0 20 0 1 0 218314328 2098688000 11493 33554432000 4194304 5849708 140727116188016 140727116187016 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 512375 11493 753 405 0 509320 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2049500 KiB
Current children cumulated memory: 45972 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11529
/proc/meminfo: memFree=8302364/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2069720 memory=65056 CPUtime=102.28 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 36727 0 0 0 10112 116 0 0 20 0 1 0 218314328 2119393280 16264 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 517430 16264 753 405 0 514375 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2069720 KiB
Current children cumulated memory: 65056 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11530
/proc/meminfo: memFree=8259712/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2073508 memory=69852 CPUtime=162.27 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 48694 0 0 0 16073 154 0 0 20 0 1 0 218314328 2123272192 17463 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 518377 17463 753 405 0 515322 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2073508 KiB
Current children cumulated memory: 69852 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11531
/proc/meminfo: memFree=8248132/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2089104 memory=82248 CPUtime=222.27 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 58492 0 0 0 22032 195 0 0 20 0 1 0 218314328 2139242496 20562 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 522276 20562 753 405 0 519221 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2089104 KiB
Current children cumulated memory: 82248 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11532
/proc/meminfo: memFree=8201696/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2102268 memory=98600 CPUtime=282.27 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 74889 0 0 0 27995 232 0 0 20 0 1 0 218314328 2152722432 24650 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 525567 24650 753 405 0 522512 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2102268 KiB
Current children cumulated memory: 98600 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11533
/proc/meminfo: memFree=8184136/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2132248 memory=128336 CPUtime=342.26 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 93358 0 0 0 33967 259 0 0 20 0 1 0 218314328 2183421952 32084 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 533062 32084 753 405 0 530007 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2132248 KiB
Current children cumulated memory: 128336 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11534
/proc/meminfo: memFree=8149364/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2135092 memory=131232 CPUtime=402.27 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 99203 0 0 0 39948 279 0 0 20 0 1 0 218314328 2186334208 32808 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 533773 32808 753 405 0 530718 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2135092 KiB
Current children cumulated memory: 131232 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11535
/proc/meminfo: memFree=8078572/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2205572 memory=201672 CPUtime=462.27 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 114809 0 0 0 45928 299 0 0 20 0 1 0 218314328 2258505728 50418 33554432000 4194304 5849708 140727116188016 140727116187016 5438261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 551393 50418 753 405 0 548338 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2205572 KiB
Current children cumulated memory: 201672 KiB
################
# More data... #
################
/proc/11527/statm: 629824 129525 753 405 0 626769 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2519296 KiB
Current children cumulated memory: 518100 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11644
/proc/meminfo: memFree=5939000/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2519296 memory=518100 CPUtime=1782.2 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 518500 0 0 0 177642 578 0 0 20 0 1 0 218314328 2579759104 129525 33554432000 4194304 5849708 140727116188016 140727116187016 5438309 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 629824 129525 753 405 0 626769 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2519296 KiB
Current children cumulated memory: 518100 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11645
/proc/meminfo: memFree=6398496/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2584832 memory=583636 CPUtime=1842.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 549757 0 0 0 183630 589 0 0 20 0 1 0 218314328 2646867968 145909 33554432000 4194304 5849708 140727116188016 140727116187016 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 646208 145909 753 405 0 643153 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 2584832 KiB
Current children cumulated memory: 583636 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11646
/proc/meminfo: memFree=6463216/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2519296 memory=518100 CPUtime=1902.2 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 591446 0 0 0 189622 598 0 0 20 0 1 0 218314328 2579759104 129525 33554432000 4194304 5849708 140727116188016 140727116187016 5437607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 629824 129525 753 405 0 626769 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2519296 KiB
Current children cumulated memory: 518100 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11647
/proc/meminfo: memFree=6398496/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2584832 memory=583636 CPUtime=1962.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 604246 0 0 0 195614 605 0 0 20 0 1 0 218314328 2646867968 145909 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 646208 145909 753 405 0 643153 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 2584832 KiB
Current children cumulated memory: 583636 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11648
/proc/meminfo: memFree=6652176/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2331564 memory=330240 CPUtime=2022.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 628884 0 0 0 201598 621 0 0 20 0 1 0 218314328 2387521536 82560 33554432000 4194304 5849708 140727116188016 140727116187016 5437748 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 582891 82560 753 405 0 579836 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2331564 KiB
Current children cumulated memory: 330240 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11649
/proc/meminfo: memFree=6700584/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2282640 memory=281316 CPUtime=2082.2 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 648167 0 0 0 207587 633 0 0 20 0 1 0 218314328 2337423360 70329 33554432000 4194304 5849708 140727116188016 140727116187016 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 570660 70329 753 405 0 567605 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2282640 KiB
Current children cumulated memory: 281316 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11650
/proc/meminfo: memFree=6681168/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2302392 memory=301068 CPUtime=2142.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 667448 0 0 0 213578 641 0 0 20 0 1 0 218314328 2357649408 75267 33554432000 4194304 5849708 140727116188016 140727116187016 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 575598 75267 753 405 0 572543 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2302392 KiB
Current children cumulated memory: 301068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11651
/proc/meminfo: memFree=6681292/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2302392 memory=301068 CPUtime=2202.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 685953 0 0 0 219570 649 0 0 20 0 1 0 218314328 2357649408 75267 33554432000 4194304 5849708 140727116188016 140727116187016 5437576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 575598 75267 753 405 0 572543 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2302392 KiB
Current children cumulated memory: 301068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11652
/proc/meminfo: memFree=6568464/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2414952 memory=413628 CPUtime=2262.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 708268 0 0 0 225558 661 0 0 20 0 1 0 218314328 2472910848 103407 33554432000 4194304 5849708 140727116188016 140727116187016 140406765748103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 603738 103407 753 405 0 600683 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 2414952 KiB
Current children cumulated memory: 413628 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11661
/proc/meminfo: memFree=6564264/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2418096 memory=416728 CPUtime=2322.18 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 733339 0 0 0 231548 670 0 0 20 0 1 0 218314328 2476130304 104182 33554432000 4194304 5849708 140727116188016 140727116187016 5437632 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 604524 104182 753 405 0 601469 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 2418096 KiB
Current children cumulated memory: 416728 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11662
/proc/meminfo: memFree=6564540/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2418096 memory=416772 CPUtime=2382.19 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 745504 0 0 0 237541 678 0 0 20 0 1 0 218314328 2476130304 104193 33554432000 4194304 5849708 140727116188016 140727116187016 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 604524 104193 753 405 0 601469 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2418096 KiB
Current children cumulated memory: 416772 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11663
/proc/meminfo: memFree=6565004/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2418096 memory=416772 CPUtime=2442.18 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 755655 0 0 0 243534 684 0 0 20 0 1 0 218314328 2476130304 104193 33554432000 4194304 5849708 140727116188016 140727116187016 5438273 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 604524 104193 753 405 0 601469 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2418096 KiB
Current children cumulated memory: 416772 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11664
/proc/meminfo: memFree=6557152/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2418096 memory=416772 CPUtime=2502.18 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 777717 0 0 0 249529 689 0 0 20 0 1 0 218314328 2476130304 104193 33554432000 4194304 5849708 140727116188016 140727116187016 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 604524 104193 753 405 0 601469 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2418096 KiB
Current children cumulated memory: 416772 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11664
/proc/meminfo: memFree=6557136/32770624 swapFree=67108496/67108860
[pid=11527] ppid=11524 vsize=2418096 memory=416772 CPUtime=2519.89 cores=0,2,4,6
/proc/11527/stat : 11527 (xcsp_picat) R 11524 11527 10084 0 -1 4202496 777736 0 0 0 251299 690 0 0 20 0 1 0 218314328 2476130304 104193 33554432000 4194304 5849708 140727116188016 140727116187176 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 26226688 140727116194998 140727116195076 140727116195076 140727116197834 0
/proc/11527/statm: 604524 104193 753 405 0 601469 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2418096 KiB
Current children cumulated memory: 416772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 11527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.99 s, system=6.91781 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.91
CPU user time (s): 2512.99
CPU system time (s): 6.91781
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 2584832
Max. memory (cumulated for all children) (KiB): 583636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.99
system time used= 6.91781
maximum resident set size= 583636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 777737
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= 53
involuntary context switches= 3137
# summary of solver processes directly reported to runsolver:
# pid: 11527
# total CPU time (s): 2519.91
# total CPU user time (s): 2512.99
# total CPU system time (s): 6.91781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90231 second user time and 18.51 second system time
The end