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 (8487 MiB free)
memory of node 1: 16384 MiB (13282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295173-1532462464/watcher-4295173-1532462464 -o /tmp/evaluation-result-4295173-1532462464/solver-4295173-1532462464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4295173-1532462464.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=21702, runsolver pid=21699
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.42 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22272200/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=111688 memory=22824 CPUtime=0.1 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 1284 0 0 0 10 0 0 0 20 0 1 0 63809532 114368512 5706 33554432000 4194304 5849740 140734425871088 140734425871088 5131279 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 27922 5706 602 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 22824 KiB
[startup+0.209808 s]*
/proc/loadavg: 2.42 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22264008/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=111688 memory=31016 CPUtime=0.21 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 1288 0 0 0 21 0 0 0 20 0 1 0 63809532 114368512 7754 33554432000 4194304 5849740 140734425871088 140734425871088 139949706636288 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 27922 7754 602 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 31016 KiB
[startup+0.309648 s]*
/proc/loadavg: 2.42 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22255816/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=111688 memory=39424 CPUtime=0.31 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 1319 0 0 0 31 0 0 0 20 0 1 0 63809532 114368512 9856 33554432000 4194304 5849740 140734425871088 140734425871088 4778304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 27922 9856 621 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 39424 KiB
[startup+0.70029 s]
/proc/loadavg: 2.42 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22243536/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=132592 memory=52936 CPUtime=0.69 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 2734 0 0 0 58 11 0 0 20 0 1 0 63809532 135774208 13234 33554432000 4194304 5849740 140734425871088 140734425870056 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 33148 13234 706 405 0 30092 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132592 KiB
Current children cumulated memory: 52936 KiB
[startup+1.50028 s]
/proc/loadavg: 2.42 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22242048/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=138228 memory=58676 CPUtime=1.49 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 3669 0 0 0 131 18 0 0 20 0 1 0 63809532 141545472 14669 33554432000 4194304 5849740 140734425871088 140734425870056 5308200 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 34557 14669 730 405 0 31501 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 138228 KiB
Current children cumulated memory: 58676 KiB
[startup+3.10941 s]
/proc/loadavg: 2.38 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22231516/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=139316 memory=63820 CPUtime=3.1 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 5292 0 0 0 289 21 0 0 20 0 1 0 63809532 142659584 15955 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 34829 15955 739 405 0 31773 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 139316 KiB
Current children cumulated memory: 63820 KiB
[startup+6.30027 s]
/proc/loadavg: 2.38 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22231876/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=139464 memory=64124 CPUtime=6.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 6520 0 0 0 604 25 0 0 20 0 1 0 63809532 142811136 16031 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 34866 16031 739 405 0 31810 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 139464 KiB
Current children cumulated memory: 64124 KiB
[startup+12.7003 s]
/proc/loadavg: 2.35 2.12 2.07 3/189 21703
/proc/meminfo: memFree=22228440/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=143636 memory=68288 CPUtime=12.69 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 8821 0 0 0 1238 31 0 0 20 0 1 0 63809532 147083264 17072 33554432000 4194304 5849740 140734425871088 140734425870248 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 35909 17072 739 405 0 32853 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 143636 KiB
Current children cumulated memory: 68288 KiB
[startup+25.5003 s]
/proc/loadavg: 2.28 2.11 2.07 3/189 21703
/proc/meminfo: memFree=22220080/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=151244 memory=81164 CPUtime=25.49 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 14175 0 0 0 2505 44 0 0 20 0 1 0 63809532 154873856 20291 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 37811 20291 739 405 0 34755 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 151244 KiB
Current children cumulated memory: 81164 KiB
[startup+51.1095 s]
/proc/loadavg: 2.18 2.10 2.07 3/189 21703
/proc/meminfo: memFree=22210444/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=154304 memory=87100 CPUtime=51.1 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 20226 0 0 0 5046 64 0 0 20 0 1 0 63809532 158007296 21775 33554432000 4194304 5849740 140734425871088 140734425870088 5397866 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 38576 21775 739 405 0 35520 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 154304 KiB
Current children cumulated memory: 87100 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/189 21704
/proc/meminfo: memFree=22222228/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=142216 memory=75020 CPUtime=102.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 30906 0 0 0 10111 118 0 0 20 0 1 0 63809532 145629184 18755 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 35554 18755 741 405 0 32498 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 142216 KiB
Current children cumulated memory: 75020 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/189 21705
/proc/meminfo: memFree=22200424/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=164012 memory=96816 CPUtime=162.3 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 38425 0 0 0 16062 168 0 0 20 0 1 0 63809532 167948288 24204 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 41003 24204 741 405 0 37947 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 164012 KiB
Current children cumulated memory: 96816 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/189 21706
/proc/meminfo: memFree=22208456/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=172812 memory=105704 CPUtime=222.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 45726 0 0 0 22025 204 0 0 20 0 1 0 63809532 176959488 26426 33554432000 4194304 5849740 140734425871088 140734425869960 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 43203 26426 741 405 0 40147 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 172812 KiB
Current children cumulated memory: 105704 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 21707
/proc/meminfo: memFree=22175204/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=191724 memory=121300 CPUtime=282.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 49764 0 0 0 27987 242 0 0 20 0 1 0 63809532 196325376 30325 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 47931 30325 741 405 0 44875 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 191724 KiB
Current children cumulated memory: 121300 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 21708
/proc/meminfo: memFree=22165276/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=199916 memory=131720 CPUtime=342.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 52138 0 0 0 33953 276 0 0 20 0 1 0 63809532 204713984 32930 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 49979 32930 741 405 0 46923 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 199916 KiB
Current children cumulated memory: 131720 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21709
/proc/meminfo: memFree=22164832/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=199916 memory=132724 CPUtime=402.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 54716 0 0 0 39917 312 0 0 20 0 1 0 63809532 204713984 33181 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 49979 33181 741 405 0 46923 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 199916 KiB
Current children cumulated memory: 132724 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21710
/proc/meminfo: memFree=22164872/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=199916 memory=132520 CPUtime=462.29 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 58122 0 0 0 45888 341 0 0 20 0 1 0 63809532 204713984 33130 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 49979 33130 741 405 0 46923 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 199916 KiB
Current children cumulated memory: 132520 KiB
################
# More data... #
################
/proc/21702/statm: 109747 92907 741 405 0 106691 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 438988 KiB
Current children cumulated memory: 371628 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 21757
/proc/meminfo: memFree=22065792/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=271068 memory=203768 CPUtime=1782.25 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 339280 0 0 0 177429 796 0 0 20 0 1 0 63809532 277573632 50942 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 67767 50942 741 405 0 64711 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 271068 KiB
Current children cumulated memory: 203768 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 21758
/proc/meminfo: memFree=22045104/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=288548 memory=221264 CPUtime=1842.25 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 360585 0 0 0 183412 813 0 0 20 0 1 0 63809532 295473152 55316 33554432000 4194304 5849740 140734425871088 140734425870088 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 72137 55316 741 405 0 69081 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 288548 KiB
Current children cumulated memory: 221264 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 21759
/proc/meminfo: memFree=22031328/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=295716 memory=228520 CPUtime=1902.25 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 379269 0 0 0 189398 827 0 0 20 0 1 0 63809532 302813184 57130 33554432000 4194304 5849740 140734425871088 140734425870088 5338834 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 73929 57130 741 405 0 70873 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 295716 KiB
Current children cumulated memory: 228520 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21760
/proc/meminfo: memFree=21985092/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=394680 memory=327436 CPUtime=1962.25 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 404500 0 0 0 195385 840 0 0 20 0 1 0 63809532 404152320 81859 33554432000 4194304 5849740 140734425871088 140734425870248 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 98670 81859 741 405 0 95614 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 394680 KiB
Current children cumulated memory: 327436 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 21761
/proc/meminfo: memFree=21943268/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=424672 memory=357420 CPUtime=2022.25 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 435673 0 0 0 201370 855 0 0 20 0 1 0 63809532 434864128 89355 33554432000 4194304 5849740 140734425871088 140734425869352 5340238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 106168 89355 741 405 0 103112 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 424672 KiB
Current children cumulated memory: 357420 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21762
/proc/meminfo: memFree=21923696/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=438352 memory=371072 CPUtime=2082.23 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 436559 0 0 0 207358 865 0 0 20 0 1 0 63809532 448872448 92768 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 109588 92768 741 405 0 106532 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 438352 KiB
Current children cumulated memory: 371072 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 21763
/proc/meminfo: memFree=21923784/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=438352 memory=371156 CPUtime=2142.22 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 442061 0 0 0 213347 875 0 0 20 0 1 0 63809532 448872448 92789 33554432000 4194304 5849740 140734425871088 140734425870088 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 109588 92789 741 405 0 106532 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 438352 KiB
Current children cumulated memory: 371156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21885
/proc/meminfo: memFree=21971148/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=438352 memory=371156 CPUtime=2202.22 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 443453 0 0 0 219337 885 0 0 20 0 1 0 63809532 448872448 92789 33554432000 4194304 5849740 140734425871088 140734425870088 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 109588 92789 741 405 0 106532 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 438352 KiB
Current children cumulated memory: 371156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21886
/proc/meminfo: memFree=21954068/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=438352 memory=371156 CPUtime=2262.22 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 444851 0 0 0 225328 894 0 0 20 0 1 0 63809532 448872448 92789 33554432000 4194304 5849740 140734425871088 140734425870088 5437620 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 109588 92789 741 405 0 106532 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 438352 KiB
Current children cumulated memory: 371156 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21887
/proc/meminfo: memFree=21952264/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=438352 memory=371156 CPUtime=2322.22 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 446254 0 0 0 231321 901 0 0 20 0 1 0 63809532 448872448 92789 33554432000 4194304 5849740 140734425871088 140734425870088 139949706657671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 109588 92789 741 405 0 106532 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 438352 KiB
Current children cumulated memory: 371156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 21895
/proc/meminfo: memFree=21888224/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=491152 memory=423956 CPUtime=2382.22 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 449899 0 0 0 237305 917 0 0 20 0 1 0 63809532 502939648 105989 33554432000 4194304 5849740 140734425871088 140734425870088 5438281 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 122788 105989 741 405 0 119732 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 491152 KiB
Current children cumulated memory: 423956 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 21896
/proc/meminfo: memFree=21800344/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=578468 memory=511224 CPUtime=2442.23 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 463135 0 0 0 243291 932 0 0 20 0 1 0 63809532 592351232 127806 33554432000 4194304 5849740 140734425871088 140734425870088 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 144617 127806 741 405 0 141561 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 578468 KiB
Current children cumulated memory: 511224 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21897
/proc/meminfo: memFree=21797816/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=586224 memory=519028 CPUtime=2502.21 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 486576 0 0 0 249281 940 0 0 20 0 1 0 63809532 600293376 129757 33554432000 4194304 5849740 140734425871088 140734425870248 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 146556 129757 741 405 0 143500 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 586224 KiB
Current children cumulated memory: 519028 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 21897
/proc/meminfo: memFree=21796192/32770624 swapFree=67108860/67108860
[pid=21702] ppid=21699 vsize=586224 memory=519028 CPUtime=2519.92 cores=1,3,5,7
/proc/21702/stat : 21702 (xcsp_picat) R 21699 21702 16152 0 -1 4202496 504140 0 0 0 251048 944 0 0 20 0 1 0 63809532 600293376 129757 33554432000 4194304 5849740 140734425871088 140734425870088 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32124928 140734425879734 140734425879812 140734425879812 140734425882570 0
/proc/21702/statm: 146556 129757 741 405 0 143500 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 586224 KiB
Current children cumulated memory: 519028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 21702 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.49 s, system=9.44811 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.94
CPU user time (s): 2510.49
CPU system time (s): 9.44811
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 586224
Max. memory (cumulated for all children) (KiB): 519028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.49
system time used= 9.44811
maximum resident set size= 519028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504141
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= 150
involuntary context switches= 1091
# summary of solver processes directly reported to runsolver:
# pid: 21702
# total CPU time (s): 2519.94
# total CPU user time (s): 2510.49
# total CPU system time (s): 9.44811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9231 second user time and 16.7815 second system time
The end