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 (10294 MiB free)
memory of node 1: 16384 MiB (5867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303447-1534036499/watcher-4303447-1534036499 -o /tmp/evaluation-result-4303447-1534036499/solver-4303447-1534036499 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534028937-25615 --watchdog 2580 xcsp_picat HOME/instance-4303447-1534036499.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=26419, runsolver pid=26416
[startup+0.100112 s]*
/proc/loadavg: 2.06 2.11 2.08 3/188 26420
/proc/meminfo: memFree=16535452/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2026168 memory=17460 CPUtime=0.1 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 1447 0 0 0 10 0 0 0 20 0 1 0 221213049 2074796032 4365 33554432000 4194304 5849708 140729665066144 140729665066144 5472664 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 506542 4365 718 405 0 503487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 17460 KiB
[startup+0.209638 s]*
/proc/loadavg: 2.06 2.11 2.08 3/188 26420
/proc/meminfo: memFree=16533964/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2027360 memory=18736 CPUtime=0.2 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 2003 0 0 0 20 0 0 0 20 0 1 0 221213049 2076016640 4684 33554432000 4194304 5849708 140729665066144 140729665066144 5371604 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 506840 4684 736 405 0 503785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027360 KiB
Current children cumulated memory: 18736 KiB
[startup+0.309001 s]*
/proc/loadavg: 2.06 2.11 2.08 3/188 26420
/proc/meminfo: memFree=16533964/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2027556 memory=18684 CPUtime=0.3 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 2090 0 0 0 30 0 0 0 20 0 1 0 221213049 2076217344 4671 33554432000 4194304 5849708 140729665066144 140729665066144 5359099 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 506889 4671 736 405 0 503834 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027556 KiB
Current children cumulated memory: 18684 KiB
[startup+0.700223 s]
/proc/loadavg: 2.06 2.11 2.08 4/188 26420
/proc/meminfo: memFree=16533328/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2027296 memory=18756 CPUtime=0.69 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 2328 0 0 0 69 0 0 0 20 0 1 0 221213049 2075951104 4689 33554432000 4194304 5849708 140729665066144 140729665066144 5322224 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 506824 4689 744 405 0 503769 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027296 KiB
Current children cumulated memory: 18756 KiB
[startup+1.50023 s]
/proc/loadavg: 2.06 2.11 2.08 3/188 26420
/proc/meminfo: memFree=16533328/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2028984 memory=20336 CPUtime=1.49 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 2735 0 0 0 146 3 0 0 20 0 1 0 221213049 2077679616 5084 33554432000 4194304 5849708 140729665066144 140729665065144 5438368 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 507246 5084 752 405 0 504191 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028984 KiB
Current children cumulated memory: 20336 KiB
[startup+3.10917 s]
/proc/loadavg: 2.05 2.11 2.08 3/188 26420
/proc/meminfo: memFree=16702276/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2030300 memory=21572 CPUtime=3.1 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 4981 0 0 0 304 6 0 0 20 0 1 0 221213049 2079027200 5393 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 507575 5393 752 405 0 504520 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030300 KiB
Current children cumulated memory: 21572 KiB
[startup+6.30022 s]
/proc/loadavg: 2.05 2.11 2.08 3/188 26481
/proc/meminfo: memFree=16893728/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2031804 memory=23084 CPUtime=6.29 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 9867 0 0 0 619 10 0 0 20 0 1 0 221213049 2080567296 5771 33554432000 4194304 5849708 140729665066144 140729665065144 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 507951 5771 752 405 0 504896 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031804 KiB
Current children cumulated memory: 23084 KiB
[startup+12.7002 s]
/proc/loadavg: 1.97 2.09 2.07 3/187 26481
/proc/meminfo: memFree=16886316/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2034440 memory=27556 CPUtime=12.68 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 19215 0 0 0 1251 17 0 0 20 0 1 0 221213049 2083266560 6889 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 508610 6889 752 405 0 505555 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2034440 KiB
Current children cumulated memory: 27556 KiB
[startup+25.5004 s]
/proc/loadavg: 1.98 2.08 2.07 3/187 26481
/proc/meminfo: memFree=16859032/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2048412 memory=43364 CPUtime=25.48 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 31945 0 0 0 2518 30 0 0 20 0 1 0 221213049 2097573888 10841 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 512103 10841 752 405 0 509048 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2048412 KiB
Current children cumulated memory: 43364 KiB
[startup+51.1095 s]
/proc/loadavg: 1.98 2.08 2.07 3/187 26481
/proc/meminfo: memFree=16835676/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2043416 memory=40020 CPUtime=51.09 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 57234 0 0 0 5056 53 0 0 20 0 1 0 221213049 2092457984 10005 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 510854 10005 752 405 0 507799 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2043416 KiB
Current children cumulated memory: 40020 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.07 2.07 3/187 26482
/proc/meminfo: memFree=16801656/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2047032 memory=43480 CPUtime=102.28 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 93393 0 0 0 10135 93 0 0 20 0 1 0 221213049 2096160768 10870 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 511758 10870 752 405 0 508703 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2047032 KiB
Current children cumulated memory: 43480 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 2.04 2.05 3/187 26547
/proc/meminfo: memFree=16822440/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2080236 memory=76764 CPUtime=162.28 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 124216 0 0 0 16103 125 0 0 20 0 1 0 221213049 2130161664 19191 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 520059 19191 752 405 0 517004 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2080236 KiB
Current children cumulated memory: 76764 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/187 26548
/proc/meminfo: memFree=16815692/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2078528 memory=75220 CPUtime=222.28 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 150104 0 0 0 22071 157 0 0 20 0 1 0 221213049 2128412672 18805 33554432000 4194304 5849708 140729665066144 140729665065304 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 519632 18805 752 405 0 516577 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2078528 KiB
Current children cumulated memory: 75220 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 26549
/proc/meminfo: memFree=16752736/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2125300 memory=121992 CPUtime=282.28 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 172822 0 0 0 28052 176 0 0 20 0 1 0 221213049 2176307200 30498 33554432000 4194304 5849708 140729665066144 140729665065304 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 531325 30498 752 405 0 528270 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2125300 KiB
Current children cumulated memory: 121992 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26557
/proc/meminfo: memFree=16722084/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2124356 memory=120968 CPUtime=342.27 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 183792 0 0 0 34032 195 0 0 20 0 1 0 221213049 2175340544 30242 33554432000 4194304 5849708 140729665066144 140729665065144 5437647 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 531089 30242 752 405 0 528034 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2124356 KiB
Current children cumulated memory: 120968 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26558
/proc/meminfo: memFree=16656176/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2170952 memory=167564 CPUtime=402.27 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 203559 0 0 0 40019 208 0 0 20 0 1 0 221213049 2223054848 41891 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 542738 41891 752 405 0 539683 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2170952 KiB
Current children cumulated memory: 167564 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26559
/proc/meminfo: memFree=16621172/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2203720 memory=200332 CPUtime=462.27 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 204257 0 0 0 46003 224 0 0 20 0 1 0 221213049 2256609280 50083 33554432000 4194304 5849708 140729665066144 140729665065016 5313210 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 550930 50083 752 405 0 547875 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2203720 KiB
Current children cumulated memory: 200332 KiB
################
# More data... #
################
/proc/26419/statm: 630121 129274 752 405 0 627066 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2520484 KiB
Current children cumulated memory: 517096 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 26598
/proc/meminfo: memFree=16126952/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2520484 memory=517096 CPUtime=1782.22 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 664859 0 0 0 177760 462 0 0 20 0 1 0 221213049 2580975616 129274 33554432000 4194304 5849708 140729665066144 140729665065304 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 630121 129274 752 405 0 627066 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2520484 KiB
Current children cumulated memory: 517096 KiB
[startup+1842.3 s]
/proc/loadavg: 2.11 2.10 2.08 3/187 26599
/proc/meminfo: memFree=16061640/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2520484 memory=517096 CPUtime=1842.22 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 691043 0 0 0 183752 470 0 0 20 0 1 0 221213049 2580975616 129274 33554432000 4194304 5849708 140729665066144 140729665065304 5437580 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 630121 129274 752 405 0 627066 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2520484 KiB
Current children cumulated memory: 517096 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/187 26600
/proc/meminfo: memFree=16061208/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2520484 memory=517096 CPUtime=1902.22 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 741765 0 0 0 189743 479 0 0 20 0 1 0 221213049 2580975616 129274 33554432000 4194304 5849708 140729665066144 140729665065144 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 630121 129274 752 405 0 627066 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2520484 KiB
Current children cumulated memory: 517096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 26601
/proc/meminfo: memFree=16124796/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2370564 memory=367176 CPUtime=1962.21 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 775743 0 0 0 195722 499 0 0 20 0 1 0 221213049 2427457536 91794 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 592641 91794 752 405 0 589586 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2370564 KiB
Current children cumulated memory: 367176 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/187 26602
/proc/meminfo: memFree=16124544/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2370564 memory=367176 CPUtime=2022.21 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 801906 0 0 0 201713 508 0 0 20 0 1 0 221213049 2427457536 91794 33554432000 4194304 5849708 140729665066144 140729665065304 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 592641 91794 752 405 0 589586 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2370564 KiB
Current children cumulated memory: 367176 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26603
/proc/meminfo: memFree=16146836/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2336760 memory=333372 CPUtime=2082.21 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 851238 0 0 0 207702 519 0 0 20 0 1 0 221213049 2392842240 83343 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 584190 83343 752 405 0 581135 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2336760 KiB
Current children cumulated memory: 333372 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 26612
/proc/meminfo: memFree=16146872/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2336760 memory=333372 CPUtime=2142.21 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 888117 0 0 0 213693 528 0 0 20 0 1 0 221213049 2392842240 83343 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 584190 83343 752 405 0 581135 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2336760 KiB
Current children cumulated memory: 333372 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26613
/proc/meminfo: memFree=16146992/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2336760 memory=333372 CPUtime=2202.2 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 925030 0 0 0 219683 537 0 0 20 0 1 0 221213049 2392842240 83343 33554432000 4194304 5849708 140729665066144 140729665065144 5437607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 584190 83343 752 405 0 581135 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2336760 KiB
Current children cumulated memory: 333372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26614
/proc/meminfo: memFree=16146664/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2336760 memory=333372 CPUtime=2262.21 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 962299 0 0 0 225674 547 0 0 20 0 1 0 221213049 2392842240 83343 33554432000 4194304 5849708 140729665066144 140729665065144 5438109 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 584190 83343 752 405 0 581135 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2336760 KiB
Current children cumulated memory: 333372 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26615
/proc/meminfo: memFree=16080856/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2402296 memory=398908 CPUtime=2322.2 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 997639 0 0 0 231663 557 0 0 20 0 1 0 221213049 2459951104 99727 33554432000 4194304 5849708 140729665066144 140729665065144 5335582 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 600574 99727 752 405 0 597519 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2402296 KiB
Current children cumulated memory: 398908 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26616
/proc/meminfo: memFree=16215004/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2405808 memory=402420 CPUtime=2382.2 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 1031819 0 0 0 237655 565 0 0 20 0 1 0 221213049 2463547392 100605 33554432000 4194304 5849708 140729665066144 140729665065144 5335601 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 601452 100605 752 405 0 598397 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2405808 KiB
Current children cumulated memory: 402420 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26618
/proc/meminfo: memFree=16215032/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2405808 memory=402420 CPUtime=2442.19 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 1046419 0 0 0 243649 570 0 0 20 0 1 0 221213049 2463547392 100605 33554432000 4194304 5849708 140729665066144 140729665065144 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 601452 100605 752 405 0 598397 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2405808 KiB
Current children cumulated memory: 402420 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26619
/proc/meminfo: memFree=16240500/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2405808 memory=402420 CPUtime=2502.2 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 1083967 0 0 0 249642 578 0 0 20 0 1 0 221213049 2463547392 100605 33554432000 4194304 5849708 140729665066144 140729665065144 5437684 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 601452 100605 752 405 0 598397 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2405808 KiB
Current children cumulated memory: 402420 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26619
/proc/meminfo: memFree=16240500/32770624 swapFree=67108844/67108860
[pid=26419] ppid=26416 vsize=2405808 memory=402420 CPUtime=2519.9 cores=0,2,4,6
/proc/26419/stat : 26419 (xcsp_picat) R 26416 26419 25584 0 -1 4202496 1084236 0 0 0 251410 580 0 0 20 0 1 0 221213049 2463547392 100605 33554432000 4194304 5849708 140729665066144 140729665065144 139661185675143 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 25350144 140729665074358 140729665074436 140729665074436 140729665077194 0
/proc/26419/statm: 601452 100605 752 405 0 598397 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2405808 KiB
Current children cumulated memory: 402420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26419 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.1 s, system=5.82478 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.93
CPU user time (s): 2514.1
CPU system time (s): 5.82478
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2520484
Max. memory (cumulated for all children) (KiB): 517096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.1
system time used= 5.82478
maximum resident set size= 517096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084236
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= 3
involuntary context switches= 3169
# summary of solver processes directly reported to runsolver:
# pid: 26419
# total CPU time (s): 2519.93
# total CPU user time (s): 2514.1
# total CPU system time (s): 5.82478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.7425 second user time and 19.3955 second system time
The end