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 (13761 MiB free)
memory of node 1: 16384 MiB (12297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407669-1569512044/watcher-4407669-1569512044 -o /tmp/evaluation-result-4407669-1569512044/solver-4407669-1569512044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569505417-1358 --watchdog 2560 xcsp_picat HOME/instance-4407669-1569512044.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=1757, runsolver pid=1752
[startup+0.100168 s]*
/proc/loadavg: 2.09 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26646864/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=21460 CPUtime=0.1 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 1950 0 0 0 10 0 0 0 20 0 1 0 527460867 2080477184 5365 33554432000 4194304 5870510 140734883682736 140734883682040 4491121 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 5365 837 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21460 KiB
[startup+0.209859 s]*
/proc/loadavg: 2.09 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26636068/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=33748 CPUtime=0.2 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 1956 0 0 0 20 0 0 0 20 0 1 0 527460867 2080477184 8437 33554432000 4194304 5870510 140734883682736 140734883682040 4475201 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 8437 837 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33748 KiB
[startup+0.309519 s]*
/proc/loadavg: 2.09 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26623408/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=43988 CPUtime=0.3 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 1961 0 0 0 30 0 0 0 20 0 1 0 527460867 2080477184 10997 33554432000 4194304 5870510 140734883682736 140734883682040 4515436 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 10997 837 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 43988 KiB
[startup+0.700388 s]
/proc/loadavg: 2.09 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26601440/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=84948 CPUtime=0.69 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 1981 0 0 0 68 1 0 0 20 0 1 0 527460867 2080477184 21237 33554432000 4194304 5870510 140734883682736 140734883682040 4515827 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 21237 837 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 84948 KiB
[startup+1.50037 s]
/proc/loadavg: 2.09 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26544940/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=169456 CPUtime=1.49 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 2023 0 0 0 147 2 0 0 20 0 1 0 527460867 2080477184 42364 33554432000 4194304 5870510 140734883682736 140734883682040 4438751 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 42364 841 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 169456 KiB
[startup+3.10965 s]
/proc/loadavg: 2.08 2.03 1.88 3/199 1762
/proc/meminfo: memFree=26319812/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=341488 CPUtime=3.1 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 2558 0 0 0 306 4 0 0 20 0 1 0 527460867 2080477184 85372 33554432000 4194304 5870510 140734883682736 140734883682040 4525437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 85372 841 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 341488 KiB
[startup+6.30038 s]
/proc/loadavg: 2.08 2.03 1.88 3/199 1762
/proc/meminfo: memFree=25989356/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=679408 CPUtime=6.29 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 3179 0 0 0 620 9 0 0 20 0 1 0 527460867 2080477184 169852 33554432000 4194304 5870510 140734883682736 140734883682040 4459056 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 169852 841 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 679408 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 1.88 3/199 1763
/proc/meminfo: memFree=25338836/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=2031716 memory=1359340 CPUtime=12.69 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 3510 0 0 0 1250 19 0 0 20 0 1 0 527460867 2080477184 339835 33554432000 4194304 5870510 140734883682736 140734883682040 4459674 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 507929 339835 841 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1359340 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 1.88 3/199 1763
/proc/meminfo: memFree=22604236/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4162156 memory=4023908 CPUtime=25.48 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 7366 0 0 0 2492 56 0 0 20 0 1 0 527460867 4262047744 1005977 33554432000 4194304 5870510 140734883682736 140734883682056 5355029 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1040539 1005977 846 410 0 1036012 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4162156 KiB
Current children cumulated memory: 4023908 KiB
[startup+51.1097 s]
/proc/loadavg: 2.10 2.04 1.89 3/199 1765
/proc/meminfo: memFree=23840656/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4171716 memory=2835264 CPUtime=51.09 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 22384 0 0 0 4847 262 0 0 20 0 1 0 527460867 4271837184 708816 33554432000 4194304 5870510 140734883682736 140734883681704 5245088 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1042929 708816 846 410 0 1038402 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4171716 KiB
Current children cumulated memory: 2835264 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 1.89 3/198 1770
/proc/meminfo: memFree=22519200/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4191344 memory=2215808 CPUtime=102.28 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 51173 0 0 0 9540 688 0 0 20 0 1 0 527460867 4291936256 553952 33554432000 4194304 5870510 140734883682736 140734883681704 5245088 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1047836 553952 846 410 0 1043309 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4191344 KiB
Current children cumulated memory: 2215808 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.90 3/198 1774
/proc/meminfo: memFree=22800068/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4205560 memory=3946356 CPUtime=162.28 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 84596 0 0 0 15065 1163 0 0 20 0 1 0 527460867 4306493440 986589 33554432000 4194304 5870510 140734883682736 140734883681704 5246232 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1051390 986589 846 410 0 1046863 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4205560 KiB
Current children cumulated memory: 3946356 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/199 1803
/proc/meminfo: memFree=23569464/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4214884 memory=3169248 CPUtime=222.27 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 117041 0 0 0 20569 1658 0 0 20 0 1 0 527460867 4316041216 792312 33554432000 4194304 5870510 140734883682736 140734883681704 5246600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1053721 792312 846 410 0 1049194 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 4214884 KiB
Current children cumulated memory: 3169248 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/198 1808
/proc/meminfo: memFree=24259248/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4221544 memory=2475492 CPUtime=282.27 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 152159 0 0 0 26082 2145 0 0 20 0 1 0 527460867 4322861056 618873 33554432000 4194304 5870510 140734883682736 140734883681704 5246343 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1055386 618873 846 410 0 1050859 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 4221544 KiB
Current children cumulated memory: 2475492 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/198 1812
/proc/meminfo: memFree=22866288/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=4225500 memory=3865944 CPUtime=342.26 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 182260 0 0 0 31588 2638 0 0 20 0 1 0 527460867 4326912000 966486 33554432000 4194304 5870510 140734883682736 140734883681704 5246343 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1056375 966486 846 410 0 1051848 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 4225500 KiB
Current children cumulated memory: 3865944 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 1825
/proc/meminfo: memFree=20285320/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=6415752 memory=6277860 CPUtime=402.26 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 218478 0 0 0 37141 3085 0 0 20 0 1 0 527460867 6569730048 1569465 33554432000 4194304 5870510 140734883682736 140734883682056 5252591 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1603938 1569465 869 410 0 1599411 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 6415752 KiB
Current children cumulated memory: 6277860 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/198 1829
/proc/meminfo: memFree=20211524/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=6423560 memory=6347212 CPUtime=462.25 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 287530 0 0 0 42541 3684 0 0 20 0 1 0 527460867 6577725440 1586803 33554432000 4194304 5870510 140734883682736 140734883682056 5252584 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 1605890 1586803 869 410 0 1601363 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 6423560 KiB
Current children cumulated memory: 6347212 KiB
################
# More data... #
################
/proc/1757/statm: 3473398 2883080 911 410 0 3468871 0
Current children cumulated CPU time: 1602.18 s
Current children cumulated vsize: 13893592 KiB
Current children cumulated memory: 11532320 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 2125
/proc/meminfo: memFree=13817472/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13893592 memory=11528224 CPUtime=1662.18 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 10807316 0 0 0 161517 4701 0 0 20 0 1 0 527460867 14227038208 2882056 33554432000 4194304 5870510 140734883682736 140734883681688 5262735 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3473398 2882056 911 410 0 3468871 0
Current children cumulated CPU time: 1662.18 s
Current children cumulated vsize: 13893592 KiB
Current children cumulated memory: 11528224 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/198 2192
/proc/meminfo: memFree=13186580/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13894808 memory=11539760 CPUtime=1722.18 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 11332245 0 0 0 167472 4746 0 0 20 0 1 0 527460867 14228283392 2884940 33554432000 4194304 5870510 140734883682736 140734883681288 5282251 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3473702 2884940 911 410 0 3469175 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 13894808 KiB
Current children cumulated memory: 11539760 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/198 2196
/proc/meminfo: memFree=13190232/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13900548 memory=11543396 CPUtime=1782.18 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 11863465 0 0 0 173426 4792 0 0 20 0 1 0 527460867 14234161152 2885849 33554432000 4194304 5870510 140734883682736 140734883681272 5304055 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3475137 2885849 911 410 0 3470610 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 13900548 KiB
Current children cumulated memory: 11543396 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 2202
/proc/meminfo: memFree=13186208/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13906804 memory=11533332 CPUtime=1842.17 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 12528125 0 0 0 179374 4843 0 0 20 0 1 0 527460867 14240567296 2883333 33554432000 4194304 5870510 140734883682736 140734883681096 5283133 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3476701 2883333 911 410 0 3472174 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 13906804 KiB
Current children cumulated memory: 11533332 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.05 1.98 3/198 2336
/proc/meminfo: memFree=14740348/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=14260336 memory=11697772 CPUtime=1902.17 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 13153427 0 0 0 185333 4884 0 0 20 0 1 0 527460867 14602584064 2924443 33554432000 4194304 5870510 140734883682736 140734883681096 5283133 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3565084 2924443 911 410 0 3560557 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 14260336 KiB
Current children cumulated memory: 11697772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/198 2416
/proc/meminfo: memFree=14756576/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13914488 memory=11526616 CPUtime=1962.16 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 13943182 0 0 0 191264 4952 0 0 20 0 1 0 527460867 14248435712 2881654 33554432000 4194304 5870510 140734883682736 140734883681288 5262692 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3478622 2881654 911 410 0 3474095 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 13914488 KiB
Current children cumulated memory: 11526616 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/199 2422
/proc/meminfo: memFree=14755100/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13919436 memory=11521356 CPUtime=2022.16 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 14499483 0 0 0 197214 5002 0 0 20 0 1 0 527460867 14253502464 2880339 33554432000 4194304 5870510 140734883682736 140734883681272 5283135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3479859 2880339 911 410 0 3475332 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 13919436 KiB
Current children cumulated memory: 11521356 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/198 2427
/proc/meminfo: memFree=14542436/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=14272840 memory=11722408 CPUtime=2082.16 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 15246932 0 0 0 203169 5047 0 0 20 0 1 0 527460867 14615388160 2930602 33554432000 4194304 5870510 140734883682736 140734883681272 5274396 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3568210 2930602 911 410 0 3563683 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 14272840 KiB
Current children cumulated memory: 11722408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/198 2431
/proc/meminfo: memFree=14602944/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=14274052 memory=11639636 CPUtime=2142.15 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 16098572 0 0 0 209100 5115 0 0 20 0 1 0 527460867 14616629248 2909909 33554432000 4194304 5870510 140734883682736 140734883681688 5282736 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3568513 2909909 911 410 0 3563986 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 14274052 KiB
Current children cumulated memory: 11639636 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/199 2444
/proc/meminfo: memFree=14398696/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=14275324 memory=11843792 CPUtime=2202.15 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 16959605 0 0 0 215046 5169 0 0 20 0 1 0 527460867 14617931776 2960948 33554432000 4194304 5870510 140734883682736 140734883681288 5262976 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3568831 2960948 911 410 0 3564304 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 14275324 KiB
Current children cumulated memory: 11843792 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 2471
/proc/meminfo: memFree=14625012/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13928092 memory=11607736 CPUtime=2262.15 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 17833354 0 0 0 220971 5244 0 0 20 0 1 0 527460867 14262366208 2901934 33554432000 4194304 5870510 140734883682736 140734883681304 5282738 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3482023 2901934 911 410 0 3477496 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 13928092 KiB
Current children cumulated memory: 11607736 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 2475
/proc/meminfo: memFree=14494424/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=14280504 memory=11734160 CPUtime=2322.14 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 18787459 0 0 0 226915 5299 0 0 20 0 1 0 527460867 14623236096 2933540 33554432000 4194304 5870510 140734883682736 140734883681096 5274396 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3570126 2933540 911 410 0 3565599 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 14280504 KiB
Current children cumulated memory: 11734160 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 2.00 1.98 3/200 2481
/proc/meminfo: memFree=14714116/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13933672 memory=11523188 CPUtime=2382.14 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 19607055 0 0 0 232846 5368 0 0 20 0 1 0 527460867 14268080128 2880797 33554432000 4194304 5870510 140734883682736 140734883681752 5295052 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3483418 2880797 911 410 0 3478891 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 13933672 KiB
Current children cumulated memory: 11523188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 1.95 2.00 1.98 3/199 2482
/proc/meminfo: memFree=14671268/32770624 swapFree=66986436/67108860
[pid=1757] ppid=1752 vsize=13935836 memory=11560096 CPUtime=2400.04 cores=1,3,5,7
/proc/1757/stat : 1757 (xcsp_picat) R 1752 1757 1326 0 -1 4202496 19724175 0 0 0 234628 5376 0 0 20 0 1 0 527460867 14270296064 2890024 33554432000 4194304 5870510 140734883682736 140734883681272 5283133 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 18513920 140734883685407 140734883685485 140734883685485 140734883688394 0
/proc/1757/statm: 3483959 2890024 911 410 0 3479432 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 13935836 KiB
Current children cumulated memory: 11560096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.27 s]
# the end of solver process 1757 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2346.29 s, system=53.8306 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): 2400.27
CPU time (s): 2400.12
CPU user time (s): 2346.29
CPU system time (s): 53.8306
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 14841588
Max. memory (cumulated for all children) (KiB): 12438640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2346.29
system time used= 53.8306
maximum resident set size= 12438640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19724175
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= 7
involuntary context switches= 737
# summary of solver processes directly reported to runsolver:
# pid: 1757
# total CPU time (s): 2400.12
# total CPU user time (s): 2346.29
# total CPU system time (s): 53.8306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03103 second user time and 18.3604 second system time
The end