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 (15029 MiB free)
memory of node 1: 16384 MiB (11836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293643-1532324457/watcher-4293643-1532324457 -o /tmp/evaluation-result-4293643-1532324457/solver-4293643-1532324457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293643-1532324457.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
solver pid=11176, runsolver pid=11173
Current StackSize limit: 8192 KiB
[startup+0.100393 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27482172/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=111688 memory=34124 CPUtime=0.1 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 1556 0 0 0 10 0 0 0 20 0 1 0 50008921 114368512 8531 33554432000 4194304 5849740 140734572612480 140734572611784 4502604 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 27922 8531 611 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 34124 KiB
[startup+0.209576 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27434124/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=181256 memory=82600 CPUtime=0.2 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 2464 0 0 0 20 0 0 0 20 0 1 0 50008921 185606144 20650 33554432000 4194304 5849740 140734572612480 140734572611784 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 45314 20650 620 405 0 42258 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 181256 KiB
Current children cumulated memory: 82600 KiB
[startup+0.309501 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27421836/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=181256 memory=93084 CPUtime=0.31 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 2469 0 0 0 30 1 0 0 20 0 1 0 50008921 185606144 23271 33554432000 4194304 5849740 140734572612480 140734572611800 4492544 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 45314 23271 620 405 0 42258 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 181256 KiB
Current children cumulated memory: 93084 KiB
[startup+0.700349 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27411272/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=181256 memory=113564 CPUtime=0.69 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 2480 0 0 0 68 1 0 0 20 0 1 0 50008921 185606144 28391 33554432000 4194304 5849740 140734572612480 140734572611800 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 45314 28391 620 405 0 42258 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181256 KiB
Current children cumulated memory: 113564 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27394704/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=181256 memory=120704 CPUtime=1.49 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 2734 0 0 0 148 1 0 0 20 0 1 0 50008921 185606144 30176 33554432000 4194304 5849740 140734572612480 140734572611800 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 45314 30176 630 405 0 42258 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 181256 KiB
Current children cumulated memory: 120704 KiB
[startup+3.10921 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27346920/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=249240 memory=168316 CPUtime=3.1 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 4983 0 0 0 307 3 0 0 20 0 1 0 50008921 255221760 42079 33554432000 4194304 5849740 140734572612480 140734572611576 140284771254151 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 62310 42079 721 405 0 59254 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 249240 KiB
Current children cumulated memory: 168316 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27345436/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=251032 memory=170016 CPUtime=6.28 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 5671 0 0 0 625 3 0 0 20 0 1 0 50008921 257056768 42504 33554432000 4194304 5849740 140734572612480 140734572611576 140284770787128 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 62758 42504 721 405 0 59702 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 251032 KiB
Current children cumulated memory: 170016 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27344136/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=253080 memory=171964 CPUtime=12.68 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 6694 0 0 0 1263 5 0 0 20 0 1 0 50008921 259153920 42991 33554432000 4194304 5849740 140734572612480 140734572611576 140284771254151 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 63270 42991 721 405 0 60214 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 253080 KiB
Current children cumulated memory: 171964 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11177
/proc/meminfo: memFree=27337000/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=260248 memory=179340 CPUtime=25.48 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 10064 0 0 0 2537 11 0 0 20 0 1 0 50008921 266493952 44835 33554432000 4194304 5849740 140734572612480 140734572611576 5606197 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 65062 44835 721 405 0 62006 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 260248 KiB
Current children cumulated memory: 179340 KiB
[startup+51.1093 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 11177
/proc/meminfo: memFree=27197072/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=407880 memory=319448 CPUtime=51.08 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 36144 0 0 0 5091 17 0 0 20 0 1 0 50008921 417669120 79862 33554432000 4194304 5849740 140734572612480 140734572610024 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 101970 79862 749 405 0 98914 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 407880 KiB
Current children cumulated memory: 319448 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 11178
/proc/meminfo: memFree=27193076/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=407880 memory=323560 CPUtime=102.27 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 54481 0 0 0 10206 21 0 0 20 0 1 0 50008921 417669120 80890 33554432000 4194304 5849740 140734572612480 140734572610968 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 101970 80890 753 405 0 98914 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 407880 KiB
Current children cumulated memory: 323560 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 11179
/proc/meminfo: memFree=27217272/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381920 memory=297600 CPUtime=162.26 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 81999 0 0 0 16197 29 0 0 20 0 1 0 50008921 391086080 74400 33554432000 4194304 5849740 140734572612480 140734572610968 4213556 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95480 74400 753 405 0 92424 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 381920 KiB
Current children cumulated memory: 297600 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11180
/proc/meminfo: memFree=27217556/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381920 memory=297600 CPUtime=222.25 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 87702 0 0 0 22191 34 0 0 20 0 1 0 50008921 391086080 74400 33554432000 4194304 5849740 140734572612480 140734572611480 5355906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95480 74400 753 405 0 92424 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 381920 KiB
Current children cumulated memory: 297600 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11181
/proc/meminfo: memFree=27214336/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381868 memory=301288 CPUtime=282.24 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 89349 0 0 0 28183 41 0 0 20 0 1 0 50008921 391032832 75322 33554432000 4194304 5849740 140734572612480 140734572611480 5438257 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95467 75322 753 405 0 92411 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 381868 KiB
Current children cumulated memory: 301288 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11182
/proc/meminfo: memFree=27209672/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381636 memory=306508 CPUtime=342.25 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 90489 0 0 0 34176 49 0 0 20 0 1 0 50008921 390795264 76627 33554432000 4194304 5849740 140734572612480 140734572611480 5312884 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95409 76627 753 405 0 92353 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 381636 KiB
Current children cumulated memory: 306508 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11183
/proc/meminfo: memFree=27209884/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381636 memory=306508 CPUtime=402.24 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 91990 0 0 0 40170 54 0 0 20 0 1 0 50008921 390795264 76627 33554432000 4194304 5849740 140734572612480 140734572610968 5437620 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95409 76627 753 405 0 92353 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 381636 KiB
Current children cumulated memory: 306508 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11184
/proc/meminfo: memFree=27209980/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=381636 memory=306508 CPUtime=462.24 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 93482 0 0 0 46164 60 0 0 20 0 1 0 50008921 390795264 76627 33554432000 4194304 5849740 140734572612480 140734572611480 5437564 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 95409 76627 753 405 0 92353 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 381636 KiB
Current children cumulated memory: 306508 KiB
################
# More data... #
################
/proc/11176/statm: 95187 76411 763 405 0 92131 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 380748 KiB
Current children cumulated memory: 305644 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 11254
/proc/meminfo: memFree=27192620/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390832 memory=309304 CPUtime=1782.17 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 149018 0 0 0 178020 197 0 0 20 0 1 0 50008921 400211968 77326 33554432000 4194304 5849740 140734572612480 140734572611480 5437442 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97708 77326 763 405 0 94652 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 390832 KiB
Current children cumulated memory: 309304 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 11255
/proc/meminfo: memFree=27189224/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390832 memory=313476 CPUtime=1842.17 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 161151 0 0 0 184008 209 0 0 20 0 1 0 50008921 400211968 78369 33554432000 4194304 5849740 140734572612480 140734572611480 140284771254151 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97708 78369 763 405 0 94652 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 390832 KiB
Current children cumulated memory: 313476 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 11316
/proc/meminfo: memFree=27232168/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390640 memory=313284 CPUtime=1902.16 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 167777 0 0 0 190000 216 0 0 20 0 1 0 50008921 400015360 78321 33554432000 4194304 5849740 140734572612480 140734572611480 5307597 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97660 78321 763 405 0 94604 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 390640 KiB
Current children cumulated memory: 313284 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11317
/proc/meminfo: memFree=27207436/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390640 memory=313284 CPUtime=1962.16 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 170060 0 0 0 195991 225 0 0 20 0 1 0 50008921 400015360 78321 33554432000 4194304 5849740 140734572612480 140734572611640 5437611 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97660 78321 763 405 0 94604 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 390640 KiB
Current children cumulated memory: 313284 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11318
/proc/meminfo: memFree=27199552/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390344 memory=312988 CPUtime=2022.16 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 171876 0 0 0 201983 233 0 0 20 0 1 0 50008921 399712256 78247 33554432000 4194304 5849740 140734572612480 140734572611480 5416475 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97586 78247 763 405 0 94530 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 390344 KiB
Current children cumulated memory: 312988 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11319
/proc/meminfo: memFree=27223860/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390344 memory=312988 CPUtime=2082.15 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 173034 0 0 0 207975 240 0 0 20 0 1 0 50008921 399712256 78247 33554432000 4194304 5849740 140734572612480 140734572611480 140284771254151 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97586 78247 763 405 0 94530 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 390344 KiB
Current children cumulated memory: 312988 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11320
/proc/meminfo: memFree=27219384/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390344 memory=312988 CPUtime=2142.15 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 174360 0 0 0 213967 248 0 0 20 0 1 0 50008921 399712256 78247 33554432000 4194304 5849740 140734572612480 140734572611480 5437616 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97586 78247 763 405 0 94530 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 390344 KiB
Current children cumulated memory: 312988 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11321
/proc/meminfo: memFree=27185304/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390064 memory=312708 CPUtime=2202.15 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 175534 0 0 0 219957 258 0 0 20 0 1 0 50008921 399425536 78177 33554432000 4194304 5849740 140734572612480 140734572611480 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97516 78177 763 405 0 94460 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 390064 KiB
Current children cumulated memory: 312708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11322
/proc/meminfo: memFree=27185740/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390064 memory=312708 CPUtime=2262.15 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 176664 0 0 0 225946 269 0 0 20 0 1 0 50008921 399425536 78177 33554432000 4194304 5849740 140734572612480 140734572611480 5307464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97516 78177 763 405 0 94460 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 390064 KiB
Current children cumulated memory: 312708 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11323
/proc/meminfo: memFree=27154672/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=390064 memory=312708 CPUtime=2322.14 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 177660 0 0 0 231937 277 0 0 20 0 1 0 50008921 399425536 78177 33554432000 4194304 5849740 140734572612480 140734572611480 5437629 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97516 78177 763 405 0 94460 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 390064 KiB
Current children cumulated memory: 312708 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11332
/proc/meminfo: memFree=27154220/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=389828 memory=312472 CPUtime=2382.14 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 178829 0 0 0 237928 286 0 0 20 0 1 0 50008921 399183872 78118 33554432000 4194304 5849740 140734572612480 140734572611480 5340774 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97457 78118 763 405 0 94401 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 389828 KiB
Current children cumulated memory: 312472 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11333
/proc/meminfo: memFree=27154520/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=389828 memory=312472 CPUtime=2442.13 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 179735 0 0 0 243917 296 0 0 20 0 1 0 50008921 399183872 78118 33554432000 4194304 5849740 140734572612480 140734572611480 5438211 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97457 78118 763 405 0 94401 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 389828 KiB
Current children cumulated memory: 312472 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11334
/proc/meminfo: memFree=27080856/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=389828 memory=312472 CPUtime=2502.13 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 180752 0 0 0 249908 305 0 0 20 0 1 0 50008921 399183872 78118 33554432000 4194304 5849740 140734572612480 140734572610968 5307550 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97457 78118 763 405 0 94401 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 389828 KiB
Current children cumulated memory: 312472 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11334
/proc/meminfo: memFree=27111264/32770624 swapFree=67108860/67108860
[pid=11176] ppid=11173 vsize=389828 memory=312472 CPUtime=2519.84 cores=0,2,4,6
/proc/11176/stat : 11176 (xcsp_picat) R 11173 11176 7287 0 -1 4202496 180753 0 0 0 251676 308 0 0 20 0 1 0 50008921 399183872 78118 33554432000 4194304 5849740 140734572612480 140734572611480 5312845 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 30351360 140734572618934 140734572619012 140734572619012 140734572621770 0
/proc/11176/statm: 97457 78118 763 405 0 94401 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 389828 KiB
Current children cumulated memory: 312472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 11176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.77 s, system=3.08886 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.01
CPU time (s): 2519.86
CPU user time (s): 2516.77
CPU system time (s): 3.08886
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 407880
Max. memory (cumulated for all children) (KiB): 331592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.77
system time used= 3.08886
maximum resident set size= 331592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180753
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= 52
involuntary context switches= 763
# summary of solver processes directly reported to runsolver:
# pid: 11176
# total CPU time (s): 2519.86
# total CPU user time (s): 2516.77
# total CPU system time (s): 3.08886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57247 second user time and 18.4298 second system time
The end