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 (4975 MiB free)
memory of node 1: 16384 MiB (7834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295255-1532504038/watcher-4295255-1532504038 -o /tmp/evaluation-result-4295255-1532504038/solver-4295255-1532504038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27090 --watchdog 2580 xcsp_picat HOME/instance-4295255-1532504038.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=27853, runsolver pid=27850
[startup+0.100114 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13097784/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=111688 memory=22368 CPUtime=0.1 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 1686 0 0 0 10 0 0 0 20 0 1 0 67966949 114368512 5592 33554432000 4194304 5849740 140726090920736 140726090920736 4873185 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 27922 5592 598 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 22368 KiB
[startup+0.209687 s]*
/proc/loadavg: 1.99 2.00 2.04 4/188 27854
/proc/meminfo: memFree=13069444/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=130892 memory=50164 CPUtime=0.21 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 3264 0 0 0 20 1 0 0 20 0 1 0 67966949 134033408 12541 33554432000 4194304 5849740 140726090920736 140726090919832 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 32723 12541 641 405 0 29667 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130892 KiB
Current children cumulated memory: 50164 KiB
[startup+0.309577 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13069364/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=131396 memory=50692 CPUtime=0.31 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 3394 0 0 0 30 1 0 0 20 0 1 0 67966949 134549504 12673 33554432000 4194304 5849740 140726090920736 140726090919832 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 32849 12673 670 405 0 29793 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131396 KiB
Current children cumulated memory: 50692 KiB
[startup+0.700235 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13068980/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=133572 memory=52804 CPUtime=0.69 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 3906 0 0 0 67 2 0 0 20 0 1 0 67966949 136777728 13201 33554432000 4194304 5849740 140726090920736 140726090919832 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 33393 13201 670 405 0 30337 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 52804 KiB
[startup+1.50023 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13067080/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=137668 memory=55708 CPUtime=1.49 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 4675 0 0 0 144 5 0 0 20 0 1 0 67966949 140972032 13927 33554432000 4194304 5849740 140726090920736 140726090919832 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 34417 13927 670 405 0 31361 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 55708 KiB
[startup+3.10951 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13048016/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=153032 memory=72324 CPUtime=3.1 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 6817 0 0 0 300 10 0 0 20 0 1 0 67966949 156704768 18081 33554432000 4194304 5849740 140726090920736 140726090919832 5472867 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 38258 18081 670 405 0 35202 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 72324 KiB
[startup+6.30022 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13024520/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=161224 memory=80300 CPUtime=6.29 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 10855 0 0 0 606 23 0 0 20 0 1 0 67966949 165093376 20075 33554432000 4194304 5849740 140726090920736 140726090919848 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 40306 20075 670 405 0 37250 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 161224 KiB
Current children cumulated memory: 80300 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13010616/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=191048 memory=110460 CPUtime=12.68 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 14185 0 0 0 1235 33 0 0 20 0 1 0 67966949 195633152 27615 33554432000 4194304 5849740 140726090920736 140726090919896 5312752 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 47762 27615 700 405 0 44706 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 191048 KiB
Current children cumulated memory: 110460 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27854
/proc/meminfo: memFree=13010476/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=190984 memory=110416 CPUtime=25.47 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 23179 0 0 0 2504 43 0 0 20 0 1 0 67966949 195567616 27604 33554432000 4194304 5849740 140726090920736 140726090919736 5340394 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 47746 27604 705 405 0 44690 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 110416 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27854
/proc/meminfo: memFree=12989616/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=190936 memory=114428 CPUtime=51.09 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 23581 0 0 0 5042 67 0 0 20 0 1 0 67966949 195518464 28607 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 47734 28607 705 405 0 44678 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 190936 KiB
Current children cumulated memory: 114428 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27855
/proc/meminfo: memFree=12983660/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=196316 memory=122344 CPUtime=102.27 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 25059 0 0 0 10128 99 0 0 20 0 1 0 67966949 201027584 30586 33554432000 4194304 5849740 140726090920736 140726090919384 5360437 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 49079 30586 705 405 0 46023 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 196316 KiB
Current children cumulated memory: 122344 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27856
/proc/meminfo: memFree=12962008/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=210616 memory=137144 CPUtime=162.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 29404 0 0 0 16088 138 0 0 20 0 1 0 67966949 215670784 34286 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 52654 34286 705 405 0 49598 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 210616 KiB
Current children cumulated memory: 137144 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27857
/proc/meminfo: memFree=12962932/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=210556 memory=137288 CPUtime=222.27 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 33045 0 0 0 22048 179 0 0 20 0 1 0 67966949 215609344 34322 33554432000 4194304 5849740 140726090920736 140726090919464 5360437 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 52639 34322 705 405 0 49583 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 210556 KiB
Current children cumulated memory: 137288 KiB
[startup+282.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/187 27858
/proc/meminfo: memFree=12956968/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=218632 memory=145364 CPUtime=282.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 38395 0 0 0 28012 214 0 0 20 0 1 0 67966949 223879168 36341 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 54658 36341 705 405 0 51602 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 218632 KiB
Current children cumulated memory: 145364 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 27859
/proc/meminfo: memFree=12953812/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=218632 memory=145364 CPUtime=342.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 46474 0 0 0 33974 252 0 0 20 0 1 0 67966949 223879168 36341 33554432000 4194304 5849740 140726090920736 140726090919896 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 54658 36341 705 405 0 51602 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 218632 KiB
Current children cumulated memory: 145364 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 27867
/proc/meminfo: memFree=12958148/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=215380 memory=142148 CPUtime=402.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 65881 0 0 0 39933 293 0 0 20 0 1 0 67966949 220549120 35537 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 53845 35537 705 405 0 50789 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 215380 KiB
Current children cumulated memory: 142148 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 27868
/proc/meminfo: memFree=12946968/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=223104 memory=148504 CPUtime=462.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 78158 0 0 0 45898 328 0 0 20 0 1 0 67966949 228458496 37126 33554432000 4194304 5849740 140726090920736 140726090919736 5312618 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 55776 37126 705 405 0 52720 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 223104 KiB
Current children cumulated memory: 148504 KiB
################
# More data... #
################
/proc/27853/statm: 70549 52145 705 405 0 67493 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 282196 KiB
Current children cumulated memory: 208580 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27931
/proc/meminfo: memFree=12918172/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=247344 memory=173760 CPUtime=1782.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 332745 0 0 0 177157 1069 0 0 20 0 1 0 67966949 253280256 43440 33554432000 4194304 5849740 140726090920736 140726090919736 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 61836 43440 705 405 0 58780 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 247344 KiB
Current children cumulated memory: 173760 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27932
/proc/meminfo: memFree=12863976/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=292076 memory=218428 CPUtime=1842.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 342321 0 0 0 183125 1100 0 0 20 0 1 0 67966949 299085824 54607 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 73019 54607 705 405 0 69963 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 292076 KiB
Current children cumulated memory: 218428 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27933
/proc/meminfo: memFree=12916936/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=248340 memory=174788 CPUtime=1902.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 352688 0 0 0 189096 1129 0 0 20 0 1 0 67966949 254300160 43697 33554432000 4194304 5849740 140726090920736 140726090919736 5437839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 62085 43697 705 405 0 59029 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 248340 KiB
Current children cumulated memory: 174788 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27934
/proc/meminfo: memFree=12909416/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=256004 memory=182404 CPUtime=1962.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 362518 0 0 0 195069 1156 0 0 20 0 1 0 67966949 262148096 45601 33554432000 4194304 5849740 140726090920736 140726090919896 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 64001 45601 705 405 0 60945 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 256004 KiB
Current children cumulated memory: 182404 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27935
/proc/meminfo: memFree=12918144/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=244960 memory=171272 CPUtime=2022.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 370661 0 0 0 201041 1184 0 0 20 0 1 0 67966949 250839040 42818 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 61240 42818 705 405 0 58184 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 171272 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27936
/proc/meminfo: memFree=12901176/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=282664 memory=209016 CPUtime=2082.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 381919 0 0 0 207016 1209 0 0 20 0 1 0 67966949 289447936 52254 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 70666 52254 705 405 0 67610 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 282664 KiB
Current children cumulated memory: 209016 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27937
/proc/meminfo: memFree=12872192/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=291208 memory=217684 CPUtime=2142.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 394250 0 0 0 212988 1237 0 0 20 0 1 0 67966949 298196992 54421 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 72802 54421 705 405 0 69746 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 291208 KiB
Current children cumulated memory: 217684 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27946
/proc/meminfo: memFree=12902936/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=258292 memory=184980 CPUtime=2202.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 406148 0 0 0 218957 1268 0 0 20 0 1 0 67966949 264491008 46245 33554432000 4194304 5849740 140726090920736 140726090919464 5359048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 64573 46245 705 405 0 61517 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 258292 KiB
Current children cumulated memory: 184980 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27947
/proc/meminfo: memFree=12873208/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=291684 memory=218412 CPUtime=2262.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 415667 0 0 0 224932 1293 0 0 20 0 1 0 67966949 298684416 54603 33554432000 4194304 5849740 140726090920736 140726090919736 5312657 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 72921 54603 705 405 0 69865 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 291684 KiB
Current children cumulated memory: 218412 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27948
/proc/meminfo: memFree=12908784/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=245364 memory=171860 CPUtime=2322.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 430910 0 0 0 230898 1327 0 0 20 0 1 0 67966949 251252736 42965 33554432000 4194304 5849740 140726090920736 140726090919736 5437620 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 61341 42965 705 405 0 58285 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 245364 KiB
Current children cumulated memory: 171860 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27949
/proc/meminfo: memFree=12829600/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=317880 memory=244620 CPUtime=2382.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 446410 0 0 0 236859 1366 0 0 20 0 1 0 67966949 325509120 61155 33554432000 4194304 5849740 140726090920736 140726090919608 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 79470 61155 705 405 0 76414 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 317880 KiB
Current children cumulated memory: 244620 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28010
/proc/meminfo: memFree=12933316/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=288372 memory=214940 CPUtime=2442.26 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 462642 0 0 0 242818 1408 0 0 20 0 1 0 67966949 295292928 53735 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 72093 53735 705 405 0 69037 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 288372 KiB
Current children cumulated memory: 214940 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28011
/proc/meminfo: memFree=12980976/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=231436 memory=158176 CPUtime=2502.25 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 476659 0 0 0 248782 1443 0 0 20 0 1 0 67966949 236990464 39544 33554432000 4194304 5849740 140726090920736 140726090919736 139673718521735 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 57859 39544 705 405 0 54803 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 231436 KiB
Current children cumulated memory: 158176 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28011
/proc/meminfo: memFree=12948284/32770624 swapFree=67108860/67108860
[pid=27853] ppid=27850 vsize=262592 memory=189332 CPUtime=2519.96 cores=0,2,4,6
/proc/27853/stat : 27853 (xcsp_picat) R 27850 27853 27059 0 -1 4202496 488094 0 0 0 250542 1454 0 0 20 0 1 0 67966949 268894208 47333 33554432000 4194304 5849740 140726090920736 140726090919736 5335519 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 33411072 140726090925238 140726090925316 140726090925316 140726090928074 0
/proc/27853/statm: 65648 47333 705 405 0 62592 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 262592 KiB
Current children cumulated memory: 189332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 27853 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.43 s, system=14.5481 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.98
CPU user time (s): 2505.43
CPU system time (s): 14.5481
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 324400
Max. memory (cumulated for all children) (KiB): 251140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.43
system time used= 14.5481
maximum resident set size= 251140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488094
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= 3181
# summary of solver processes directly reported to runsolver:
# pid: 27853
# total CPU time (s): 2519.98
# total CPU user time (s): 2505.43
# total CPU system time (s): 14.5481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1207 second user time and 18.1502 second system time
The end