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 (10347 MiB free)
memory of node 1: 16384 MiB (12958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309649-1534318930/watcher-4309649-1534318930 -o /tmp/evaluation-result-4309649-1534318930/solver-4309649-1534318930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13751 --watchdog 2580 xcsp_picat HOME/instance-4309649-1534318930.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17030, runsolver pid=17027
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.04 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23850784/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2025744 memory=17212 CPUtime=0.1 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1424 0 0 0 10 0 0 0 20 0 1 0 249456174 2074361856 4303 33554432000 4194304 5849940 140735310390592 140735310390592 140715264064512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 506436 4303 597 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17212 KiB
[startup+0.209746 s]*
/proc/loadavg: 2.04 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23844640/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2025744 memory=25404 CPUtime=0.21 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1428 0 0 0 21 0 0 0 20 0 1 0 249456174 2074361856 6351 33554432000 4194304 5849940 140735310390592 140735310390592 4786630 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 506436 6351 597 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25404 KiB
[startup+0.309495 s]*
/proc/loadavg: 2.04 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23838496/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2025744 memory=31548 CPUtime=0.31 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1431 0 0 0 31 0 0 0 20 0 1 0 249456174 2074361856 7887 33554432000 4194304 5849940 140735310390592 140735310390592 140715264064512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 506436 7887 597 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31548 KiB
[startup+0.700411 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23821988/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2039624 memory=82776 CPUtime=0.69 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 4541 0 0 0 68 1 0 0 20 0 1 0 249456174 2088574976 20694 33554432000 4194304 5849940 140735310390592 140735310390592 4534169 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 509906 20694 635 405 0 506850 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039624 KiB
Current children cumulated memory: 82776 KiB
[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23748528/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2224352 memory=267452 CPUtime=1.49 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 8849 0 0 0 145 4 0 0 20 0 1 0 249456174 2277736448 66863 33554432000 4194304 5849940 140735310390592 140735310389672 5406226 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 556088 66863 636 405 0 553032 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2224352 KiB
Current children cumulated memory: 267452 KiB
[startup+3.10945 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23644828/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2180132 memory=223356 CPUtime=3.1 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 39233 0 0 0 304 6 0 0 20 0 1 0 249456174 2232455168 55839 33554432000 4194304 5849940 140735310390592 140735310388840 5392226 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 545033 55839 646 405 0 541977 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2180132 KiB
Current children cumulated memory: 223356 KiB
[startup+6.30041 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23573440/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2254256 memory=294620 CPUtime=6.29 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 42951 0 0 0 622 7 0 0 20 0 1 0 249456174 2308358144 73655 33554432000 4194304 5849940 140735310390592 140735310388856 5319205 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 563564 73655 662 405 0 560508 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2254256 KiB
Current children cumulated memory: 294620 KiB
[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 17031
/proc/meminfo: memFree=23573316/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2254256 memory=294780 CPUtime=12.69 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 105302 0 0 0 1259 10 0 0 20 0 1 0 249456174 2308358144 73695 33554432000 4194304 5849940 140735310390592 140735310389304 5307749 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 563564 73695 667 405 0 560508 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2254256 KiB
Current children cumulated memory: 294780 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 17031
/proc/meminfo: memFree=23573124/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2251572 memory=294956 CPUtime=25.49 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 138690 0 0 0 2535 14 0 0 20 0 1 0 249456174 2305609728 73739 33554432000 4194304 5849940 140735310390592 140735310389080 4208609 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 562893 73739 670 405 0 559837 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2251572 KiB
Current children cumulated memory: 294956 KiB
[startup+51.1096 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 17031
/proc/meminfo: memFree=23570104/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2256456 memory=297740 CPUtime=51.09 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 165271 0 0 0 5087 22 0 0 20 0 1 0 249456174 2310610944 74435 33554432000 4194304 5849940 140735310390592 140735310389592 5312865 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 564114 74435 670 405 0 561058 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2256456 KiB
Current children cumulated memory: 297740 KiB
[startup+102.3 s]
/proc/loadavg: 2.47 2.17 2.09 3/187 17032
/proc/meminfo: memFree=23570276/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2386972 memory=428060 CPUtime=102.28 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 204365 0 0 0 10185 43 0 0 20 0 1 0 249456174 2444259328 107015 33554432000 4194304 5849940 140735310390592 140735310388856 4234762 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 596743 107015 670 405 0 593687 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2386972 KiB
Current children cumulated memory: 428060 KiB
[startup+162.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/187 17033
/proc/meminfo: memFree=23565904/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2255508 memory=302136 CPUtime=162.29 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 239322 0 0 0 16164 65 0 0 20 0 1 0 249456174 2309640192 75534 33554432000 4194304 5849940 140735310390592 140735310389752 5312865 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 563877 75534 670 405 0 560821 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2255508 KiB
Current children cumulated memory: 302136 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/187 17034
/proc/meminfo: memFree=23564564/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2259760 memory=303276 CPUtime=222.29 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 241939 0 0 0 22140 89 0 0 20 0 1 0 249456174 2313994240 75819 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 564940 75819 670 405 0 561884 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2259760 KiB
Current children cumulated memory: 303276 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 17035
/proc/meminfo: memFree=23560412/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2259812 memory=307420 CPUtime=282.29 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 279736 0 0 0 28112 117 0 0 20 0 1 0 249456174 2314047488 76855 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 564953 76855 670 405 0 561897 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2259812 KiB
Current children cumulated memory: 307420 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17036
/proc/meminfo: memFree=23554572/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2266340 memory=313388 CPUtime=342.29 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 318082 0 0 0 34085 144 0 0 20 0 1 0 249456174 2320732160 78347 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 566585 78347 670 405 0 563529 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2266340 KiB
Current children cumulated memory: 313388 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 17037
/proc/meminfo: memFree=23546836/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2273260 memory=320868 CPUtime=402.3 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 359212 0 0 0 40056 174 0 0 20 0 1 0 249456174 2327818240 80217 33554432000 4194304 5849940 140735310390592 140735310389464 4234734 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 568315 80217 670 405 0 565259 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2273260 KiB
Current children cumulated memory: 320868 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 17038
/proc/meminfo: memFree=23547448/32770624 swapFree=67059132/67108860
[pid=17030] ppid=17027 vsize=2273016 memory=320624 CPUtime=462.3 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 396269 0 0 0 46031 199 0 0 20 0 1 0 249456174 2327568384 80156 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 568254 80156 670 405 0 565198 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2273016 KiB
Current children cumulated memory: 320624 KiB
################
# More data... #
################
/proc/17030/statm: 577475 88543 670 405 0 574419 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 2309900 KiB
Current children cumulated memory: 354172 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 17169
/proc/meminfo: memFree=23633068/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2309744 memory=354016 CPUtime=1782.33 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1203705 0 0 0 177415 818 0 0 20 0 1 0 249456174 2365177856 88504 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 577436 88504 670 405 0 574380 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2309744 KiB
Current children cumulated memory: 354016 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17170
/proc/meminfo: memFree=23526316/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2440616 memory=484888 CPUtime=1842.33 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1237316 0 0 0 183389 844 0 0 20 0 1 0 249456174 2499190784 121222 33554432000 4194304 5849940 140735310390592 140735310389240 5360645 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 610154 121222 670 405 0 607098 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2440616 KiB
Current children cumulated memory: 484888 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17171
/proc/meminfo: memFree=23635980/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2309544 memory=353816 CPUtime=1902.33 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1271135 0 0 0 189360 873 0 0 20 0 1 0 249456174 2364973056 88454 33554432000 4194304 5849940 140735310390592 140735310389592 5339977 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 577386 88454 670 405 0 574330 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2309544 KiB
Current children cumulated memory: 353816 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17172
/proc/meminfo: memFree=23570832/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2309300 memory=353572 CPUtime=1962.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1312966 0 0 0 195337 897 0 0 20 0 1 0 249456174 2364723200 88393 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 577325 88393 670 405 0 574269 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 2309300 KiB
Current children cumulated memory: 353572 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17173
/proc/meminfo: memFree=23636548/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2309296 memory=353568 CPUtime=2022.33 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1349351 0 0 0 201309 924 0 0 20 0 1 0 249456174 2364719104 88392 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 577324 88392 670 405 0 574268 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2309296 KiB
Current children cumulated memory: 353568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17174
/proc/meminfo: memFree=23505816/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2440368 memory=484640 CPUtime=2082.33 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1381390 0 0 0 207277 956 0 0 20 0 1 0 249456174 2498936832 121160 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 610092 121160 670 405 0 607036 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2440368 KiB
Current children cumulated memory: 484640 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17175
/proc/meminfo: memFree=23616524/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2309296 memory=353568 CPUtime=2142.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1398159 0 0 0 213258 976 0 0 20 0 1 0 249456174 2364719104 88392 33554432000 4194304 5849940 140735310390592 140735310389240 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 577324 88392 670 405 0 574268 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 2309296 KiB
Current children cumulated memory: 353568 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 17176
/proc/meminfo: memFree=23355132/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2439892 memory=484164 CPUtime=2202.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1426497 0 0 0 219233 1001 0 0 20 0 1 0 249456174 2498449408 121041 33554432000 4194304 5849940 140735310390592 140735310389464 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 609973 121041 670 405 0 606917 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 2439892 KiB
Current children cumulated memory: 484164 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 17177
/proc/meminfo: memFree=23429784/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2445188 memory=492560 CPUtime=2262.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1457116 0 0 0 225203 1031 0 0 20 0 1 0 249456174 2503872512 123140 33554432000 4194304 5849940 140735310390592 140735310389592 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 611297 123140 670 405 0 608241 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 2445188 KiB
Current children cumulated memory: 492560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17185
/proc/meminfo: memFree=23497796/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2349792 memory=397400 CPUtime=2322.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1511615 0 0 0 231178 1056 0 0 20 0 1 0 249456174 2406187008 99350 33554432000 4194304 5849940 140735310390592 140735310389592 5437768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 587448 99350 670 405 0 584392 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 2349792 KiB
Current children cumulated memory: 397400 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17186
/proc/meminfo: memFree=23439508/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2480696 memory=528304 CPUtime=2382.35 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1535577 0 0 0 237147 1088 0 0 20 0 1 0 249456174 2540232704 132076 33554432000 4194304 5849940 140735310390592 140735310389752 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 620174 132076 670 405 0 617118 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 2480696 KiB
Current children cumulated memory: 528304 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17187
/proc/meminfo: memFree=23374160/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2480696 memory=528304 CPUtime=2442.35 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1543439 0 0 0 243117 1118 0 0 20 0 1 0 249456174 2540232704 132076 33554432000 4194304 5849940 140735310390592 140735310389592 5438434 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 620174 132076 670 405 0 617118 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 2480696 KiB
Current children cumulated memory: 528304 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17188
/proc/meminfo: memFree=23571004/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2349624 memory=397232 CPUtime=2502.34 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1580543 0 0 0 249088 1146 0 0 20 0 1 0 249456174 2406014976 99308 33554432000 4194304 5849940 140735310390592 140735310389592 5302990 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 587406 99308 670 405 0 584350 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2349624 KiB
Current children cumulated memory: 397232 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17188
/proc/meminfo: memFree=23571004/32770624 swapFree=67059136/67108860
[pid=17030] ppid=17027 vsize=2349624 memory=397232 CPUtime=2520.06 cores=1,3,5,7
/proc/17030/stat : 17030 (xcsp_picat) R 17027 17030 13719 0 -1 4202496 1602833 0 0 0 250851 1155 0 0 20 0 1 0 249456174 2406014976 99308 33554432000 4194304 5849940 140735310390592 140735310389752 140715264085895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34189312 140735310398646 140735310398724 140735310398724 140735310401482 0
/proc/17030/statm: 587406 99308 670 405 0 584350 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2349624 KiB
Current children cumulated memory: 397232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 17030 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.52 s, system=11.5623 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): 2520.08
CPU user time (s): 2508.52
CPU system time (s): 11.5623
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2527112
Max. memory (cumulated for all children) (KiB): 568136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.52
system time used= 11.5623
maximum resident set size= 568136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1602833
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= 14
involuntary context switches= 1034
# summary of solver processes directly reported to runsolver:
# pid: 17030
# total CPU time (s): 2520.08
# total CPU user time (s): 2508.52
# total CPU system time (s): 11.5623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3135 second user time and 15.2708 second system time
The end