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 (3201 MiB free)
memory of node 1: 16384 MiB (9507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295650-1532568340/watcher-4295650-1532568340 -o /tmp/evaluation-result-4295650-1532568340/solver-4295650-1532568340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25610 --watchdog 2580 xcsp_picat HOME/instance-4295650-1532568340.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=28156, runsolver pid=28153
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12998160/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=111688 memory=18468 CPUtime=0.1 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 1214 0 0 0 10 0 0 0 20 0 1 0 74397135 114368512 4617 33554432000 4194304 5849740 140725073342688 140725073341992 140697816452096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 27922 4617 575 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 18468 KiB
[startup+0.209924 s]*
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12967008/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=111968 memory=50376 CPUtime=0.21 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 2045 0 0 0 21 0 0 0 20 0 1 0 74397135 114655232 12594 33554432000 4194304 5849740 140725073342688 140725073341992 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 27992 12594 679 405 0 24936 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111968 KiB
Current children cumulated memory: 50376 KiB
[startup+0.309644 s]*
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12966636/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=112276 memory=50700 CPUtime=0.31 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 2143 0 0 0 30 1 0 0 20 0 1 0 74397135 114970624 12675 33554432000 4194304 5849740 140725073342688 140725073341992 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 28069 12675 680 405 0 25013 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112276 KiB
Current children cumulated memory: 50700 KiB
[startup+0.700272 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12965768/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=113300 memory=51600 CPUtime=0.69 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 2399 0 0 0 68 1 0 0 20 0 1 0 74397135 116019200 12900 33554432000 4194304 5849740 140725073342688 140725073341992 140697816013241 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 28325 12900 680 405 0 25269 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113300 KiB
Current children cumulated memory: 51600 KiB
[startup+1.50027 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12961676/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=115860 memory=54176 CPUtime=1.5 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 3039 0 0 0 148 2 0 0 20 0 1 0 74397135 118640640 13544 33554432000 4194304 5849740 140725073342688 140725073341800 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 28965 13544 680 405 0 25909 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 54176 KiB
[startup+3.10953 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12963224/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=119532 memory=58104 CPUtime=3.1 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 6695 0 0 0 303 7 0 0 20 0 1 0 74397135 122400768 14526 33554432000 4194304 5849740 140725073342688 140725073341800 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 29883 14526 712 405 0 26827 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 119532 KiB
Current children cumulated memory: 58104 KiB
[startup+6.30029 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12959420/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=122836 memory=61432 CPUtime=6.29 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 14309 0 0 0 614 15 0 0 20 0 1 0 74397135 125784064 15358 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 30709 15358 712 405 0 27653 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122836 KiB
Current children cumulated memory: 61432 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12958788/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=122612 memory=61180 CPUtime=12.69 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 26598 0 0 0 1237 32 0 0 20 0 1 0 74397135 125554688 15295 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 30653 15295 712 405 0 27597 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122612 KiB
Current children cumulated memory: 61180 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 28157
/proc/meminfo: memFree=12942292/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=133156 memory=71516 CPUtime=25.49 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 49675 0 0 0 2491 58 0 0 20 0 1 0 74397135 136351744 17879 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 33289 17879 712 405 0 30233 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 133156 KiB
Current children cumulated memory: 71516 KiB
[startup+51.1098 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 28157
/proc/meminfo: memFree=12942824/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=134964 memory=73464 CPUtime=51.1 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 74207 0 0 0 5013 97 0 0 20 0 1 0 74397135 138203136 18366 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 33741 18366 712 405 0 30685 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 73464 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28158
/proc/meminfo: memFree=12924704/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=154008 memory=92508 CPUtime=102.29 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 107832 0 0 0 10075 154 0 0 20 0 1 0 74397135 157704192 23127 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 38502 23127 712 405 0 35446 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 154008 KiB
Current children cumulated memory: 92508 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 28160
/proc/meminfo: memFree=12884724/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=187096 memory=129148 CPUtime=162.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 121477 0 0 0 16041 187 0 0 20 0 1 0 74397135 191586304 32287 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 46774 32287 712 405 0 43718 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 187096 KiB
Current children cumulated memory: 129148 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 28161
/proc/meminfo: memFree=12822020/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=226164 memory=168364 CPUtime=222.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 137224 0 0 0 22012 216 0 0 20 0 1 0 74397135 231591936 42091 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 56541 42091 712 405 0 53485 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 226164 KiB
Current children cumulated memory: 168364 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 28169
/proc/meminfo: memFree=12813080/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=239932 memory=182064 CPUtime=282.29 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 153320 0 0 0 27992 237 0 0 20 0 1 0 74397135 245690368 45516 33554432000 4194304 5849740 140725073342688 140725073341688 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 59983 45516 712 405 0 56927 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 239932 KiB
Current children cumulated memory: 182064 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28170
/proc/meminfo: memFree=12764676/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=224800 memory=167008 CPUtime=342.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 169552 0 0 0 33969 258 0 0 20 0 1 0 74397135 230195200 41752 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 56200 41752 712 405 0 53144 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 224800 KiB
Current children cumulated memory: 167008 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28171
/proc/meminfo: memFree=12743016/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=261132 memory=203344 CPUtime=402.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 173662 0 0 0 39949 278 0 0 20 0 1 0 74397135 267399168 50836 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 65283 50836 712 405 0 62227 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 261132 KiB
Current children cumulated memory: 203344 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28172
/proc/meminfo: memFree=12691236/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=273272 memory=215488 CPUtime=462.28 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 194539 0 0 0 45930 298 0 0 20 0 1 0 74397135 279830528 53872 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 68318 53872 712 405 0 65262 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 273272 KiB
Current children cumulated memory: 215488 KiB
################
# More data... #
################
/proc/28156/statm: 111290 96844 712 405 0 108234 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 445160 KiB
Current children cumulated memory: 387376 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 28211
/proc/meminfo: memFree=12336956/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=445160 memory=387376 CPUtime=1782.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 517540 0 0 0 177623 604 0 0 20 0 1 0 74397135 455843840 96844 33554432000 4194304 5849740 140725073342688 140725073341688 5437611 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 111290 96844 712 405 0 108234 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 445160 KiB
Current children cumulated memory: 387376 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 28212
/proc/meminfo: memFree=12336808/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=445160 memory=387376 CPUtime=1842.27 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 540140 0 0 0 183613 614 0 0 20 0 1 0 74397135 455843840 96844 33554432000 4194304 5849740 140725073342688 140725073341688 5335544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 111290 96844 712 405 0 108234 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 445160 KiB
Current children cumulated memory: 387376 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28213
/proc/meminfo: memFree=12271208/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=510696 memory=452912 CPUtime=1902.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 545838 0 0 0 189601 624 0 0 20 0 1 0 74397135 522952704 113228 33554432000 4194304 5849740 140725073342688 140725073341688 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 127674 113228 712 405 0 124618 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 510696 KiB
Current children cumulated memory: 452912 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28215
/proc/meminfo: memFree=12205268/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=510696 memory=452912 CPUtime=1962.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 549016 0 0 0 195594 631 0 0 20 0 1 0 74397135 522952704 113228 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 127674 113228 712 405 0 124618 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 510696 KiB
Current children cumulated memory: 452912 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28216
/proc/meminfo: memFree=12204976/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=510696 memory=452912 CPUtime=2022.26 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 552154 0 0 0 201587 639 0 0 20 0 1 0 74397135 522952704 113228 33554432000 4194304 5849740 140725073342688 140725073341688 5335519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 127674 113228 712 405 0 124618 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 510696 KiB
Current children cumulated memory: 452912 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28225
/proc/meminfo: memFree=12173596/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2082.24 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 562073 0 0 0 207578 646 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437560 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 28248
/proc/meminfo: memFree=12172648/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2142.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 564454 0 0 0 213571 654 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 28249
/proc/meminfo: memFree=12219816/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2202.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 566678 0 0 0 219564 661 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 28250
/proc/meminfo: memFree=12269244/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2262.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 569215 0 0 0 225558 667 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28251
/proc/meminfo: memFree=12268608/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2322.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 571447 0 0 0 231553 672 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 140697816473479 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28312
/proc/meminfo: memFree=12580096/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2382.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 573872 0 0 0 237546 679 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28313
/proc/meminfo: memFree=12566080/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=541248 memory=483464 CPUtime=2442.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 576286 0 0 0 243540 685 0 0 20 0 1 0 74397135 554237952 120866 33554432000 4194304 5849740 140725073342688 140725073341688 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 135312 120866 712 405 0 132256 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 483464 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28314
/proc/meminfo: memFree=12480948/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=586108 memory=528324 CPUtime=2502.25 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 590262 0 0 0 249534 691 0 0 20 0 1 0 74397135 600174592 132081 33554432000 4194304 5849740 140725073342688 140725073341688 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 146527 132081 712 405 0 143471 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 586108 KiB
Current children cumulated memory: 528324 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28315
/proc/meminfo: memFree=12480328/32770624 swapFree=67108852/67108860
[pid=28156] ppid=28153 vsize=586108 memory=528324 CPUtime=2519.96 cores=0,2,4,6
/proc/28156/stat : 28156 (xcsp_picat) R 28153 28156 25579 0 -1 4202496 591611 0 0 0 251303 693 0 0 20 0 1 0 74397135 600174592 132081 33554432000 4194304 5849740 140725073342688 140725073341688 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 41979904 140725073347766 140725073347844 140725073347844 140725073350602 0
/proc/28156/statm: 146527 132081 712 405 0 143471 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 586108 KiB
Current children cumulated memory: 528324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.04 s, system=6.94113 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.98
CPU user time (s): 2513.04
CPU system time (s): 6.94113
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 586108
Max. memory (cumulated for all children) (KiB): 528324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.04
system time used= 6.94113
maximum resident set size= 528324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591612
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= 142
involuntary context switches= 988
# summary of solver processes directly reported to runsolver:
# pid: 28156
# total CPU time (s): 2519.98
# total CPU user time (s): 2513.04
# total CPU system time (s): 6.94113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49454 second user time and 19.5513 second system time
The end