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 (14466 MiB free)
memory of node 1: 16384 MiB (13562 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309394-1534307024/watcher-4309394-1534307024 -o /tmp/evaluation-result-4309394-1534307024/solver-4309394-1534307024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22507 --watchdog 2580 xcsp_picat HOME/instance-4309394-1534307024.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=24259, runsolver pid=24256
Current StackSize limit: 8192 KiB
[startup+0.100207 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 24260
/proc/meminfo: memFree=28681960/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2027852 memory=21704 CPUtime=0.09 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 2570 0 0 0 9 0 0 0 20 0 1 0 248265572 2076520448 5426 33554432000 4194304 5849940 140730810175648 140730810174760 5406162 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 506963 5426 678 405 0 503907 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027852 KiB
Current children cumulated memory: 21704 KiB
[startup+0.209591 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 24260
/proc/meminfo: memFree=28679616/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2030564 memory=24496 CPUtime=0.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 3792 0 0 0 20 0 0 0 20 0 1 0 248265572 2079297536 6124 33554432000 4194304 5849940 140730810175648 140730810174760 5303943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 507641 6124 687 405 0 504585 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2030564 KiB
Current children cumulated memory: 24496 KiB
[startup+0.309437 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 24260
/proc/meminfo: memFree=28679616/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2030564 memory=24496 CPUtime=0.3 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 3792 0 0 0 30 0 0 0 20 0 1 0 248265572 2079297536 6124 33554432000 4194304 5849940 140730810175648 140730810174760 5369582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 507641 6124 687 405 0 504585 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2030564 KiB
Current children cumulated memory: 24496 KiB
[startup+0.700284 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24260
/proc/meminfo: memFree=28677124/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2032664 memory=26508 CPUtime=0.68 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 4555 0 0 0 68 0 0 0 20 0 1 0 248265572 2081447936 6627 33554432000 4194304 5849940 140730810175648 140730810173896 5362294 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 508166 6627 696 405 0 505110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2032664 KiB
Current children cumulated memory: 26508 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28676752/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2037500 memory=31032 CPUtime=1.49 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 6403 0 0 0 148 1 0 0 20 0 1 0 248265572 2086400000 7758 33554432000 4194304 5849940 140730810175648 140730810174520 5319941 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 509375 7758 706 405 0 506319 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037500 KiB
Current children cumulated memory: 31032 KiB
[startup+3.10922 s]
/proc/loadavg: 1.92 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28675272/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2035828 memory=29648 CPUtime=3.09 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 8311 0 0 0 308 1 0 0 20 0 1 0 248265572 2084687872 7412 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 508957 7412 710 405 0 505901 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2035828 KiB
Current children cumulated memory: 29648 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28667796/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2035444 memory=29172 CPUtime=6.28 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 13226 0 0 0 622 6 0 0 20 0 1 0 248265572 2084294656 7293 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 508861 7293 710 405 0 505805 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2035444 KiB
Current children cumulated memory: 29172 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28655648/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2041576 memory=35704 CPUtime=12.69 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 20463 0 0 0 1255 14 0 0 20 0 1 0 248265572 2090573824 8926 33554432000 4194304 5849940 140730810175648 140730810174648 5340085 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 510394 8926 710 405 0 507338 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2041576 KiB
Current children cumulated memory: 35704 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28632308/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2045116 memory=39292 CPUtime=25.49 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 36935 0 0 0 2523 26 0 0 20 0 1 0 248265572 2094198784 9823 33554432000 4194304 5849940 140730810175648 140730810174808 5437974 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 511279 9823 710 405 0 508223 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2045116 KiB
Current children cumulated memory: 39292 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.02 2.04 3/188 24260
/proc/meminfo: memFree=28650224/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2044576 memory=38672 CPUtime=51.09 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 63541 0 0 0 5062 47 0 0 20 0 1 0 248265572 2093645824 9668 33554432000 4194304 5849940 140730810175648 140730810174808 140095485435783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 511144 9668 710 405 0 508088 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2044576 KiB
Current children cumulated memory: 38672 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/187 24262
/proc/meminfo: memFree=28632808/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2055996 memory=50104 CPUtime=102.28 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 99264 0 0 0 10144 84 0 0 20 0 1 0 248265572 2105339904 12526 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 513999 12526 710 405 0 510943 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2055996 KiB
Current children cumulated memory: 50104 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 24263
/proc/meminfo: memFree=28602956/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2055332 memory=49440 CPUtime=162.27 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 123929 0 0 0 16106 121 0 0 20 0 1 0 248265572 2104659968 12360 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 513833 12360 710 405 0 510777 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2055332 KiB
Current children cumulated memory: 49440 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24264
/proc/meminfo: memFree=28591828/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2072360 memory=66468 CPUtime=222.27 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 144311 0 0 0 22071 156 0 0 20 0 1 0 248265572 2122096640 16617 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 518090 16617 710 405 0 515034 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2072360 KiB
Current children cumulated memory: 66468 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24266
/proc/meminfo: memFree=28553860/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2103836 memory=97944 CPUtime=282.27 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 167042 0 0 0 28052 175 0 0 20 0 1 0 248265572 2154328064 24486 33554432000 4194304 5849940 140730810175648 140730810174808 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 525959 24486 710 405 0 522903 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2103836 KiB
Current children cumulated memory: 97944 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24267
/proc/meminfo: memFree=28599656/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2066048 memory=60156 CPUtime=342.26 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 183500 0 0 0 34037 189 0 0 20 0 1 0 248265572 2115633152 15039 33554432000 4194304 5849940 140730810175648 140730810174648 5438400 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 516512 15039 710 405 0 513456 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2066048 KiB
Current children cumulated memory: 60156 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24276
/proc/meminfo: memFree=28523712/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2125048 memory=119156 CPUtime=402.26 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 201505 0 0 0 40020 206 0 0 20 0 1 0 248265572 2176049152 29789 33554432000 4194304 5849940 140730810175648 140730810174648 5335727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 531262 29789 710 405 0 528206 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2125048 KiB
Current children cumulated memory: 119156 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24277
/proc/meminfo: memFree=28515556/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2167100 memory=161192 CPUtime=462.26 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 208892 0 0 0 46007 219 0 0 20 0 1 0 248265572 2219110400 40298 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 541775 40298 710 405 0 538719 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2167100 KiB
Current children cumulated memory: 161192 KiB
################
# More data... #
################
/proc/24259/statm: 548927 48028 710 405 0 545871 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2195708 KiB
Current children cumulated memory: 192112 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.14 2.11 3/188 24315
/proc/meminfo: memFree=28400240/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2195700 memory=192112 CPUtime=1782.21 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 476075 0 0 0 177789 432 0 0 20 0 1 0 248265572 2248396800 48028 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 548925 48028 710 405 0 545869 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2195700 KiB
Current children cumulated memory: 192112 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.12 2.11 3/188 24377
/proc/meminfo: memFree=26205224/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2195700 memory=192112 CPUtime=1842.21 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 502788 0 0 0 183779 442 0 0 20 0 1 0 248265572 2248396800 48028 33554432000 4194304 5849940 140730810175648 140730810174808 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 548925 48028 710 405 0 545869 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2195700 KiB
Current children cumulated memory: 192112 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.10 2.10 3/187 24379
/proc/meminfo: memFree=25935612/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2197312 memory=193724 CPUtime=1902.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 525525 0 0 0 189769 451 0 0 20 0 1 0 248265572 2250047488 48431 33554432000 4194304 5849940 140730810175648 140730810174648 5438533 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 549328 48431 710 405 0 546272 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2197312 KiB
Current children cumulated memory: 193724 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/187 24380
/proc/meminfo: memFree=25860684/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2272440 memory=268852 CPUtime=1962.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 526571 0 0 0 195761 459 0 0 20 0 1 0 248265572 2326978560 67213 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 568110 67213 710 405 0 565054 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2272440 KiB
Current children cumulated memory: 268852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/187 24381
/proc/meminfo: memFree=25821936/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2311264 memory=307676 CPUtime=2022.21 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 548725 0 0 0 201750 471 0 0 20 0 1 0 248265572 2366734336 76919 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 577816 76919 710 405 0 574760 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2311264 KiB
Current children cumulated memory: 307676 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/187 24383
/proc/meminfo: memFree=25886788/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2245728 memory=242140 CPUtime=2082.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 576685 0 0 0 207741 479 0 0 20 0 1 0 248265572 2299625472 60535 33554432000 4194304 5849940 140730810175648 140730810174648 140095485435783 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 561432 60535 710 405 0 558376 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2245728 KiB
Current children cumulated memory: 242140 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 24384
/proc/meminfo: memFree=25867244/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2265376 memory=261672 CPUtime=2142.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 581719 0 0 0 213733 487 0 0 20 0 1 0 248265572 2319745024 65418 33554432000 4194304 5849940 140730810175648 140730810174648 5437837 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 566344 65418 710 405 0 563288 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2265376 KiB
Current children cumulated memory: 261672 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 24393
/proc/meminfo: memFree=25800132/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2202.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 604815 0 0 0 219724 496 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174648 5437913 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 24416
/proc/meminfo: memFree=25800224/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2262.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 605418 0 0 0 225718 502 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174648 5313184 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 24417
/proc/meminfo: memFree=25800596/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2322.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 631665 0 0 0 231710 510 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/188 24418
/proc/meminfo: memFree=25800348/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2382.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 654381 0 0 0 237703 517 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174520 5438465 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24419
/proc/meminfo: memFree=25668340/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2461984 memory=458396 CPUtime=2442.2 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 684587 0 0 0 243694 526 0 0 20 0 1 0 248265572 2521071616 114599 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 615496 114599 710 405 0 612440 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2461984 KiB
Current children cumulated memory: 458396 KiB
[startup+2502.3 s]
/proc/loadavg: 2.66 2.20 2.11 3/187 24420
/proc/meminfo: memFree=25799412/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2502.19 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 727105 0 0 0 249685 534 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174648 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.52 2.19 2.11 3/187 24420
/proc/meminfo: memFree=25799412/32770624 swapFree=67108796/67108860
[pid=24259] ppid=24256 vsize=2330912 memory=327324 CPUtime=2519.91 cores=1,3,5,7
/proc/24259/stat : 24259 (xcsp_picat) R 24256 24259 22475 0 -1 4202496 737826 0 0 0 251454 537 0 0 20 0 1 0 248265572 2386853888 81831 33554432000 4194304 5849940 140730810175648 140730810174808 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 17072128 140730810180790 140730810180868 140730810180868 140730810183626 0
/proc/24259/statm: 582728 81831 710 405 0 579672 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 2330912 KiB
Current children cumulated memory: 327324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 24259 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.54 s, system=5.38587 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.54
CPU system time (s): 5.38587
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 2461984
Max. memory (cumulated for all children) (KiB): 458396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.54
system time used= 5.38587
maximum resident set size= 458396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 737827
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= 39
involuntary context switches= 1126
# summary of solver processes directly reported to runsolver:
# pid: 24259
# total CPU time (s): 2519.93
# total CPU user time (s): 2514.54
# total CPU system time (s): 5.38587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63902 second user time and 18.6277 second system time
The end