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 (3209 MiB free)
memory of node 1: 16384 MiB (9567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295424-1532542933/watcher-4295424-1532542933 -o /tmp/evaluation-result-4295424-1532542933/solver-4295424-1532542933 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25610 --watchdog 2580 xcsp_picat HOME/instance-4295424-1532542933.xml
running on 4 cores: 0,2,4,6
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=25730, runsolver pid=25727
[startup+0.100305 s]*
/proc/loadavg: 1.00 0.99 1.03 2/186 25734
/proc/meminfo: memFree=13097144/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=119504 memory=30268 CPUtime=0.09 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1626 0 0 0 9 0 0 0 20 0 1 0 71856483 122372096 7567 33554432000 4194304 5849740 140722277503648 140722277502952 4572141 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 29876 7567 629 405 0 26820 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 30268 KiB
[startup+0.209878 s]*
/proc/loadavg: 1.00 0.99 1.03 2/183 25753
/proc/meminfo: memFree=13080020/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=119504 memory=50748 CPUtime=0.2 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1643 0 0 0 20 0 0 0 20 0 1 0 71856483 122372096 12687 33554432000 4194304 5849740 140722277503648 140722277502952 4524781 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 29876 12687 629 405 0 26820 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 50748 KiB
[startup+0.30954 s]*
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=13042000/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=119504 memory=67340 CPUtime=0.31 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1651 0 0 0 30 1 0 0 20 0 1 0 71856483 122372096 16835 33554432000 4194304 5849740 140722277503648 140722277502952 4507481 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 29876 16835 629 405 0 26820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 67340 KiB
[startup+0.700323 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12936128/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=204472 memory=109216 CPUtime=0.69 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 2319 0 0 0 66 3 0 0 20 0 1 0 71856483 209379328 27304 33554432000 4194304 5849740 140722277503648 140722277502952 4503324 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 51118 27304 634 405 0 48062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 204472 KiB
Current children cumulated memory: 109216 KiB
[startup+1.50036 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12875560/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=228792 memory=163444 CPUtime=1.48 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 4157 0 0 0 145 3 0 0 20 0 1 0 71856483 234283008 40861 33554432000 4194304 5849740 140722277503648 140722277502952 5251180 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 57198 40861 663 405 0 54142 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 163444 KiB
[startup+3.10964 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12602508/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=250596 memory=187552 CPUtime=3.1 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 9023 0 0 0 283 27 0 0 20 0 1 0 71856483 256610304 46888 33554432000 4194304 5849740 140722277503648 140722277502744 5606197 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 62649 46888 726 405 0 59593 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 250596 KiB
Current children cumulated memory: 187552 KiB
[startup+6.30023 s]
/proc/loadavg: 1.08 1.00 1.04 4/189 25766
/proc/meminfo: memFree=12321940/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=250596 memory=187552 CPUtime=6.29 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 10104 0 0 0 601 28 0 0 20 0 1 0 71856483 256610304 46888 33554432000 4194304 5849740 140722277503648 140722277502744 140561468147798 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 62649 46888 726 405 0 59593 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 250596 KiB
Current children cumulated memory: 187552 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.02 1.05 3/189 25766
/proc/meminfo: memFree=12256112/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=266984 memory=204044 CPUtime=12.68 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 16478 0 0 0 1237 31 0 0 20 0 1 0 71856483 273391616 51011 33554432000 4194304 5849740 140722277503648 140722277502136 4211600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 66746 51011 752 405 0 63690 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 266984 KiB
Current children cumulated memory: 204044 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.07 1.06 3/189 25766
/proc/meminfo: memFree=12102088/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=270204 memory=204212 CPUtime=25.49 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 24017 0 0 0 2489 60 0 0 20 0 1 0 71856483 276688896 51053 33554432000 4194304 5849740 140722277503648 140722277502136 5438097 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 67551 51053 767 405 0 64495 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 270204 KiB
Current children cumulated memory: 204212 KiB
[startup+51.1098 s]
/proc/loadavg: 1.57 1.14 1.08 3/189 25766
/proc/meminfo: memFree=12068068/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=277148 memory=214140 CPUtime=51.09 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 31386 0 0 0 5035 74 0 0 20 0 1 0 71856483 283799552 53535 33554432000 4194304 5849740 140722277503648 140722277502520 5437849 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 69287 53535 767 405 0 66231 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 277148 KiB
Current children cumulated memory: 214140 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.27 1.13 3/189 25767
/proc/meminfo: memFree=12040864/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=296108 memory=240480 CPUtime=102.27 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 40502 0 0 0 10131 96 0 0 20 0 1 0 71856483 303214592 60120 33554432000 4194304 5849740 140722277503648 140722277502648 5437620 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 74027 60120 767 405 0 70971 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 296108 KiB
Current children cumulated memory: 240480 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.19 3/189 25768
/proc/meminfo: memFree=12003052/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=326208 memory=271632 CPUtime=162.27 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 52013 0 0 0 16109 118 0 0 20 0 1 0 71856483 334036992 67908 33554432000 4194304 5849740 140722277503648 140722277502648 5437709 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 81552 67908 767 405 0 78496 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 326208 KiB
Current children cumulated memory: 271632 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.24 3/187 25770
/proc/meminfo: memFree=11999800/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=330224 memory=275620 CPUtime=222.26 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 69126 0 0 0 22085 141 0 0 20 0 1 0 71856483 338149376 68905 33554432000 4194304 5849740 140722277503648 140722277502648 5335529 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 82556 68905 768 405 0 79500 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 330224 KiB
Current children cumulated memory: 275620 KiB
[startup+282.3 s]
/proc/loadavg: 1.93 1.59 1.28 3/187 25771
/proc/meminfo: memFree=12053088/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=310000 memory=255576 CPUtime=282.26 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 91776 0 0 0 28062 164 0 0 20 0 1 0 71856483 317440000 63894 33554432000 4194304 5849740 140722277503648 140722277502648 5437720 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 77500 63894 768 405 0 74444 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 310000 KiB
Current children cumulated memory: 255576 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 1.66 1.33 3/187 25772
/proc/meminfo: memFree=11964132/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=375052 memory=320500 CPUtime=342.26 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 105935 0 0 0 34037 189 0 0 20 0 1 0 71856483 384053248 80125 33554432000 4194304 5849740 140722277503648 140722277502520 5398411 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 93763 80125 768 405 0 90707 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 375052 KiB
Current children cumulated memory: 320500 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.72 1.37 3/187 25774
/proc/meminfo: memFree=11974944/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=363528 memory=308976 CPUtime=402.26 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 123965 0 0 0 40019 207 0 0 20 0 1 0 71856483 372252672 77244 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 90882 77244 768 405 0 87826 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 363528 KiB
Current children cumulated memory: 308976 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.77 1.41 3/187 25775
/proc/meminfo: memFree=11952128/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=379912 memory=325360 CPUtime=462.25 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 150658 0 0 0 45996 229 0 0 20 0 1 0 71856483 389029888 81340 33554432000 4194304 5849740 140722277503648 140722277502648 5437591 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 94978 81340 768 405 0 91922 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 379912 KiB
Current children cumulated memory: 325360 KiB
################
# More data... #
################
/proc/25730/statm: 202746 189108 768 405 0 199690 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 810984 KiB
Current children cumulated memory: 756432 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/187 25820
/proc/meminfo: memFree=11392436/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=904072 memory=849452 CPUtime=1782.19 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 687505 0 0 0 177306 913 0 0 20 0 1 0 71856483 925769728 212363 33554432000 4194304 5849740 140722277503648 140722277502648 5335683 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 226018 212363 768 405 0 222962 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 904072 KiB
Current children cumulated memory: 849452 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/187 25821
/proc/meminfo: memFree=11717208/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=579856 memory=525116 CPUtime=1842.17 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 740719 0 0 0 183283 934 0 0 20 0 1 0 71856483 593772544 131279 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 144964 131279 768 405 0 141908 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 579856 KiB
Current children cumulated memory: 525116 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/187 25822
/proc/meminfo: memFree=11580820/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=715284 memory=660732 CPUtime=1902.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 781225 0 0 0 189252 963 0 0 20 0 1 0 71856483 732450816 165183 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 178821 165183 768 405 0 175765 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 715284 KiB
Current children cumulated memory: 660732 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/186 25823
/proc/meminfo: memFree=11479272/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=808384 memory=753832 CPUtime=1962.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 829570 0 0 0 195228 987 0 0 20 0 1 0 71856483 827785216 188458 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 202096 188458 768 405 0 199040 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 808384 KiB
Current children cumulated memory: 753832 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/187 25826
/proc/meminfo: memFree=11359512/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=921292 memory=866740 CPUtime=2022.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 871623 0 0 0 201204 1011 0 0 20 0 1 0 71856483 943403008 216685 33554432000 4194304 5849740 140722277503648 140722277502648 5339783 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 230323 216685 768 405 0 227267 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 921292 KiB
Current children cumulated memory: 866740 KiB
[startup+2082.3 s]
/proc/loadavg: 2.22 2.05 1.92 3/187 25827
/proc/meminfo: memFree=11284364/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=986828 memory=932276 CPUtime=2082.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 917682 0 0 0 207190 1025 0 0 20 0 1 0 71856483 1010511872 233069 33554432000 4194304 5849740 140722277503648 140722277502520 5394823 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 246707 233069 768 405 0 243651 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 986828 KiB
Current children cumulated memory: 932276 KiB
[startup+2142.3 s]
/proc/loadavg: 2.36 2.14 1.96 3/187 25828
/proc/meminfo: memFree=11201732/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=1069968 memory=1015416 CPUtime=2142.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 979315 0 0 0 213172 1043 0 0 20 0 1 0 71856483 1095647232 253854 33554432000 4194304 5849740 140722277503648 140722277502648 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 267492 253854 768 405 0 264436 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1069968 KiB
Current children cumulated memory: 1015416 KiB
[startup+2202.3 s]
/proc/loadavg: 2.13 2.11 1.96 3/187 25830
/proc/meminfo: memFree=11201980/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=1069968 memory=1015416 CPUtime=2202.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1035888 0 0 0 219158 1057 0 0 20 0 1 0 71856483 1095647232 253854 33554432000 4194304 5849740 140722277503648 140722277502520 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 267492 253854 768 405 0 264436 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 1069968 KiB
Current children cumulated memory: 1015416 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.09 1.96 3/187 25831
/proc/meminfo: memFree=11060400/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=1210956 memory=1156404 CPUtime=2262.14 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1105851 0 0 0 225139 1075 0 0 20 0 1 0 71856483 1240018944 289101 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 302739 289101 768 405 0 299683 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 1210956 KiB
Current children cumulated memory: 1156404 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 1.96 3/188 25840
/proc/meminfo: memFree=11060028/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=1210956 memory=1156404 CPUtime=2322.15 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1199183 0 0 0 231118 1097 0 0 20 0 1 0 71856483 1240018944 289101 33554432000 4194304 5849740 140722277503648 140722277502648 140561468608391 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 302739 289101 768 405 0 299683 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 1210956 KiB
Current children cumulated memory: 1156404 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.06 1.96 3/189 25864
/proc/meminfo: memFree=11636104/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=636180 memory=581628 CPUtime=2382.14 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1313233 0 0 0 237089 1125 0 0 20 0 1 0 71856483 651448320 145407 33554432000 4194304 5849740 140722277503648 140722277502648 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 159045 145407 768 405 0 155989 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 636180 KiB
Current children cumulated memory: 581628 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 1.96 3/189 25865
/proc/meminfo: memFree=11586392/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=685172 memory=630620 CPUtime=2442.14 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1375255 0 0 0 243068 1146 0 0 20 0 1 0 71856483 701616128 157655 33554432000 4194304 5849740 140722277503648 140722277502648 5437819 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 171293 157655 768 405 0 168237 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 685172 KiB
Current children cumulated memory: 630620 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25866
/proc/meminfo: memFree=11482376/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=778004 memory=723452 CPUtime=2502.14 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1444772 0 0 0 249049 1165 0 0 20 0 1 0 71856483 796676096 180863 33554432000 4194304 5849740 140722277503648 140722277502648 5312596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 194501 180863 768 405 0 191445 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 778004 KiB
Current children cumulated memory: 723452 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 1.96 3/189 25866
/proc/meminfo: memFree=11404120/32770624 swapFree=67108852/67108860
[pid=25730] ppid=25727 vsize=822424 memory=767872 CPUtime=2519.84 cores=0,2,4,6
/proc/25730/stat : 25730 (xcsp_picat) R 25727 25730 25579 0 -1 4202496 1450663 0 0 0 250815 1169 0 0 20 0 1 0 71856483 842162176 191968 33554432000 4194304 5849740 140722277503648 140722277502808 5438262 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44830720 140722277512374 140722277512452 140722277512452 140722277515210 0
/proc/25730/statm: 205606 191968 768 405 0 202550 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 822424 KiB
Current children cumulated memory: 767872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.16 s, system=11.7136 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.87
CPU user time (s): 2508.16
CPU system time (s): 11.7136
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 1210956
Max. memory (cumulated for all children) (KiB): 1156404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.16
system time used= 11.7136
maximum resident set size= 1156404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1450663
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= 73
involuntary context switches= 3912
# summary of solver processes directly reported to runsolver:
# pid: 25730
# total CPU time (s): 2519.87
# total CPU user time (s): 2508.16
# total CPU system time (s): 11.7136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6719 second user time and 18.2711 second system time
The end