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 (5711 MiB free)
memory of node 1: 16384 MiB (8942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293036-1532303724/watcher-4293036-1532303724 -o /tmp/evaluation-result-4293036-1532303724/solver-4293036-1532303724 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8379 --watchdog 2580 xcsp_picat HOME/instance-4293036-1532303724.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=9221, runsolver pid=9218
[startup+0.100418 s]*
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=14975200/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=111688 memory=32856 CPUtime=0.1 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 1717 0 0 0 10 0 0 0 20 0 1 0 47935532 114368512 8214 33554432000 4194304 5849740 140737169512032 140737169511336 4493273 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 27922 8214 622 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 32856 KiB
[startup+0.210216 s]*
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=14934256/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=111688 memory=51288 CPUtime=0.2 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 1726 0 0 0 20 0 0 0 20 0 1 0 47935532 114368512 12822 33554432000 4194304 5849740 140737169512032 140737169511336 4465962 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 27922 12822 622 405 0 24866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 51288 KiB
[startup+0.310298 s]*
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=14883056/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=111688 memory=69720 CPUtime=0.31 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 1735 0 0 0 30 1 0 0 20 0 1 0 47935532 114368512 17430 33554432000 4194304 5849740 140737169512032 140737169511336 4580693 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 27922 17430 622 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 69720 KiB
[startup+0.700395 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=14798756/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=196656 memory=114036 CPUtime=0.68 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 2602 0 0 0 66 2 0 0 20 0 1 0 47935532 201375744 28509 33554432000 4194304 5849740 140737169512032 140737169511336 4553008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 49164 28509 631 405 0 46108 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 196656 KiB
Current children cumulated memory: 114036 KiB
[startup+1.50042 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=14558024/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=310428 memory=205232 CPUtime=1.49 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 3632 0 0 0 145 4 0 0 20 0 1 0 47935532 317878272 51308 33554432000 4194304 5849740 140737169512032 140737169511352 4507637 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 77607 51308 631 405 0 74551 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 310428 KiB
Current children cumulated memory: 205232 KiB
[startup+3.11007 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=13741872/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=701432 memory=360520 CPUtime=3.09 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 5214 0 0 0 297 12 0 0 20 0 1 0 47935532 718266368 90130 33554432000 4194304 5849740 140737169512032 140737169511336 4503335 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 175358 90130 631 405 0 172302 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 701432 KiB
Current children cumulated memory: 360520 KiB
[startup+6.30039 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 9222
/proc/meminfo: memFree=10976844/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=1861892 memory=1309844 CPUtime=6.28 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 13600 0 0 0 597 31 0 0 20 0 1 0 47935532 1906577408 327461 33554432000 4194304 5849740 140737169512032 140737169510808 5260513 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 465473 327461 658 405 0 462417 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1861892 KiB
Current children cumulated memory: 1309844 KiB
[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 9222
/proc/meminfo: memFree=11488160/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=1989928 memory=1265332 CPUtime=12.68 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 19073 0 0 0 1207 61 0 0 20 0 1 0 47935532 2037686272 316333 33554432000 4194304 5849740 140737169512032 140737169511352 5251249 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 497482 316333 658 405 0 494426 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1989928 KiB
Current children cumulated memory: 1265332 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 9222
/proc/meminfo: memFree=5668896/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=4311532 memory=3918588 CPUtime=25.49 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 24702 0 0 0 2420 129 0 0 20 0 1 0 47935532 4415008768 979647 33554432000 4194304 5849740 140737169512032 140737169511256 5251173 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 1077883 979647 658 405 0 1074827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4311532 KiB
Current children cumulated memory: 3918588 KiB
[startup+51.1099 s]
/proc/loadavg: 1.94 2.02 2.04 4/191 9222
/proc/meminfo: memFree=210300/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=8561536 memory=8276916 CPUtime=51.09 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 264596 0 0 0 4791 318 0 0 20 0 1 0 47935532 8767012864 2069229 33554432000 4194304 5849740 140737169512032 140737169511000 5251112 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 2140384 2069229 658 405 0 2137328 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 8561536 KiB
Current children cumulated memory: 8276916 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/191 9223
/proc/meminfo: memFree=5771100/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=8660272 memory=7105208 CPUtime=102.24 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 1710023 0 0 0 9306 918 0 0 20 0 1 0 47935532 8868118528 1776302 33554432000 4194304 5849740 140737169512032 140737169511000 5251112 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 2165068 1776302 659 405 0 2162012 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 8660272 KiB
Current children cumulated memory: 7105208 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/191 9225
/proc/meminfo: memFree=5240508/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=12732540 memory=12604256 CPUtime=162.24 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 1999554 0 0 0 14873 1351 0 0 20 0 1 0 47935532 13038120960 3151064 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3183135 3151064 659 405 0 3180079 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 12732540 KiB
Current children cumulated memory: 12604256 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/192 9227
/proc/meminfo: memFree=551660/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=12781364 memory=12651412 CPUtime=222.23 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 2148261 0 0 0 20578 1645 0 0 20 0 1 0 47935532 13088116736 3162853 33554432000 4194304 5849740 140737169512032 140737169511032 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3195341 3162853 659 405 0 3192285 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 12781364 KiB
Current children cumulated memory: 12651412 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/192 9234
/proc/meminfo: memFree=7249740/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=8776484 memory=6027624 CPUtime=282.22 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 2456241 0 0 0 26207 2015 0 0 20 0 1 0 47935532 8987119616 1506906 33554432000 4194304 5849740 140737169512032 140737169511000 5251173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 2194121 1506906 659 405 0 2191065 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 8776484 KiB
Current children cumulated memory: 6027624 KiB
[startup+342.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/193 9261
/proc/meminfo: memFree=10943028/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=8809688 memory=8601564 CPUtime=342.22 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 2624247 0 0 0 31889 2333 0 0 20 0 1 0 47935532 9021120512 2150391 33554432000 4194304 5849740 140737169512032 140737169511000 5251173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 2202422 2150391 659 405 0 2199366 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 8809688 KiB
Current children cumulated memory: 8601564 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/193 9262
/proc/meminfo: memFree=457256/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=12952264 memory=12823304 CPUtime=402.22 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 2729884 0 0 0 37557 2665 0 0 20 0 1 0 47935532 13263118336 3205826 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3238066 3205826 659 405 0 3235010 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 12952264 KiB
Current children cumulated memory: 12823304 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/193 9263
/proc/meminfo: memFree=4692108/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=13001092 memory=12872360 CPUtime=462.23 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 3070004 0 0 0 43234 2989 0 0 20 0 1 0 47935532 13313118208 3218090 33554432000 4194304 5849740 140737169512032 140737169511032 5269544 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3250273 3218090 659 405 0 3247217 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 13001092 KiB
Current children cumulated memory: 12872360 KiB
################
# More data... #
################
/proc/9221/statm: 3531035 3055898 659 405 0 3527979 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 14124140 KiB
Current children cumulated memory: 12223592 KiB
[startup+1782.3 s]
/proc/loadavg: 1.98 1.97 2.01 3/192 9306
/proc/meminfo: memFree=3012748/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14172968 memory=14044980 CPUtime=1782.17 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 5882220 0 0 0 168080 10137 0 0 20 0 1 0 47935532 14513119232 3511245 33554432000 4194304 5849740 140737169512032 140737169511032 5257160 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3543242 3511245 659 405 0 3540186 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 14172968 KiB
Current children cumulated memory: 14044980 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 1.97 2.01 3/192 9307
/proc/meminfo: memFree=219704/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14221800 memory=14093052 CPUtime=1842.17 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6052872 0 0 0 173743 10474 0 0 20 0 1 0 47935532 14563123200 3523263 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3555450 3523263 659 405 0 3552394 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 14221800 KiB
Current children cumulated memory: 14093052 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 1.99 2.01 3/192 9308
/proc/meminfo: memFree=7181008/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14270628 memory=14142716 CPUtime=1902.17 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6382525 0 0 0 179404 10813 0 0 20 0 1 0 47935532 14613123072 3535679 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3567657 3535679 659 405 0 3564601 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 14270628 KiB
Current children cumulated memory: 14142716 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 1.99 2.01 3/192 9310
/proc/meminfo: memFree=4790980/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14319452 memory=14191748 CPUtime=1962.16 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6398040 0 0 0 185116 11100 0 0 20 0 1 0 47935532 14663118848 3547937 33554432000 4194304 5849740 140737169512032 140737169511032 5260513 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3579863 3547937 659 405 0 3576807 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 14319452 KiB
Current children cumulated memory: 14191748 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 1.99 2.01 3/191 9311
/proc/meminfo: memFree=226476/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14368280 memory=14241380 CPUtime=2022.16 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6413258 0 0 0 190828 11388 0 0 20 0 1 0 47935532 14713118720 3560345 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3592070 3560345 659 405 0 3589014 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 14368280 KiB
Current children cumulated memory: 14241380 KiB
[startup+2082.3 s]
/proc/loadavg: 1.92 1.97 2.00 3/192 9320
/proc/meminfo: memFree=202344/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14417112 memory=14288576 CPUtime=2082.16 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6670734 0 0 0 196456 11760 0 0 20 0 1 0 47935532 14763122688 3572144 33554432000 4194304 5849740 140737169512032 140737169511032 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3604278 3572144 659 405 0 3601222 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 14417112 KiB
Current children cumulated memory: 14288576 KiB
[startup+2142.3 s]
/proc/loadavg: 1.97 1.97 2.00 3/192 9321
/proc/meminfo: memFree=6074944/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14728084 memory=14600504 CPUtime=2142.14 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6919952 0 0 0 202094 12120 0 0 20 0 1 0 47935532 15081558016 3650126 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3682021 3650126 659 405 0 3678965 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 14728084 KiB
Current children cumulated memory: 14600504 KiB
[startup+2202.3 s]
/proc/loadavg: 1.99 1.98 2.00 4/192 9322
/proc/meminfo: memFree=702824/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14776908 memory=14650180 CPUtime=2202.15 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6935283 0 0 0 207805 12410 0 0 20 0 1 0 47935532 15131553792 3662545 33554432000 4194304 5849740 140737169512032 140737169511032 5260380 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3694227 3662545 659 405 0 3691171 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 14776908 KiB
Current children cumulated memory: 14650180 KiB
[startup+2262.3 s]
/proc/loadavg: 1.93 1.97 2.00 3/193 9324
/proc/meminfo: memFree=228964/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14825736 memory=14697784 CPUtime=2262.16 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 6950408 0 0 0 213519 12697 0 0 20 0 1 0 47935532 15181553664 3674446 33554432000 4194304 5849740 140737169512032 140737169511032 5260491 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3706434 3674446 659 405 0 3703378 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 14825736 KiB
Current children cumulated memory: 14697784 KiB
[startup+2322.3 s]
/proc/loadavg: 1.90 1.96 1.99 3/193 9325
/proc/meminfo: memFree=225224/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14874572 memory=14747420 CPUtime=2322.15 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 7051083 0 0 0 219195 13020 0 0 20 0 1 0 47935532 15231561728 3686855 33554432000 4194304 5849740 140737169512032 140737169511032 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3718643 3686855 659 405 0 3715587 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 14874572 KiB
Current children cumulated memory: 14747420 KiB
[startup+2382.3 s]
/proc/loadavg: 1.96 1.96 1.99 3/192 9326
/proc/meminfo: memFree=7288016/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14923396 memory=14794756 CPUtime=2382.14 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 7330985 0 0 0 224817 13397 0 0 20 0 1 0 47935532 15281557504 3698689 33554432000 4194304 5849740 140737169512032 140737169511032 5260488 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3730849 3698689 659 405 0 3727793 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 14923396 KiB
Current children cumulated memory: 14794756 KiB
[startup+2442.3 s]
/proc/loadavg: 2.47 2.11 2.04 3/192 9327
/proc/meminfo: memFree=5090156/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=14972220 memory=14846732 CPUtime=2442.15 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 7573381 0 0 0 230452 13763 0 0 20 0 1 0 47935532 15331553280 3711683 33554432000 4194304 5849740 140737169512032 140737169511032 5260281 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3743055 3711683 659 405 0 3739999 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 14972220 KiB
Current children cumulated memory: 14846732 KiB
[startup+2502.3 s]
/proc/loadavg: 2.12 2.07 2.03 4/192 9450
/proc/meminfo: memFree=14681972/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=15021048 memory=14893876 CPUtime=2502.15 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 7587862 0 0 0 236167 14048 0 0 20 0 1 0 47935532 15381553152 3723469 33554432000 4194304 5849740 140737169512032 140737169511032 5260491 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 3755262 3723469 659 405 0 3752206 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 15021048 KiB
Current children cumulated memory: 14893876 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.09 2.07 2.03 3/192 9450
/proc/meminfo: memFree=19339892/32770624 swapFree=67108860/67108860
[pid=9221] ppid=9218 vsize=10350152 memory=10236764 CPUtime=2519.86 cores=1,3,5,7
/proc/9221/stat : 9221 (xcsp_picat) R 9218 9221 8347 0 -1 4202496 7592859 0 0 0 237858 14128 0 0 20 0 1 0 47935532 10598555648 2559191 33554432000 4194304 5849740 140737169512032 140737169511000 5249614 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 33001472 140737169515702 140737169515780 140737169515780 140737169518538 0
/proc/9221/statm: 2587538 2559191 659 405 0 2584482 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 10350152 KiB
Current children cumulated memory: 10236764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 9221 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2378.59 s, system=141.315 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.04
CPU time (s): 2519.9
CPU user time (s): 2378.59
CPU system time (s): 141.315
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 15021048
Max. memory (cumulated for all children) (KiB): 14893876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2378.59
system time used= 141.315
maximum resident set size= 14893876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7592859
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= 3
involuntary context switches= 2544
# summary of solver processes directly reported to runsolver:
# pid: 9221
# total CPU time (s): 2519.9
# total CPU user time (s): 2378.59
# total CPU system time (s): 141.315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.41938 second user time and 20.5849 second system time
The end