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 (14447 MiB free)
memory of node 1: 16384 MiB (13399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407604-1569509749/watcher-4407604-1569509749 -o /var/tmp/evaluation-result-4407604-1569509749/solver-4407604-1569509749 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18175 --watchdog 2560 xcsp_picat HOME/instance-4407604-1569509749.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=18275, runsolver pid=18272
[startup+0.100157 s]*
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28501452/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2031716 memory=18880 CPUtime=0.1 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 1866 0 0 0 10 0 0 0 20 0 1 0 527230073 2080477184 4720 33554432000 4194304 5870510 140733266472768 140733266469912 140250045934592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 507929 4720 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18880 KiB
[startup+0.209646 s]*
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28495308/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2031716 memory=25024 CPUtime=0.21 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 1869 0 0 0 21 0 0 0 20 0 1 0 527230073 2080477184 6256 33554432000 4194304 5870510 140733266472768 140733266469912 140250045934592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 507929 6256 835 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25024 KiB
[startup+0.309453 s]*
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28489164/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2031716 memory=31168 CPUtime=0.31 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 1872 0 0 0 31 0 0 0 20 0 1 0 527230073 2080477184 7792 33554432000 4194304 5870510 140733266472768 140733266469912 140250045454131 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 507929 7792 835 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31168 KiB
[startup+0.700402 s]
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28480972/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2031716 memory=39588 CPUtime=0.69 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 1881 0 0 0 69 0 0 0 20 0 1 0 527230073 2080477184 9897 33554432000 4194304 5870510 140733266472768 140733266469912 4695011 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 507929 9897 835 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39588 KiB
[startup+1.50039 s]
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28477236/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2031716 memory=39588 CPUtime=1.49 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 1883 0 0 0 149 0 0 0 20 0 1 0 527230073 2080477184 9897 33554432000 4194304 5870510 140733266472768 140733266472072 4849136 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 507929 9897 835 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39588 KiB
[startup+3.10943 s]
/proc/loadavg: 1.68 0.63 0.26 3/199 18276
/proc/meminfo: memFree=28401588/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2092528 memory=116288 CPUtime=3.1 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2761 0 0 0 306 4 0 0 20 0 1 0 527230073 2142748672 29072 33554432000 4194304 5870510 140733266472768 140733266471880 140250045955975 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 523132 29072 900 410 0 518605 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2092528 KiB
Current children cumulated memory: 116288 KiB
[startup+6.30037 s]
/proc/loadavg: 1.71 0.65 0.27 3/200 18278
/proc/meminfo: memFree=28380424/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2092528 memory=140968 CPUtime=6.29 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 3644 0 0 0 623 6 0 0 20 0 1 0 527230073 2142748672 35242 33554432000 4194304 5870510 140733266472768 140733266471944 4480558 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 523132 35242 919 410 0 518605 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2092528 KiB
Current children cumulated memory: 140968 KiB
[startup+12.7004 s]
/proc/loadavg: 1.73 0.67 0.28 3/199 18278
/proc/meminfo: memFree=28327328/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=2302388 memory=284512 CPUtime=12.69 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 29188 0 0 0 1259 10 0 0 20 0 1 0 527230073 2357645312 71128 33554432000 4194304 5870510 140733266472768 140733266471496 4475297 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 575597 71128 928 410 0 571070 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2302388 KiB
Current children cumulated memory: 284512 KiB
[startup+25.5004 s]
/proc/loadavg: 1.79 0.74 0.31 3/199 18278
/proc/meminfo: memFree=27394488/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=25.49 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 79462 0 0 0 2521 28 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5337393 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+51.1099 s]
/proc/loadavg: 1.86 0.84 0.35 3/200 18281
/proc/meminfo: memFree=27393788/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=51.09 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 188028 0 0 0 5076 33 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 1.02 0.44 3/197 18286
/proc/meminfo: memFree=27390100/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=102.28 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 310142 0 0 0 10190 38 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.20 0.54 3/198 18291
/proc/meminfo: memFree=27386444/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=162.27 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 430550 0 0 0 16185 42 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5337297 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.34 0.63 3/198 18295
/proc/meminfo: memFree=27370540/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=222.26 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 533437 0 0 0 22180 46 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321686 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.46 0.72 3/198 18302
/proc/meminfo: memFree=27368172/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=282.26 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 629897 0 0 0 28176 50 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5337504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.56 0.80 3/198 18306
/proc/meminfo: memFree=27368540/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=342.25 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 690641 0 0 0 34172 53 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321694 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.64 0.87 3/199 18318
/proc/meminfo: memFree=27368664/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=402.25 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 798499 0 0 0 40168 57 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5261287 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.71 0.94 3/200 18348
/proc/meminfo: memFree=27366840/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=462.23 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 920591 0 0 0 46162 61 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
################
# More data... #
################
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/199 18462
/proc/meminfo: memFree=27319864/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=1722.11 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2785465 0 0 0 172077 134 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5337336 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/199 18466
/proc/meminfo: memFree=27319060/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=1782.1 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2806474 0 0 0 178075 135 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5337504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/199 18472
/proc/meminfo: memFree=27319592/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114088 CPUtime=1842.09 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2823857 0 0 0 184074 135 0 0 20 0 1 0 527230073 3378593792 278522 33554432000 4194304 5870510 140733266472768 140733266472008 5321697 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278522 935 410 0 820325 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114088 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/198 18479
/proc/meminfo: memFree=27319768/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114440 CPUtime=1902.08 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2835724 0 0 0 190073 135 0 0 20 0 1 0 527230073 3378593792 278610 33554432000 4194304 5870510 140733266472768 140733266472008 5337297 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278610 935 410 0 820325 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114440 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.00 1.79 3/198 18547
/proc/meminfo: memFree=27486920/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1114936 CPUtime=1962.08 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2840968 0 0 0 196073 135 0 0 20 0 1 0 527230073 3378593792 278734 33554432000 4194304 5870510 140733266472768 140733266472008 5337393 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 278734 935 410 0 820325 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1114936 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.00 1.80 3/198 18611
/proc/meminfo: memFree=27427912/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1116916 CPUtime=2022.08 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2842828 0 0 0 202072 136 0 0 20 0 1 0 527230073 3378593792 279229 33554432000 4194304 5870510 140733266472768 140733266472008 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 279229 935 410 0 820325 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1116916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/198 18618
/proc/meminfo: memFree=27408456/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2082.07 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2848156 0 0 0 208071 136 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5337393 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/198 18622
/proc/meminfo: memFree=27394076/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2142.07 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2853022 0 0 0 214070 137 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/199 18634
/proc/meminfo: memFree=27390408/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2202.06 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2858347 0 0 0 220069 137 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5321694 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/199 18640
/proc/meminfo: memFree=27390056/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2262.05 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2863768 0 0 0 226068 137 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5352861 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/199 18644
/proc/meminfo: memFree=27390184/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2322.04 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2868501 0 0 0 232067 137 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/199 18648
/proc/meminfo: memFree=27377836/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2382.04 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2869851 0 0 0 238066 138 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5321680 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.04 2.03 1.88 3/199 18651
/proc/meminfo: memFree=27377420/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2400.04 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2874566 0 0 0 239866 138 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5337306 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 18275 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.66 s, system=1.39286 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.04 2.03 1.88 3/199 18651
/proc/meminfo: memFree=27377420/32770624 swapFree=66954412/67108860
[pid=18275] ppid=18272 vsize=3299408 memory=1123080 CPUtime=2400.04 cores=1,3,5,7
/proc/18275/stat : 18275 (xcsp_picat) R 18272 18275 18143 0 -1 4202496 2874566 0 0 0 239866 138 0 0 20 0 1 0 527230073 3378593792 280770 33554432000 4194304 5870510 140733266472768 140733266472008 5337306 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28692480 140733266473991 140733266474073 140733266474073 140733266476998 0
/proc/18275/statm: 824852 280770 935 410 0 820325 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 3299408 KiB
Current children cumulated memory: 1123080 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2398.66
CPU system time (s): 1.39286
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 3299408
Max. memory (cumulated for all children) (KiB): 1123080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.66
system time used= 1.39286
maximum resident set size= 1129760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2874567
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= 22
involuntary context switches= 3001
# summary of solver processes directly reported to runsolver:
# pid: 18275
# total CPU time (s): 2400.06
# total CPU user time (s): 2398.66
# total CPU system time (s): 1.39286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87168 second user time and 18.6753 second system time
The end