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 (1593 MiB free)
memory of node 1: 16384 MiB (5310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309698-1534295817/watcher-4309698-1534295817 -o /tmp/evaluation-result-4309698-1534295817/solver-4309698-1534295817 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580 xcsp_picat HOME/instance-4309698-1534295817.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
Current StackSize limit: 8192 KiB
solver pid=17087, runsolver pid=17084
[startup+0.100163 s]*
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7053496/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2027804 memory=18652 CPUtime=0.1 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 1894 0 0 0 10 0 0 0 20 0 1 0 247144894 2076471296 4663 33554432000 4194304 5849940 140720337020624 140720337020624 5304002 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 506951 4663 713 405 0 503895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027804 KiB
Current children cumulated memory: 18652 KiB
[startup+0.209628 s]*
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7052380/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2029416 memory=19948 CPUtime=0.21 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 2322 0 0 0 21 0 0 0 20 0 1 0 247144894 2078121984 4987 33554432000 4194304 5849940 140720337020624 140720337020624 5354021 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 507354 4987 725 405 0 504298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029416 KiB
Current children cumulated memory: 19948 KiB
[startup+0.309078 s]*
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7052380/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2029184 memory=19920 CPUtime=0.31 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 2342 0 0 0 31 0 0 0 20 0 1 0 247144894 2077884416 4980 33554432000 4194304 5849940 140720337020624 140720337020624 5308629 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 507296 4980 726 405 0 504240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029184 KiB
Current children cumulated memory: 19920 KiB
[startup+0.700271 s]
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7052120/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2029184 memory=19920 CPUtime=0.69 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 2342 0 0 0 69 0 0 0 20 0 1 0 247144894 2077884416 4980 33554432000 4194304 5849940 140720337020624 140720337019112 5309670 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 507296 4980 726 405 0 504240 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029184 KiB
Current children cumulated memory: 19920 KiB
[startup+1.50028 s]
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7052640/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2029252 memory=19992 CPUtime=1.5 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 2722 0 0 0 147 3 0 0 20 0 1 0 247144894 2077954048 4998 33554432000 4194304 5849940 140720337020624 140720337019112 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 507313 4998 739 405 0 504257 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2029252 KiB
Current children cumulated memory: 19992 KiB
[startup+3.10922 s]
/proc/loadavg: 1.95 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7049500/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2031464 memory=22420 CPUtime=3.1 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 4366 0 0 0 304 6 0 0 20 0 1 0 247144894 2080219136 5605 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 507866 5605 739 405 0 504810 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031464 KiB
Current children cumulated memory: 22420 KiB
[startup+6.30028 s]
/proc/loadavg: 1.96 1.99 1.95 3/188 17088
/proc/meminfo: memFree=13203264/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2032224 memory=23096 CPUtime=6.28 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 8495 0 0 0 617 11 0 0 20 0 1 0 247144894 2080997376 5774 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 508056 5774 739 405 0 505000 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2032224 KiB
Current children cumulated memory: 23096 KiB
[startup+12.7003 s]
/proc/loadavg: 1.96 1.99 1.95 3/188 17088
/proc/meminfo: memFree=11215468/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2034308 memory=25284 CPUtime=12.69 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 17092 0 0 0 1247 22 0 0 20 0 1 0 247144894 2083131392 6321 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 508577 6321 739 405 0 505521 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034308 KiB
Current children cumulated memory: 25284 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 1.99 1.95 3/188 17088
/proc/meminfo: memFree=7019272/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2039344 memory=30108 CPUtime=25.49 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 32279 0 0 0 2510 39 0 0 20 0 1 0 247144894 2088288256 7527 33554432000 4194304 5849940 140720337020624 140720337019624 5394699 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 509836 7527 739 405 0 506780 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2039344 KiB
Current children cumulated memory: 30108 KiB
[startup+51.1096 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 17088
/proc/meminfo: memFree=13709460/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2046852 memory=37688 CPUtime=51.1 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 54657 0 0 0 5038 72 0 0 20 0 1 0 247144894 2095976448 9422 33554432000 4194304 5849940 140720337020624 140720337019624 5312810 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 511713 9422 739 405 0 508657 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2046852 KiB
Current children cumulated memory: 37688 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/188 17089
/proc/meminfo: memFree=12051956/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2057604 memory=48560 CPUtime=102.28 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 94238 0 0 0 10099 129 0 0 20 0 1 0 247144894 2106986496 12140 33554432000 4194304 5849940 140720337020624 140720337019624 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 514401 12140 739 405 0 511345 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2057604 KiB
Current children cumulated memory: 48560 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 17090
/proc/meminfo: memFree=6852224/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2058756 memory=49712 CPUtime=162.28 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 129737 0 0 0 16043 185 0 0 20 0 1 0 247144894 2108166144 12396 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 514689 12396 739 405 0 511633 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2058756 KiB
Current children cumulated memory: 49712 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 17096
/proc/meminfo: memFree=11224944/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2057476 memory=48424 CPUtime=222.27 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 160432 0 0 0 21988 239 0 0 20 0 1 0 247144894 2106855424 12106 33554432000 4194304 5849940 140720337020624 140720337019624 5437815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 514369 12106 739 405 0 511313 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2057476 KiB
Current children cumulated memory: 48424 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 17097
/proc/meminfo: memFree=6711108/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2076864 memory=67856 CPUtime=282.27 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 188338 0 0 0 27937 290 0 0 20 0 1 0 247144894 2126708736 16964 33554432000 4194304 5849940 140720337020624 140720337019624 5438519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 519216 16964 739 405 0 516160 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 67856 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/188 17098
/proc/meminfo: memFree=10849880/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2112640 memory=103596 CPUtime=342.28 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 205081 0 0 0 33908 320 0 0 20 0 1 0 247144894 2163343360 25899 33554432000 4194304 5849940 140720337020624 140720337019784 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 528160 25899 739 405 0 525104 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2112640 KiB
Current children cumulated memory: 103596 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/188 17099
/proc/meminfo: memFree=6556776/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2107220 memory=98176 CPUtime=402.27 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 226173 0 0 0 39881 346 0 0 20 0 1 0 247144894 2157793280 24544 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 526805 24544 739 405 0 523749 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2107220 KiB
Current children cumulated memory: 98176 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/188 17100
/proc/meminfo: memFree=10897664/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2132184 memory=123140 CPUtime=462.27 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 242710 0 0 0 45860 367 0 0 20 0 1 0 247144894 2183356416 30785 33554432000 4194304 5849940 140720337020624 140720337019624 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 533046 30785 739 405 0 529990 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2132184 KiB
Current children cumulated memory: 123140 KiB
################
# More data... #
################
/proc/17087/statm: 572408 71541 739 405 0 569352 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2289632 KiB
Current children cumulated memory: 286164 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 17134
/proc/meminfo: memFree=5097136/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2240096 memory=236628 CPUtime=1782.2 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 653282 0 0 0 177563 657 0 0 20 0 1 0 247144894 2293858304 59157 33554432000 4194304 5849940 140720337020624 140720337019624 5437986 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 560024 59157 739 405 0 556968 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2240096 KiB
Current children cumulated memory: 236628 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/188 17135
/proc/meminfo: memFree=5049536/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2240096 memory=236628 CPUtime=1842.19 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 678894 0 0 0 183550 669 0 0 20 0 1 0 247144894 2293858304 59157 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 560024 59157 739 405 0 556968 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 2240096 KiB
Current children cumulated memory: 236628 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/188 17136
/proc/meminfo: memFree=11614800/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2245096 memory=241628 CPUtime=1902.19 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 681138 0 0 0 189537 682 0 0 20 0 1 0 247144894 2298978304 60407 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 561274 60407 739 405 0 558218 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 2245096 KiB
Current children cumulated memory: 241628 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/188 17137
/proc/meminfo: memFree=9988260/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2270516 memory=267048 CPUtime=1962.19 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 706981 0 0 0 195519 700 0 0 20 0 1 0 247144894 2325008384 66762 33554432000 4194304 5849940 140720337020624 140720337019496 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 567629 66762 739 405 0 564573 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 2270516 KiB
Current children cumulated memory: 267048 KiB
[startup+2022.3 s]
/proc/loadavg: 2.09 2.04 1.99 3/188 17185
/proc/meminfo: memFree=5743948/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2270516 memory=267048 CPUtime=2022.19 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 708410 0 0 0 201507 712 0 0 20 0 1 0 247144894 2325008384 66762 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 567629 66762 739 405 0 564573 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2270516 KiB
Current children cumulated memory: 267048 KiB
[startup+2082.3 s]
/proc/loadavg: 2.44 2.17 2.04 3/188 17186
/proc/meminfo: memFree=4747632/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2320636 memory=317168 CPUtime=2082.19 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 736127 0 0 0 207492 727 0 0 20 0 1 0 247144894 2376331264 79292 33554432000 4194304 5849940 140720337020624 140720337019624 5335712 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 580159 79292 739 405 0 577103 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2320636 KiB
Current children cumulated memory: 317168 KiB
[startup+2142.3 s]
/proc/loadavg: 2.16 2.14 2.04 3/188 17187
/proc/meminfo: memFree=4698352/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2320636 memory=317168 CPUtime=2142.18 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 761906 0 0 0 213476 742 0 0 20 0 1 0 247144894 2376331264 79292 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 580159 79292 739 405 0 577103 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 2320636 KiB
Current children cumulated memory: 317168 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.11 2.04 3/188 17188
/proc/meminfo: memFree=4531916/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2437016 memory=433548 CPUtime=2202.18 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 790905 0 0 0 219462 756 0 0 20 0 1 0 247144894 2495504384 108387 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 609254 108387 739 405 0 606198 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 2437016 KiB
Current children cumulated memory: 433548 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17189
/proc/meminfo: memFree=11771316/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2437016 memory=433548 CPUtime=2262.18 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 828010 0 0 0 225451 767 0 0 20 0 1 0 247144894 2495504384 108387 33554432000 4194304 5849940 140720337020624 140720337019624 5437784 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 609254 108387 739 405 0 606198 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2437016 KiB
Current children cumulated memory: 433548 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/187 17251
/proc/meminfo: memFree=18788328/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2494368 memory=490900 CPUtime=2322.16 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 863509 0 0 0 231436 780 0 0 20 0 1 0 247144894 2554232832 122725 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 623592 122725 739 405 0 620536 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2494368 KiB
Current children cumulated memory: 490900 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.07 2.05 3/187 17252
/proc/meminfo: memFree=18780328/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2494368 memory=490900 CPUtime=2382.15 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 884831 0 0 0 237427 788 0 0 20 0 1 0 247144894 2554232832 122725 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 623592 122725 739 405 0 620536 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 2494368 KiB
Current children cumulated memory: 490900 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17253
/proc/meminfo: memFree=18764516/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2494368 memory=490900 CPUtime=2442.12 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 909492 0 0 0 243416 796 0 0 20 0 1 0 247144894 2554232832 122725 33554432000 4194304 5849940 140720337020624 140720337019624 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 623592 122725 739 405 0 620536 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 2494368 KiB
Current children cumulated memory: 490900 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 17255
/proc/meminfo: memFree=18748432/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2494368 memory=490900 CPUtime=2502.11 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 926504 0 0 0 249408 803 0 0 20 0 1 0 247144894 2554232832 122725 33554432000 4194304 5849940 140720337020624 140720337019496 5312865 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 623592 122725 739 405 0 620536 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 2494368 KiB
Current children cumulated memory: 490900 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 17256
/proc/meminfo: memFree=18742912/32770624 swapFree=67108860/67108860
[pid=17087] ppid=17084 vsize=2494368 memory=490900 CPUtime=2519.82 cores=1,3,5,7
/proc/17087/stat : 17087 (xcsp_picat) R 17084 17087 16557 0 -1 4202496 927945 0 0 0 251176 806 0 0 20 0 1 0 247144894 2554232832 122725 33554432000 4194304 5849940 140720337020624 140720337019624 139758843912071 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 45080576 140720337028278 140720337028356 140720337028356 140720337031114 0
/proc/17087/statm: 623592 122725 739 405 0 620536 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 2494368 KiB
Current children cumulated memory: 490900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 17087 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.76 s, system=8.0767 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.84
CPU user time (s): 2511.76
CPU system time (s): 8.0767
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 2494368
Max. memory (cumulated for all children) (KiB): 490900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.76
system time used= 8.07671
maximum resident set size= 490900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927945
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= 108
involuntary context switches= 953
# summary of solver processes directly reported to runsolver:
# pid: 17087
# total CPU time (s): 2519.84
# total CPU user time (s): 2511.76
# total CPU system time (s): 8.0767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.11523 second user time and 19.6604 second system time
The end