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 (10907 MiB free)
memory of node 1: 16384 MiB (6836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303431-1534005860/watcher-4303431-1534005860 -o /tmp/evaluation-result-4303431-1534005860/solver-4303431-1534005860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303431-1534005860.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=27650, runsolver pid=27647
[startup+0.100207 s]*
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=18140664/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2025744 memory=31552 CPUtime=0.1 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1416 0 0 0 10 0 0 0 20 0 1 0 218149257 2074361856 7888 33554432000 4194304 5849708 140726955568528 140726955568528 4376762 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 506436 7888 591 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31552 KiB
[startup+0.210033 s]*
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=18116776/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2035612 memory=55696 CPUtime=0.21 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 3403 0 0 0 21 0 0 0 20 0 1 0 218149257 2084466688 13924 33554432000 4194304 5849708 140726955568528 140726955567624 4467446 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 508903 13924 621 405 0 505848 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2035612 KiB
Current children cumulated memory: 55696 KiB
[startup+0.309873 s]*
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=18107656/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2045084 memory=65236 CPUtime=0.31 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 4254 0 0 0 30 1 0 0 20 0 1 0 218149257 2094166016 16309 33554432000 4194304 5849708 140726955568528 140726955567624 5432168 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 511271 16309 621 405 0 508216 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2045084 KiB
Current children cumulated memory: 65236 KiB
[startup+0.700448 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=18075204/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2100664 memory=120876 CPUtime=0.7 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 6999 0 0 0 68 2 0 0 20 0 1 0 218149257 2151079936 30219 33554432000 4194304 5849708 140726955568528 140726955567624 4458113 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 525166 30219 621 405 0 522111 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2100664 KiB
Current children cumulated memory: 120876 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=18023572/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2175544 memory=195820 CPUtime=1.49 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 9367 0 0 0 146 3 0 0 20 0 1 0 218149257 2227757056 48955 33554432000 4194304 5849708 140726955568528 140726955567720 4509317 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 543886 48955 621 405 0 540831 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2175544 KiB
Current children cumulated memory: 195820 KiB
[startup+3.10986 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=17805832/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2321072 memory=341568 CPUtime=3.1 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 43353 0 0 0 303 7 0 0 20 0 1 0 218149257 2376777728 85392 33554432000 4194304 5849708 140726955568528 140726955567720 5365395 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 580268 85392 628 405 0 577213 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2321072 KiB
Current children cumulated memory: 341568 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=17782596/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2345476 memory=365664 CPUtime=6.29 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 49598 0 0 0 621 8 0 0 20 0 1 0 218149257 2401767424 91416 33554432000 4194304 5849708 140726955568528 140726955566776 5371806 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 586369 91416 638 405 0 583314 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2345476 KiB
Current children cumulated memory: 365664 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=17778108/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2349456 memory=369416 CPUtime=12.69 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 115962 0 0 0 1251 18 0 0 20 0 1 0 218149257 2405842944 92354 33554432000 4194304 5849708 140726955568528 140726955567016 5302810 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 587364 92354 647 405 0 584309 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2349456 KiB
Current children cumulated memory: 369416 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 27651
/proc/meminfo: memFree=17734424/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2495400 memory=515880 CPUtime=25.49 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 186910 0 0 0 2522 27 0 0 20 0 1 0 218149257 2555289600 128970 33554432000 4194304 5849708 140726955568528 140726955567400 5335599 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 623850 128970 656 405 0 620795 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2495400 KiB
Current children cumulated memory: 515880 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 27651
/proc/meminfo: memFree=17720860/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2405808 memory=394692 CPUtime=51.1 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 239640 0 0 0 5070 40 0 0 20 0 1 0 218149257 2463547392 98673 33554432000 4194304 5849708 140726955568528 140726955567528 4206082 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 601452 98673 656 405 0 598397 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2405808 KiB
Current children cumulated memory: 394692 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 27652
/proc/meminfo: memFree=17761664/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2414568 memory=435048 CPUtime=102.29 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 292138 0 0 0 10165 64 0 0 20 0 1 0 218149257 2472517632 108762 33554432000 4194304 5849708 140726955568528 140726955567528 5438227 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 603642 108762 656 405 0 600587 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2414568 KiB
Current children cumulated memory: 435048 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 27653
/proc/meminfo: memFree=17743800/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2414568 memory=435048 CPUtime=162.28 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 336145 0 0 0 16144 84 0 0 20 0 1 0 218149257 2472517632 108762 33554432000 4194304 5849708 140726955568528 140726955567528 139712380972935 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 603642 108762 656 405 0 600587 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2414568 KiB
Current children cumulated memory: 435048 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/190 27654
/proc/meminfo: memFree=17673160/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2452160 memory=472640 CPUtime=222.29 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 378377 0 0 0 22122 107 0 0 20 0 1 0 218149257 2511011840 118160 33554432000 4194304 5849708 140726955568528 140726955567528 5438180 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 613040 118160 656 405 0 609985 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2452160 KiB
Current children cumulated memory: 472640 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/190 27655
/proc/meminfo: memFree=17222908/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2714304 memory=734784 CPUtime=282.28 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 390325 0 0 0 28094 134 0 0 20 0 1 0 218149257 2779447296 183696 33554432000 4194304 5849708 140726955568528 140726955567288 5315982 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 678576 183696 656 405 0 675521 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2714304 KiB
Current children cumulated memory: 734784 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/192 27665
/proc/meminfo: memFree=17303760/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2714304 memory=734784 CPUtime=342.28 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 463692 0 0 0 34079 149 0 0 20 0 1 0 218149257 2779447296 183696 33554432000 4194304 5849708 140726955568528 140726955567528 5321230 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 678576 183696 656 405 0 675521 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2714304 KiB
Current children cumulated memory: 734784 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27666
/proc/meminfo: memFree=17257016/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2762472 memory=782952 CPUtime=402.28 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 544943 0 0 0 40051 177 0 0 20 0 1 0 218149257 2828771328 195738 33554432000 4194304 5849708 140726955568528 140726955567528 139712380972935 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 690618 195738 656 405 0 687563 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2762472 KiB
Current children cumulated memory: 782952 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27667
/proc/meminfo: memFree=17257648/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2760996 memory=781476 CPUtime=462.28 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 568982 0 0 0 46036 192 0 0 20 0 1 0 218149257 2827259904 195369 33554432000 4194304 5849708 140726955568528 140726955567528 5438346 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 690249 195369 656 405 0 687194 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2760996 KiB
Current children cumulated memory: 781476 KiB
################
# More data... #
################
/proc/27650/statm: 757103 263335 656 405 0 754048 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 3028412 KiB
Current children cumulated memory: 1053340 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/193 27733
/proc/meminfo: memFree=17042432/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2927960 memory=952968 CPUtime=1782.21 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1459950 0 0 0 177580 641 0 0 20 0 1 0 218149257 2998231040 238242 33554432000 4194304 5849708 140726955568528 140726955567528 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 731990 238242 656 405 0 728935 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2927960 KiB
Current children cumulated memory: 952968 KiB
[startup+1842.3 s]
/proc/loadavg: 2.45 2.13 2.08 3/192 27734
/proc/meminfo: memFree=16959472/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2946008 memory=971064 CPUtime=1842.21 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1480623 0 0 0 183566 655 0 0 20 0 1 0 218149257 3016712192 242766 33554432000 4194304 5849708 140726955568528 140726955567528 5438072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 736502 242766 656 405 0 733447 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2946008 KiB
Current children cumulated memory: 971064 KiB
[startup+1902.3 s]
/proc/loadavg: 2.27 2.15 2.09 3/191 27736
/proc/meminfo: memFree=16781420/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3116368 memory=1141424 CPUtime=1902.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1494693 0 0 0 189551 669 0 0 20 0 1 0 218149257 3191160832 285356 33554432000 4194304 5849708 140726955568528 140726955567528 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 779092 285356 656 405 0 776037 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 3116368 KiB
Current children cumulated memory: 1141424 KiB
[startup+1962.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/191 27737
/proc/meminfo: memFree=16649808/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3181984 memory=1207040 CPUtime=1962.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1535038 0 0 0 195540 680 0 0 20 0 1 0 218149257 3258351616 301760 33554432000 4194304 5849708 140726955568528 140726955567528 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 795496 301760 656 405 0 792441 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 3181984 KiB
Current children cumulated memory: 1207040 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/191 27738
/proc/meminfo: memFree=16995200/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2837080 memory=861984 CPUtime=2022.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1563836 0 0 0 201529 691 0 0 20 0 1 0 218149257 2905169920 215496 33554432000 4194304 5849708 140726955568528 140726955567688 5438237 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 709270 215496 656 405 0 706215 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2837080 KiB
Current children cumulated memory: 861984 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/192 27740
/proc/meminfo: memFree=16843096/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2989092 memory=1014148 CPUtime=2082.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1581708 0 0 0 207514 706 0 0 20 0 1 0 218149257 3060830208 253537 33554432000 4194304 5849708 140726955568528 140726955567528 5312873 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 747273 253537 656 405 0 744218 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2989092 KiB
Current children cumulated memory: 1014148 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/193 27749
/proc/meminfo: memFree=16655892/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3101208 memory=1115436 CPUtime=2142.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1603893 0 0 0 213494 726 0 0 20 0 1 0 218149257 3175636992 278859 33554432000 4194304 5849708 140726955568528 140726955567400 5437721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 775302 278859 656 405 0 772247 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 3101208 KiB
Current children cumulated memory: 1115436 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17287700/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3020340 memory=1034568 CPUtime=2202.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1650676 0 0 0 219475 745 0 0 20 0 1 0 218149257 3092828160 258642 33554432000 4194304 5849708 140726955568528 140726955567688 5312003 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 755085 258642 656 405 0 752030 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 3020340 KiB
Current children cumulated memory: 1034568 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/192 27812
/proc/meminfo: memFree=17271036/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3037548 memory=1051776 CPUtime=2262.19 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1679863 0 0 0 225462 757 0 0 20 0 1 0 218149257 3110449152 262944 33554432000 4194304 5849708 140726955568528 140726955567528 5438264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 759387 262944 656 405 0 756332 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 3037548 KiB
Current children cumulated memory: 1051776 KiB
[startup+2322.3 s]
/proc/loadavg: 2.29 2.11 2.08 3/192 27813
/proc/meminfo: memFree=17161812/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3146588 memory=1160816 CPUtime=2322.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1695725 0 0 0 231447 773 0 0 20 0 1 0 218149257 3222106112 290204 33554432000 4194304 5849708 140726955568528 140726955567528 5335545 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 786647 290204 656 405 0 783592 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 3146588 KiB
Current children cumulated memory: 1160816 KiB
[startup+2382.3 s]
/proc/loadavg: 2.39 2.19 2.11 3/192 27815
/proc/meminfo: memFree=17441492/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2856584 memory=870812 CPUtime=2382.19 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1737521 0 0 0 237436 783 0 0 20 0 1 0 218149257 2925142016 217703 33554432000 4194304 5849708 140726955568528 140726955567688 5438282 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 714146 217703 656 405 0 711091 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2856584 KiB
Current children cumulated memory: 870812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/191 27817
/proc/meminfo: memFree=17377328/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=2905324 memory=919552 CPUtime=2442.19 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1760591 0 0 0 243423 796 0 0 20 0 1 0 218149257 2975051776 229888 33554432000 4194304 5849708 140726955568528 140726955567528 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 726331 229888 656 405 0 723276 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2905324 KiB
Current children cumulated memory: 919552 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.13 2.10 3/191 27818
/proc/meminfo: memFree=17222032/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3053344 memory=1075388 CPUtime=2502.2 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1791369 0 0 0 249402 818 0 0 20 0 1 0 218149257 3126624256 268847 33554432000 4194304 5849708 140726955568528 140726955567528 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 763336 268847 656 405 0 760281 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 3053344 KiB
Current children cumulated memory: 1075388 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.12 2.09 3/191 27818
/proc/meminfo: memFree=17221912/32770624 swapFree=67108688/67108860
[pid=27650] ppid=27647 vsize=3053344 memory=1075388 CPUtime=2519.9 cores=0,2,4,6
/proc/27650/stat : 27650 (xcsp_picat) R 27647 27650 25480 0 -1 4202496 1791511 0 0 0 251171 819 0 0 20 0 1 0 218149257 3126624256 268847 33554432000 4194304 5849708 140726955568528 140726955567528 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44081152 140726955574454 140726955574532 140726955574532 140726955577290 0
/proc/27650/statm: 763336 268847 656 405 0 760281 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 3053344 KiB
Current children cumulated memory: 1075388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 27650 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.71 s, system=8.20881 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.92
CPU user time (s): 2511.71
CPU system time (s): 8.20881
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 3477244
Max. memory (cumulated for all children) (KiB): 1217296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.71
system time used= 8.20881
maximum resident set size= 1217296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1791511
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= 81
involuntary context switches= 1217
# summary of solver processes directly reported to runsolver:
# pid: 27650
# total CPU time (s): 2519.92
# total CPU user time (s): 2511.71
# total CPU system time (s): 8.20881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49655 second user time and 18.8313 second system time
The end