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 (10338 MiB free)
memory of node 1: 16384 MiB (10897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292779-1532293627/watcher-4292779-1532293627 -o /tmp/evaluation-result-4292779-1532293627/solver-4292779-1532293627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532293627-7407 --watchdog 2580 xcsp_picat HOME/instance-4292779-1532293627.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=7435, runsolver pid=7429
[startup+0.100135 s]*
/proc/loadavg: 0.56 0.61 0.85 3/185 7437
/proc/meminfo: memFree=21730668/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=130284 memory=17972 CPUtime=0.1 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 2747 0 0 0 10 0 0 0 20 0 1 0 46925929 133410816 4493 33554432000 4194304 5849740 140727434995232 140727434995232 5358993 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 32571 4493 642 405 0 29515 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130284 KiB
Current children cumulated memory: 17972 KiB
[startup+0.209613 s]*
/proc/loadavg: 0.56 0.61 0.85 2/182 7445
/proc/meminfo: memFree=21728940/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=133216 memory=19816 CPUtime=0.21 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 3772 0 0 0 21 0 0 0 20 0 1 0 46925929 136413184 4954 33554432000 4194304 5849740 140727434995232 140727434995232 4217758 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 33304 4954 654 405 0 30248 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 133216 KiB
Current children cumulated memory: 19816 KiB
[startup+0.309193 s]*
/proc/loadavg: 0.56 0.61 0.85 3/182 7445
/proc/meminfo: memFree=21728988/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=133216 memory=19816 CPUtime=0.31 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 3772 0 0 0 31 0 0 0 20 0 1 0 46925929 136413184 4954 33554432000 4194304 5849740 140727434995232 140727434995232 5416619 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 33304 4954 654 405 0 30248 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 133216 KiB
Current children cumulated memory: 19816 KiB
[startup+0.700153 s]
/proc/loadavg: 0.56 0.61 0.85 4/200 7466
/proc/meminfo: memFree=21709316/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=133216 memory=19816 CPUtime=0.69 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 3783 0 0 0 69 0 0 0 20 0 1 0 46925929 136413184 4954 33554432000 4194304 5849740 140727434995232 140727434993720 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 33304 4954 654 405 0 30248 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133216 KiB
Current children cumulated memory: 19816 KiB
[startup+1.50029 s]
/proc/loadavg: 0.56 0.61 0.85 3/200 7527
/proc/meminfo: memFree=21707328/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=133672 memory=21400 CPUtime=1.49 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 4178 0 0 0 147 2 0 0 20 0 1 0 46925929 136880128 5350 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 33418 5350 665 405 0 30362 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 133672 KiB
Current children cumulated memory: 21400 KiB
[startup+3.1094 s]
/proc/loadavg: 0.56 0.61 0.85 3/187 7559
/proc/meminfo: memFree=21707876/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=139204 memory=26892 CPUtime=3.1 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 7485 0 0 0 305 5 0 0 20 0 1 0 46925929 142544896 6723 33554432000 4194304 5849740 140727434995232 140727434994232 5397336 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 34801 6723 665 405 0 31745 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 139204 KiB
Current children cumulated memory: 26892 KiB
[startup+6.30036 s]
/proc/loadavg: 0.68 0.63 0.85 3/187 7559
/proc/meminfo: memFree=21700040/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=143208 memory=30284 CPUtime=6.29 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 9194 0 0 0 619 10 0 0 20 0 1 0 46925929 146644992 7571 33554432000 4194304 5849740 140727434995232 140727434994104 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 35802 7571 665 405 0 32746 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 143208 KiB
Current children cumulated memory: 30284 KiB
[startup+12.7003 s]
/proc/loadavg: 0.79 0.66 0.86 3/187 7559
/proc/meminfo: memFree=21688256/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=149880 memory=37756 CPUtime=12.68 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 15556 0 0 0 1249 19 0 0 20 0 1 0 46925929 153477120 9439 33554432000 4194304 5849740 140727434995232 140727434994232 5313602 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 37470 9439 665 405 0 34414 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 149880 KiB
Current children cumulated memory: 37756 KiB
[startup+25.5003 s]
/proc/loadavg: 1.05 0.72 0.88 3/187 7559
/proc/meminfo: memFree=21678620/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=148452 memory=40708 CPUtime=25.48 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 35422 0 0 0 2512 36 0 0 20 0 1 0 46925929 152014848 10177 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 37113 10177 665 405 0 34057 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 148452 KiB
Current children cumulated memory: 40708 KiB
[startup+51.1095 s]
/proc/loadavg: 1.38 0.82 0.91 3/187 7559
/proc/meminfo: memFree=21641208/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=170988 memory=65596 CPUtime=51.08 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 82999 0 0 0 5040 68 0 0 20 0 1 0 46925929 175091712 16399 33554432000 4194304 5849740 140727434995232 140727434994232 5355886 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 42747 16399 665 405 0 39691 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 170988 KiB
Current children cumulated memory: 65596 KiB
[startup+102.3 s]
/proc/loadavg: 1.73 1.00 0.96 3/187 7560
/proc/meminfo: memFree=21641220/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=167148 memory=61776 CPUtime=102.27 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 151018 0 0 0 10105 122 0 0 20 0 1 0 46925929 171159552 15444 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 41787 15444 665 405 0 38731 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 167148 KiB
Current children cumulated memory: 61776 KiB
[startup+162.3 s]
/proc/loadavg: 1.90 1.19 1.03 3/187 7561
/proc/meminfo: memFree=21590108/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=187208 memory=80848 CPUtime=162.26 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 215884 0 0 0 16054 172 0 0 20 0 1 0 46925929 191700992 20212 33554432000 4194304 5849740 140727434995232 140727434994104 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 46802 20212 665 405 0 43746 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 187208 KiB
Current children cumulated memory: 80848 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.33 1.09 3/189 7571
/proc/meminfo: memFree=21596480/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=183736 memory=78180 CPUtime=222.24 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 276993 0 0 0 22004 220 0 0 20 0 1 0 46925929 188145664 19545 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 45934 19545 665 405 0 42878 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 183736 KiB
Current children cumulated memory: 78180 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.46 1.15 3/189 7572
/proc/meminfo: memFree=21558288/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=175148 memory=69808 CPUtime=282.23 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 358187 0 0 0 27948 275 0 0 20 0 1 0 46925929 179351552 17452 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 43787 17452 665 405 0 40731 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 175148 KiB
Current children cumulated memory: 69808 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.55 1.20 3/189 7573
/proc/meminfo: memFree=21568344/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=172176 memory=66804 CPUtime=342.22 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 430091 0 0 0 33893 329 0 0 20 0 1 0 46925929 176308224 16701 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 43044 16701 665 405 0 39988 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 172176 KiB
Current children cumulated memory: 66804 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.64 1.25 3/189 7574
/proc/meminfo: memFree=21390800/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=351056 memory=243524 CPUtime=402.22 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 472461 0 0 0 39851 371 0 0 20 0 1 0 46925929 359481344 60881 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 87764 60881 665 405 0 84708 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 351056 KiB
Current children cumulated memory: 243524 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.70 1.30 3/189 7575
/proc/meminfo: memFree=21473124/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=294328 memory=189116 CPUtime=462.2 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 499742 0 0 0 45822 398 0 0 20 0 1 0 46925929 301391872 47279 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 73582 47279 665 405 0 70526 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 294328 KiB
Current children cumulated memory: 189116 KiB
################
# More data... #
################
/proc/7435/statm: 211438 185500 665 405 0 208382 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 845752 KiB
Current children cumulated memory: 742000 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/187 7614
/proc/meminfo: memFree=20747156/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=845752 memory=742000 CPUtime=1782.04 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1289729 0 0 0 177384 820 0 0 20 0 1 0 46925929 866050048 185500 33554432000 4194304 5849740 140727434995232 140727434994232 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 211438 185500 665 405 0 208382 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 845752 KiB
Current children cumulated memory: 742000 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/187 7615
/proc/meminfo: memFree=20715240/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=845752 memory=742000 CPUtime=1842.04 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1355307 0 0 0 183374 830 0 0 20 0 1 0 46925929 866050048 185500 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 211438 185500 665 405 0 208382 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 845752 KiB
Current children cumulated memory: 742000 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/187 7616
/proc/meminfo: memFree=20683248/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=911288 memory=807536 CPUtime=1902.03 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1396639 0 0 0 189360 843 0 0 20 0 1 0 46925929 933158912 201884 33554432000 4194304 5849740 140727434995232 140727434994232 5437828 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 227822 201884 665 405 0 224766 0
Current children cumulated CPU time: 1902.03 s
Current children cumulated vsize: 911288 KiB
Current children cumulated memory: 807536 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/187 7617
/proc/meminfo: memFree=20712412/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=845752 memory=742000 CPUtime=1962.01 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1432652 0 0 0 195345 856 0 0 20 0 1 0 46925929 866050048 185500 33554432000 4194304 5849740 140727434995232 140727434994392 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 211438 185500 665 405 0 208382 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 845752 KiB
Current children cumulated memory: 742000 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/188 7626
/proc/meminfo: memFree=20680272/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=845752 memory=742000 CPUtime=2022 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1456832 0 0 0 201326 874 0 0 20 0 1 0 46925929 866050048 185500 33554432000 4194304 5849740 140727434995232 140727434994232 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 211438 185500 665 405 0 208382 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 845752 KiB
Current children cumulated memory: 742000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/188 7627
/proc/meminfo: memFree=20582280/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=878748 memory=774996 CPUtime=2081.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1471996 0 0 0 207303 895 0 0 20 0 1 0 46925929 899837952 193749 33554432000 4194304 5849740 140727434995232 140727434994232 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 219687 193749 665 405 0 216631 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 878748 KiB
Current children cumulated memory: 774996 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/188 7628
/proc/meminfo: memFree=20679372/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=878748 memory=774996 CPUtime=2141.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1481755 0 0 0 213283 915 0 0 20 0 1 0 46925929 899837952 193749 33554432000 4194304 5849740 140727434995232 140727434994104 5437560 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 219687 193749 665 405 0 216631 0
Current children cumulated CPU time: 2141.98 s
Current children cumulated vsize: 878748 KiB
Current children cumulated memory: 774996 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/188 7629
/proc/meminfo: memFree=20444616/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=1111764 memory=1008012 CPUtime=2201.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1506027 0 0 0 219257 941 0 0 20 0 1 0 46925929 1138446336 252003 33554432000 4194304 5849740 140727434995232 140727434994232 139691825516423 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 277941 252003 665 405 0 274885 0
Current children cumulated CPU time: 2201.98 s
Current children cumulated vsize: 1111764 KiB
Current children cumulated memory: 1008012 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/188 7630
/proc/meminfo: memFree=20994792/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=498064 memory=394440 CPUtime=2261.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1564723 0 0 0 225222 976 0 0 20 0 1 0 46925929 510017536 98610 33554432000 4194304 5849740 140727434995232 140727434994392 139691825516423 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 124516 98610 665 405 0 121460 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 498064 KiB
Current children cumulated memory: 394440 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/187 7631
/proc/meminfo: memFree=21027488/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=530832 memory=427196 CPUtime=2321.99 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1605845 0 0 0 231200 999 0 0 20 0 1 0 46925929 543571968 106799 33554432000 4194304 5849740 140727434995232 140727434994232 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 132708 106799 665 405 0 129652 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 530832 KiB
Current children cumulated memory: 427196 KiB
[startup+2382.3 s]
/proc/loadavg: 2.49 2.11 1.95 3/187 7632
/proc/meminfo: memFree=20965780/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=592360 memory=488736 CPUtime=2381.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1641897 0 0 0 237186 1012 0 0 20 0 1 0 46925929 606576640 122184 33554432000 4194304 5849740 140727434995232 140727434994392 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 148090 122184 665 405 0 145034 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 592360 KiB
Current children cumulated memory: 488736 KiB
[startup+2442.3 s]
/proc/loadavg: 2.21 2.11 1.95 3/187 7633
/proc/meminfo: memFree=20934744/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=592360 memory=488736 CPUtime=2441.98 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1675724 0 0 0 243177 1021 0 0 20 0 1 0 46925929 606576640 122184 33554432000 4194304 5849740 140727434995232 140727434994232 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 148090 122184 665 405 0 145034 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 592360 KiB
Current children cumulated memory: 488736 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.09 1.95 3/187 7634
/proc/meminfo: memFree=20934744/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=592360 memory=488736 CPUtime=2501.99 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1709657 0 0 0 249170 1029 0 0 20 0 1 0 46925929 606576640 122184 33554432000 4194304 5849740 140727434995232 140727434994392 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 148090 122184 665 405 0 145034 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 592360 KiB
Current children cumulated memory: 488736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.06 2.08 1.95 3/187 7634
/proc/meminfo: memFree=20934848/32770624 swapFree=67108860/67108860
[pid=7435] ppid=7429 vsize=592360 memory=488736 CPUtime=2519.69 cores=1,3,5,7
/proc/7435/stat : 7435 (xcsp_picat) R 7429 7435 3256 0 -1 4202496 1726698 0 0 0 250937 1032 0 0 20 0 1 0 46925929 606576640 122184 33554432000 4194304 5849740 140727434995232 140727434994232 5312752 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 30040064 140727435003062 140727435003140 140727435003140 140727435005898 0
/proc/7435/statm: 148090 122184 665 405 0 145034 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 592360 KiB
Current children cumulated memory: 488736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 7435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.37 s, system=10.3375 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.71
CPU user time (s): 2509.37
CPU system time (s): 10.3375
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 1177300
Max. memory (cumulated for all children) (KiB): 1073548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.37
system time used= 10.3375
maximum resident set size= 1073548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1726698
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= 267
involuntary context switches= 1563
# summary of solver processes directly reported to runsolver:
# pid: 7435
# total CPU time (s): 2519.71
# total CPU user time (s): 2509.37
# total CPU system time (s): 10.3375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64071 second user time and 19.2293 second system time
The end