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 (8338 MiB free)
memory of node 1: 16384 MiB (13289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294367-1532446830/watcher-4294367-1532446830 -o /tmp/evaluation-result-4294367-1532446830/solver-4294367-1532446830 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4294367-1532446830.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=18136, runsolver pid=18133
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.05 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22126512/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=129932 memory=24104 CPUtime=0.1 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 2189 0 0 0 10 0 0 0 20 0 1 0 62246222 133050368 6026 33554432000 4194304 5849740 140720673842048 140720673842048 4458050 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 32483 6026 698 405 0 29427 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 129932 KiB
Current children cumulated memory: 24104 KiB
[startup+0.209654 s]*
/proc/loadavg: 2.05 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22123908/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=132012 memory=26348 CPUtime=0.21 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 2987 0 0 0 21 0 0 0 20 0 1 0 62246222 135180288 6587 33554432000 4194304 5849740 140720673842048 140720673842048 5373208 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 33003 6587 708 405 0 29947 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 132012 KiB
Current children cumulated memory: 26348 KiB
[startup+0.309459 s]*
/proc/loadavg: 2.05 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22123596/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=132012 memory=26348 CPUtime=0.3 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 2987 0 0 0 30 0 0 0 20 0 1 0 62246222 135180288 6587 33554432000 4194304 5849740 140720673842048 140720673842048 5392435 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 33003 6587 708 405 0 29947 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132012 KiB
Current children cumulated memory: 26348 KiB
[startup+0.700284 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22123564/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=134060 memory=28224 CPUtime=0.69 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 3501 0 0 0 69 0 0 0 20 0 1 0 62246222 137277440 7056 33554432000 4194304 5849740 140720673842048 140720673840296 5361402 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 33515 7056 716 405 0 30459 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134060 KiB
Current children cumulated memory: 28224 KiB
[startup+1.50029 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22121628/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=136264 memory=29924 CPUtime=1.49 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 4663 0 0 0 149 0 0 0 20 0 1 0 62246222 139534336 7481 33554432000 4194304 5849740 140720673842048 140720673840296 4211607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 34066 7481 726 405 0 31010 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136264 KiB
Current children cumulated memory: 29924 KiB
[startup+3.10928 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22121516/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=136508 memory=30932 CPUtime=3.1 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 6305 0 0 0 308 2 0 0 20 0 1 0 62246222 139784192 7733 33554432000 4194304 5849740 140720673842048 140720673839592 5438192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 34127 7733 730 405 0 31071 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136508 KiB
Current children cumulated memory: 30932 KiB
[startup+6.3003 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22120328/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=136000 memory=30424 CPUtime=6.29 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 10094 0 0 0 623 6 0 0 20 0 1 0 62246222 139264000 7606 33554432000 4194304 5849740 140720673842048 140720673841048 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 34000 7606 730 405 0 30944 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136000 KiB
Current children cumulated memory: 30424 KiB
[startup+12.7003 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 18137
/proc/meminfo: memFree=22115568/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=139940 memory=34244 CPUtime=12.69 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 19536 0 0 0 1256 13 0 0 20 0 1 0 62246222 143298560 8561 33554432000 4194304 5849740 140720673842048 140720673841048 5437819 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 34985 8561 730 405 0 31929 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 139940 KiB
Current children cumulated memory: 34244 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 18137
/proc/meminfo: memFree=22044816/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=145920 memory=40296 CPUtime=25.48 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 32682 0 0 0 2526 22 0 0 20 0 1 0 62246222 149422080 10074 33554432000 4194304 5849740 140720673842048 140720673841048 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 36480 10074 730 405 0 33424 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 145920 KiB
Current children cumulated memory: 40296 KiB
[startup+51.1095 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 18137
/proc/meminfo: memFree=22009440/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=147804 memory=46784 CPUtime=51.1 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 55218 0 0 0 5067 43 0 0 20 0 1 0 62246222 151351296 11696 33554432000 4194304 5849740 140720673842048 140720673841208 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 36951 11696 730 405 0 33895 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 147804 KiB
Current children cumulated memory: 46784 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 18138
/proc/meminfo: memFree=22067088/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=150464 memory=53680 CPUtime=102.28 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 86751 0 0 0 10151 77 0 0 20 0 1 0 62246222 154075136 13420 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 37616 13420 730 405 0 34560 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 150464 KiB
Current children cumulated memory: 53680 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18139
/proc/meminfo: memFree=22004124/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=158140 memory=61108 CPUtime=162.28 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 120363 0 0 0 16111 117 0 0 20 0 1 0 62246222 161935360 15277 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 39535 15277 730 405 0 36479 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 158140 KiB
Current children cumulated memory: 61108 KiB
[startup+222.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/188 18140
/proc/meminfo: memFree=21998372/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=154608 memory=57572 CPUtime=222.28 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 141687 0 0 0 22080 148 0 0 20 0 1 0 62246222 158318592 14393 33554432000 4194304 5849740 140720673842048 140720673841048 5438311 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 38652 14393 730 405 0 35596 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 154608 KiB
Current children cumulated memory: 57572 KiB
[startup+282.3 s]
/proc/loadavg: 2.43 2.17 2.10 3/187 18141
/proc/meminfo: memFree=21965236/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=158520 memory=61440 CPUtime=282.29 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 165832 0 0 0 28053 176 0 0 20 0 1 0 62246222 162324480 15360 33554432000 4194304 5849740 140720673842048 140720673841048 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 39630 15360 730 405 0 36574 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 158520 KiB
Current children cumulated memory: 61440 KiB
[startup+342.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/187 18142
/proc/meminfo: memFree=21904356/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=169528 memory=72640 CPUtime=342.29 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 191508 0 0 0 34026 203 0 0 20 0 1 0 62246222 173596672 18160 33554432000 4194304 5849740 140720673842048 140720673841048 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 42382 18160 730 405 0 39326 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 169528 KiB
Current children cumulated memory: 72640 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.13 2.09 3/187 18143
/proc/meminfo: memFree=21943268/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=190260 memory=93260 CPUtime=402.27 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 211865 0 0 0 40007 220 0 0 20 0 1 0 62246222 194826240 23315 33554432000 4194304 5849740 140720673842048 140720673841048 5437629 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 47565 23315 730 405 0 44509 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 190260 KiB
Current children cumulated memory: 93260 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.10 2.09 3/187 18144
/proc/meminfo: memFree=21835440/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=216028 memory=119152 CPUtime=462.27 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 221115 0 0 0 45994 233 0 0 20 0 1 0 62246222 221212672 29788 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 54007 29788 730 405 0 50951 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 216028 KiB
Current children cumulated memory: 119152 KiB
################
# More data... #
################
/proc/18136/statm: 88037 63828 730 405 0 84981 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 352148 KiB
Current children cumulated memory: 255312 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.12 2.08 3/187 18335
/proc/meminfo: memFree=21839900/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=417684 memory=320848 CPUtime=1782.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 382662 0 0 0 177773 450 0 0 20 0 1 0 62246222 427708416 80212 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 104421 80212 730 405 0 101365 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 417684 KiB
Current children cumulated memory: 320848 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/187 18336
/proc/meminfo: memFree=21840056/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=417684 memory=320848 CPUtime=1842.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 384235 0 0 0 183768 455 0 0 20 0 1 0 62246222 427708416 80212 33554432000 4194304 5849740 140720673842048 140720673841048 5437620 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 104421 80212 730 405 0 101365 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 417684 KiB
Current children cumulated memory: 320848 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 18337
/proc/meminfo: memFree=21768056/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339856 CPUtime=1902.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 388751 0 0 0 189760 463 0 0 20 0 1 0 62246222 447172608 84964 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84964 730 405 0 106117 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339856 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 18338
/proc/meminfo: memFree=21880796/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339856 CPUtime=1962.24 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 398979 0 0 0 195756 468 0 0 20 0 1 0 62246222 447172608 84964 33554432000 4194304 5849740 140720673842048 140720673841208 5438251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84964 730 405 0 106117 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339856 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/186 18339
/proc/meminfo: memFree=21826752/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339856 CPUtime=2022.24 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 409411 0 0 0 201750 474 0 0 20 0 1 0 62246222 447172608 84964 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84964 730 405 0 106117 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339856 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18341
/proc/meminfo: memFree=21808996/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339856 CPUtime=2082.24 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 419777 0 0 0 207744 480 0 0 20 0 1 0 62246222 447172608 84964 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84964 730 405 0 106117 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339856 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18342
/proc/meminfo: memFree=21809036/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339708 CPUtime=2142.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 430229 0 0 0 213737 486 0 0 20 0 1 0 62246222 447172608 84927 33554432000 4194304 5849740 140720673842048 140720673841048 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84927 730 405 0 106117 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339708 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18343
/proc/meminfo: memFree=21805312/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436692 memory=339856 CPUtime=2202.22 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 432130 0 0 0 219730 492 0 0 20 0 1 0 62246222 447172608 84964 33554432000 4194304 5849740 140720673842048 140720673841048 5437616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109173 84964 730 405 0 106117 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 436692 KiB
Current children cumulated memory: 339856 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18344
/proc/meminfo: memFree=21805404/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436688 memory=339852 CPUtime=2262.22 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 433567 0 0 0 225725 497 0 0 20 0 1 0 62246222 447168512 84963 33554432000 4194304 5849740 140720673842048 140720673841048 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109172 84963 730 405 0 106116 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 436688 KiB
Current children cumulated memory: 339852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18345
/proc/meminfo: memFree=21796720/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436688 memory=339852 CPUtime=2322.22 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 435061 0 0 0 231720 502 0 0 20 0 1 0 62246222 447168512 84963 33554432000 4194304 5849740 140720673842048 140720673841208 5438221 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109172 84963 730 405 0 106116 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 436688 KiB
Current children cumulated memory: 339852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18354
/proc/meminfo: memFree=21795880/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436688 memory=339852 CPUtime=2382.22 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 437317 0 0 0 237715 507 0 0 20 0 1 0 62246222 447168512 84963 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109172 84963 730 405 0 106116 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 436688 KiB
Current children cumulated memory: 339852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18355
/proc/meminfo: memFree=21781160/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=436688 memory=339852 CPUtime=2442.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 438714 0 0 0 243711 512 0 0 20 0 1 0 62246222 447168512 84963 33554432000 4194304 5849740 140720673842048 140720673841048 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 109172 84963 730 405 0 106116 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 436688 KiB
Current children cumulated memory: 339852 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18356
/proc/meminfo: memFree=21681948/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=447256 memory=350284 CPUtime=2502.23 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 443538 0 0 0 249704 519 0 0 20 0 1 0 62246222 457990144 87571 33554432000 4194304 5849740 140720673842048 140720673841048 5437705 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 111814 87571 730 405 0 108758 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 447256 KiB
Current children cumulated memory: 350284 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18356
/proc/meminfo: memFree=21616424/32770624 swapFree=67108860/67108860
[pid=18136] ppid=18133 vsize=512792 memory=415956 CPUtime=2519.94 cores=1,3,5,7
/proc/18136/stat : 18136 (xcsp_picat) R 18133 18136 16152 0 -1 4202496 470156 0 0 0 251471 523 0 0 20 0 1 0 62246222 525099008 103989 33554432000 4194304 5849740 140720673842048 140720673841048 140180167933831 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16142336 140720673850550 140720673850628 140720673850628 140720673853386 0
/proc/18136/statm: 128198 103989 730 405 0 125142 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 512792 KiB
Current children cumulated memory: 415956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18136 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.71 s, system=5.24707 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.96
CPU user time (s): 2514.71
CPU system time (s): 5.24707
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 512792
Max. memory (cumulated for all children) (KiB): 415956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.71
system time used= 5.24707
maximum resident set size= 415956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470156
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= 118
involuntary context switches= 1125
# summary of solver processes directly reported to runsolver:
# pid: 18136
# total CPU time (s): 2519.96
# total CPU user time (s): 2514.71
# total CPU system time (s): 5.24707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92596 second user time and 18.6011 second system time
The end