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 (14064 MiB free)
memory of node 1: 16384 MiB (9208 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309673-1534316204/watcher-4309673-1534316204 -o /tmp/evaluation-result-4309673-1534316204/solver-4309673-1534316204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11147 --watchdog 2580 xcsp_picat HOME/instance-4309673-1534316204.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=14539, runsolver pid=14536
[startup+0.100106 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23818252/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2033864 memory=16504 CPUtime=0.1 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 1224 0 0 0 10 0 0 0 20 0 1 0 249183515 2082676736 4126 33554432000 4194304 5849940 140731864643872 140731864643872 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 508466 4126 688 405 0 505410 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033864 KiB
Current children cumulated memory: 16504 KiB
[startup+0.209841 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23818004/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2033996 memory=16504 CPUtime=0.21 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 1273 0 0 0 20 1 0 0 20 0 1 0 249183515 2082811904 4126 33554432000 4194304 5849940 140731864643872 140731864643872 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 508499 4126 688 405 0 505443 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033996 KiB
Current children cumulated memory: 16504 KiB
[startup+0.30896 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23818004/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2033996 memory=16764 CPUtime=0.31 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 1289 0 0 0 30 1 0 0 20 0 1 0 249183515 2082811904 4191 33554432000 4194304 5849940 140731864643872 140731864643872 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 508499 4191 688 405 0 505443 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033996 KiB
Current children cumulated memory: 16764 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23817592/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2034320 memory=17028 CPUtime=0.69 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 1387 0 0 0 68 1 0 0 20 0 1 0 249183515 2083143680 4257 33554432000 4194304 5849940 140731864643872 140731864643096 5499569 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 508580 4257 689 405 0 505524 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034320 KiB
Current children cumulated memory: 17028 KiB
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23817084/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2034832 memory=17412 CPUtime=1.5 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 1515 0 0 0 148 2 0 0 20 0 1 0 249183515 2083667968 4353 33554432000 4194304 5849940 140731864643872 140731864642840 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 508708 4353 689 405 0 505652 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2034832 KiB
Current children cumulated memory: 17412 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23812752/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2038844 memory=21780 CPUtime=3.1 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 3203 0 0 0 308 2 0 0 20 0 1 0 249183515 2087776256 5445 33554432000 4194304 5849940 140731864643872 140731864642264 4211600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 509711 5445 714 405 0 506655 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038844 KiB
Current children cumulated memory: 21780 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23813124/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2038688 memory=21604 CPUtime=6.29 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 5046 0 0 0 623 6 0 0 20 0 1 0 249183515 2087616512 5401 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 509672 5401 722 405 0 506616 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2038688 KiB
Current children cumulated memory: 21604 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23809140/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2043684 memory=26520 CPUtime=12.69 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 10715 0 0 0 1256 13 0 0 20 0 1 0 249183515 2092732416 6630 33554432000 4194304 5849940 140731864643872 140731864642872 140205746702098 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 510921 6630 722 405 0 507865 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2043684 KiB
Current children cumulated memory: 26520 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23809892/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2043712 memory=26372 CPUtime=25.49 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 24439 0 0 0 2519 30 0 0 20 0 1 0 249183515 2092761088 6593 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 510928 6593 722 405 0 507872 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2043712 KiB
Current children cumulated memory: 26372 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14540
/proc/meminfo: memFree=23803568/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2049256 memory=32052 CPUtime=51.1 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 42719 0 0 0 5058 52 0 0 20 0 1 0 249183515 2098438144 8013 33554432000 4194304 5849940 140731864643872 140731864642872 5360645 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 512314 8013 722 405 0 509258 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2049256 KiB
Current children cumulated memory: 32052 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14542
/proc/meminfo: memFree=23762860/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2056840 memory=39800 CPUtime=102.29 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 72218 0 0 0 10140 89 0 0 20 0 1 0 249183515 2106204160 9950 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 514210 9950 722 405 0 511154 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2056840 KiB
Current children cumulated memory: 39800 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14544
/proc/meminfo: memFree=23715008/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2050484 memory=33260 CPUtime=162.29 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 98003 0 0 0 16108 121 0 0 20 0 1 0 249183515 2099695616 8315 33554432000 4194304 5849940 140731864643872 140731864642872 5438453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 512621 8315 722 405 0 509565 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2050484 KiB
Current children cumulated memory: 33260 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14552
/proc/meminfo: memFree=23705212/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2058888 memory=41720 CPUtime=222.3 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 123706 0 0 0 22076 154 0 0 20 0 1 0 249183515 2108301312 10430 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 514722 10430 722 405 0 511666 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2058888 KiB
Current children cumulated memory: 41720 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14575
/proc/meminfo: memFree=23668644/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2053272 memory=35992 CPUtime=282.29 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 148946 0 0 0 28046 183 0 0 20 0 1 0 249183515 2102550528 8998 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 513318 8998 722 405 0 510262 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2053272 KiB
Current children cumulated memory: 35992 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14576
/proc/meminfo: memFree=23634016/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2088000 memory=70692 CPUtime=342.3 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 171460 0 0 0 34017 213 0 0 20 0 1 0 249183515 2138112000 17673 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 522000 17673 722 405 0 518944 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2088000 KiB
Current children cumulated memory: 70692 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14577
/proc/meminfo: memFree=23627180/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2095472 memory=78264 CPUtime=402.3 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 191405 0 0 0 39998 232 0 0 20 0 1 0 249183515 2145763328 19566 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 523868 19566 722 405 0 520812 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2095472 KiB
Current children cumulated memory: 78264 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14578
/proc/meminfo: memFree=23618848/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2103564 memory=86172 CPUtime=462.31 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 200718 0 0 0 45980 251 0 0 20 0 1 0 249183515 2154049536 21543 33554432000 4194304 5849940 140731864643872 140731864642872 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 525891 21543 722 405 0 522835 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2103564 KiB
Current children cumulated memory: 86172 KiB
################
# More data... #
################
/proc/14539/statm: 582462 79933 722 405 0 579406 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 2329848 KiB
Current children cumulated memory: 319732 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 14682
/proc/meminfo: memFree=23345472/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2427880 memory=416920 CPUtime=1842.37 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 368576 0 0 0 183759 478 0 0 20 0 1 0 249183515 2486149120 104230 33554432000 4194304 5849940 140731864643872 140731864642872 5437882 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 606970 104230 722 405 0 603914 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 416920 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 14685
/proc/meminfo: memFree=23365964/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2389920 memory=378812 CPUtime=1902.37 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 370616 0 0 0 189750 487 0 0 20 0 1 0 249183515 2447278080 94703 33554432000 4194304 5849940 140731864643872 140731864642744 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 597480 94703 722 405 0 594424 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 2389920 KiB
Current children cumulated memory: 378812 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 14686
/proc/meminfo: memFree=23302196/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2428336 memory=417464 CPUtime=1962.38 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 406004 0 0 0 195741 497 0 0 20 0 1 0 249183515 2486616064 104366 33554432000 4194304 5849940 140731864643872 140731864642872 5438501 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 607084 104366 722 405 0 604028 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 2428336 KiB
Current children cumulated memory: 417464 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 14695
/proc/meminfo: memFree=23246212/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2493872 memory=483000 CPUtime=2022.38 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 413011 0 0 0 201734 504 0 0 20 0 1 0 249183515 2553724928 120750 33554432000 4194304 5849940 140731864643872 140731864642872 5335776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 623468 120750 722 405 0 620412 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 483000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 14696
/proc/meminfo: memFree=23246292/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2493872 memory=483000 CPUtime=2082.38 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 465510 0 0 0 207729 509 0 0 20 0 1 0 249183515 2553724928 120750 33554432000 4194304 5849940 140731864643872 140731864642872 5438424 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 623468 120750 722 405 0 620412 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 483000 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/193 14697
/proc/meminfo: memFree=23226500/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2493872 memory=483000 CPUtime=2142.38 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 498684 0 0 0 213723 515 0 0 20 0 1 0 249183515 2553724928 120750 33554432000 4194304 5849940 140731864643872 140731864642872 5335774 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 623468 120750 722 405 0 620412 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 483000 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 14699
/proc/meminfo: memFree=23132928/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2493872 memory=483000 CPUtime=2202.39 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 517883 0 0 0 219717 522 0 0 20 0 1 0 249183515 2553724928 120750 33554432000 4194304 5849940 140731864643872 140731864643032 5335776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 623468 120750 722 405 0 620412 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 2493872 KiB
Current children cumulated memory: 483000 KiB
[startup+2262.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/192 14700
/proc/meminfo: memFree=23422280/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2311748 memory=302480 CPUtime=2262.39 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 555072 0 0 0 225707 532 0 0 20 0 1 0 249183515 2367229952 75620 33554432000 4194304 5849940 140731864643872 140731864643032 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 577937 75620 722 405 0 574881 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 302480 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/191 14701
/proc/meminfo: memFree=23413284/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2311748 memory=302480 CPUtime=2322.4 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 585555 0 0 0 231700 540 0 0 20 0 1 0 249183515 2367229952 75620 33554432000 4194304 5849940 140731864643872 140731864642872 5313085 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 577937 75620 722 405 0 574881 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 302480 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 14702
/proc/meminfo: memFree=23406600/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2311748 memory=302480 CPUtime=2382.4 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 609527 0 0 0 237692 548 0 0 20 0 1 0 249183515 2367229952 75620 33554432000 4194304 5849940 140731864643872 140731864642872 5438400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 577937 75620 722 405 0 574881 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 2311748 KiB
Current children cumulated memory: 302480 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14703
/proc/meminfo: memFree=23378528/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2321808 memory=312540 CPUtime=2442.41 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 634654 0 0 0 243683 558 0 0 20 0 1 0 249183515 2377531392 78135 33554432000 4194304 5849940 140731864643872 140731864643032 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 580452 78135 722 405 0 577396 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 2321808 KiB
Current children cumulated memory: 312540 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14704
/proc/meminfo: memFree=23163184/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2369496 memory=360160 CPUtime=2502.41 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 659468 0 0 0 249674 567 0 0 20 0 1 0 249183515 2426363904 90040 33554432000 4194304 5849940 140731864643872 140731864642872 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 592374 90040 722 405 0 589318 0
Current children cumulated CPU time: 2502.41 s
Current children cumulated vsize: 2369496 KiB
Current children cumulated memory: 360160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.22 2.06 2.06 3/191 14705
/proc/meminfo: memFree=23208796/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2339160 memory=329892 CPUtime=2520.01 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 669850 0 0 0 251430 571 0 0 20 0 1 0 249183515 2395299840 82473 33554432000 4194304 5849940 140731864643872 140731864643032 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 584790 82473 722 405 0 581734 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 2339160 KiB
Current children cumulated memory: 329892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 14539 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.31 s, system=5.72633 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.22 2.06 2.06 3/191 14705
/proc/meminfo: memFree=23208796/32770624 swapFree=67108852/67108860
[pid=14539] ppid=14536 vsize=2339160 memory=329892 CPUtime=2520.01 cores=0,2,4,6
/proc/14539/stat : 14539 (xcsp_picat) R 14536 14539 11116 0 -1 4202496 669850 0 0 0 251430 571 0 0 20 0 1 0 249183515 2395299840 82473 33554432000 4194304 5849940 140731864643872 140731864643032 140205747113863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 46211072 140731864650934 140731864651012 140731864651012 140731864653770 0
/proc/14539/statm: 584790 82473 722 405 0 581734 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 2339160 KiB
Current children cumulated memory: 329892 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.03
CPU user time (s): 2514.31
CPU system time (s): 5.72633
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2493872
Max. memory (cumulated for all children) (KiB): 483000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.31
system time used= 5.72633
maximum resident set size= 483000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669850
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= 41
involuntary context switches= 1132
# summary of solver processes directly reported to runsolver:
# pid: 14539
# total CPU time (s): 2520.03
# total CPU user time (s): 2514.31
# total CPU system time (s): 5.72633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0575 second user time and 17.9968 second system time
The end