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 (12611 MiB free)
memory of node 1: 16384 MiB (15376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293627-1532323141/watcher-4293627-1532323141 -o /tmp/evaluation-result-4293627-1532323141/solver-4293627-1532323141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580 xcsp_picat HOME/instance-4293627-1532323141.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
solver pid=9599, runsolver pid=9596
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28612292/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=111688 memory=54864 CPUtime=0.1 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 1619 0 0 0 9 1 0 0 20 0 1 0 49877258 114368512 13716 33554432000 4194304 5849740 140723065029168 140723065029168 4819671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 27922 13716 611 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 54864 KiB
[startup+0.209655 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28573576/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=181036 memory=93052 CPUtime=0.21 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 2517 0 0 0 20 1 0 0 20 0 1 0 49877258 185380864 23263 33554432000 4194304 5849740 140723065029168 140723065029168 5251173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 45259 23263 620 405 0 42203 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 181036 KiB
Current children cumulated memory: 93052 KiB
[startup+0.309585 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28569480/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=181036 memory=93552 CPUtime=0.31 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 2599 0 0 0 30 1 0 0 20 0 1 0 49877258 185380864 23388 33554432000 4194304 5849740 140723065029168 140723065029168 5257096 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 45259 23388 630 405 0 42203 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 181036 KiB
Current children cumulated memory: 93552 KiB
[startup+0.700385 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28533052/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=186428 memory=82660 CPUtime=0.69 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 3169 0 0 0 67 2 0 0 20 0 1 0 49877258 190902272 20665 33554432000 4194304 5849740 140723065029168 140723065029168 140159818186765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 46607 20665 707 405 0 43551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 186428 KiB
Current children cumulated memory: 82660 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28580404/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=186752 memory=82920 CPUtime=1.49 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 3256 0 0 0 147 2 0 0 20 0 1 0 49877258 191234048 20730 33554432000 4194304 5849740 140723065029168 140723065029168 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 46688 20730 722 405 0 43632 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 186752 KiB
Current children cumulated memory: 82920 KiB
[startup+3.1092 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28578912/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=187520 memory=83708 CPUtime=3.1 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 3498 0 0 0 307 3 0 0 20 0 1 0 49877258 192020480 20927 33554432000 4194304 5849740 140723065029168 140723065029168 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 46880 20927 722 405 0 43824 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 187520 KiB
Current children cumulated memory: 83708 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28577540/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=188544 memory=84732 CPUtime=6.29 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 4213 0 0 0 626 3 0 0 20 0 1 0 49877258 193069056 21183 33554432000 4194304 5849740 140723065029168 140723065028408 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 47136 21183 722 405 0 44080 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 188544 KiB
Current children cumulated memory: 84732 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28543432/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=191872 memory=88032 CPUtime=12.69 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 6001 0 0 0 1264 5 0 0 20 0 1 0 49877258 196476928 22008 33554432000 4194304 5849740 140723065029168 140723065028408 5606222 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 47968 22008 722 405 0 44912 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 191872 KiB
Current children cumulated memory: 88032 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 9600
/proc/meminfo: memFree=28471576/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=264152 memory=158256 CPUtime=25.49 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 21795 0 0 0 2540 9 0 0 20 0 1 0 49877258 270491648 39564 33554432000 4194304 5849740 140723065029168 140723065026712 4211607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 66038 39564 750 405 0 62982 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 264152 KiB
Current children cumulated memory: 158256 KiB
[startup+51.1095 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 9600
/proc/meminfo: memFree=28452864/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=264152 memory=160320 CPUtime=51.1 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 32889 0 0 0 5097 13 0 0 20 0 1 0 49877258 270491648 40080 33554432000 4194304 5849740 140723065029168 140723065027656 4233506 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 66038 40080 754 405 0 62982 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 264152 KiB
Current children cumulated memory: 160320 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 9608
/proc/meminfo: memFree=28527608/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=252168 memory=148336 CPUtime=102.29 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 42898 0 0 0 10207 22 0 0 20 0 1 0 49877258 258220032 37084 33554432000 4194304 5849740 140723065029168 140723065028168 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 63042 37084 754 405 0 59986 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 252168 KiB
Current children cumulated memory: 148336 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 9609
/proc/meminfo: memFree=28527816/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=252120 memory=148288 CPUtime=162.28 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 52856 0 0 0 16192 36 0 0 20 0 1 0 49877258 258170880 37072 33554432000 4194304 5849740 140723065029168 140723065028040 5307306 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 63030 37072 754 405 0 59974 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 252120 KiB
Current children cumulated memory: 148288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 9610
/proc/meminfo: memFree=28431556/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=252004 memory=148172 CPUtime=222.28 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 55702 0 0 0 22179 49 0 0 20 0 1 0 49877258 258052096 37043 33554432000 4194304 5849740 140723065029168 140723065028040 5437825 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 63001 37043 754 405 0 59945 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 252004 KiB
Current children cumulated memory: 148172 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9611
/proc/meminfo: memFree=28403312/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=251816 memory=152908 CPUtime=282.28 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 58485 0 0 0 28167 61 0 0 20 0 1 0 49877258 257859584 38227 33554432000 4194304 5849740 140723065029168 140723065028168 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 62954 38227 754 405 0 59898 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 251816 KiB
Current children cumulated memory: 152908 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9612
/proc/meminfo: memFree=28489260/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=209000 memory=112172 CPUtime=342.27 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 59328 0 0 0 34155 72 0 0 20 0 1 0 49877258 214016000 28043 33554432000 4194304 5849740 140723065029168 140723065028408 140159818637191 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 52250 28043 763 405 0 49194 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 209000 KiB
Current children cumulated memory: 112172 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9614
/proc/meminfo: memFree=28381032/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=257356 memory=156388 CPUtime=402.26 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 66734 0 0 0 40143 83 0 0 20 0 1 0 49877258 263532544 39097 33554432000 4194304 5849740 140723065029168 140723065028040 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 64339 39097 763 405 0 61283 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 257356 KiB
Current children cumulated memory: 156388 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9615
/proc/meminfo: memFree=28365036/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=267916 memory=171152 CPUtime=462.27 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 74118 0 0 0 46124 103 0 0 20 0 1 0 49877258 274345984 42788 33554432000 4194304 5849740 140723065029168 140723065028168 5312988 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 66979 42788 763 405 0 63923 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 267916 KiB
Current children cumulated memory: 171152 KiB
################
# More data... #
################
/proc/9599/statm: 159156 134987 764 405 0 156100 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 636624 KiB
Current children cumulated memory: 539948 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 9714
/proc/meminfo: memFree=28077772/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=738140 memory=641464 CPUtime=1782.16 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 392016 0 0 0 177819 397 0 0 20 0 1 0 49877258 755855360 160366 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 184535 160366 764 405 0 181479 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 738140 KiB
Current children cumulated memory: 641464 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9715
/proc/meminfo: memFree=28080072/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=738140 memory=641464 CPUtime=1842.16 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 410395 0 0 0 183810 406 0 0 20 0 1 0 49877258 755855360 160366 33554432000 4194304 5849740 140723065029168 140723065028168 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 184535 160366 764 405 0 181479 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 738140 KiB
Current children cumulated memory: 641464 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 9723
/proc/meminfo: memFree=28075228/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=738140 memory=641464 CPUtime=1902.15 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 429486 0 0 0 189801 414 0 0 20 0 1 0 49877258 755855360 160366 33554432000 4194304 5849740 140723065029168 140723065028040 5397360 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 184535 160366 764 405 0 181479 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 738140 KiB
Current children cumulated memory: 641464 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 9724
/proc/meminfo: memFree=28008824/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=805260 memory=708584 CPUtime=1962.15 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 476601 0 0 0 195789 426 0 0 20 0 1 0 49877258 824586240 177146 33554432000 4194304 5849740 140723065029168 140723065028328 5335504 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 201315 177146 764 405 0 198259 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 805260 KiB
Current children cumulated memory: 708584 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9725
/proc/meminfo: memFree=28235448/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=580744 memory=484068 CPUtime=2022.16 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 513399 0 0 0 201775 441 0 0 20 0 1 0 49877258 594681856 121017 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 145186 121017 764 405 0 142130 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 580744 KiB
Current children cumulated memory: 484068 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9726
/proc/meminfo: memFree=28237244/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=580744 memory=484068 CPUtime=2082.15 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 534742 0 0 0 207762 453 0 0 20 0 1 0 49877258 594681856 121017 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 145186 121017 764 405 0 142130 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 580744 KiB
Current children cumulated memory: 484068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9727
/proc/meminfo: memFree=28169536/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=648228 memory=551552 CPUtime=2142.15 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 569491 0 0 0 213749 466 0 0 20 0 1 0 49877258 663785472 137888 33554432000 4194304 5849740 140723065029168 140723065028168 5335976 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 162057 137888 764 405 0 159001 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 648228 KiB
Current children cumulated memory: 551552 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9729
/proc/meminfo: memFree=28169540/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=648228 memory=551552 CPUtime=2202.13 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 591113 0 0 0 219735 478 0 0 20 0 1 0 49877258 663785472 137888 33554432000 4194304 5849740 140723065029168 140723065028040 5335529 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 162057 137888 764 405 0 159001 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 648228 KiB
Current children cumulated memory: 551552 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9730
/proc/meminfo: memFree=28169572/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=648192 memory=551516 CPUtime=2262.12 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 609450 0 0 0 225723 489 0 0 20 0 1 0 49877258 663748608 137879 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 162048 137879 764 405 0 158992 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 648192 KiB
Current children cumulated memory: 551516 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9731
/proc/meminfo: memFree=28168056/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=648192 memory=551516 CPUtime=2322.11 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 616721 0 0 0 231714 497 0 0 20 0 1 0 49877258 663748608 137879 33554432000 4194304 5849740 140723065029168 140723065028168 5437662 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 162048 137879 764 405 0 158992 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 648192 KiB
Current children cumulated memory: 551516 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9733
/proc/meminfo: memFree=28094752/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=719836 memory=623160 CPUtime=2382.11 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 625940 0 0 0 237705 506 0 0 20 0 1 0 49877258 737112064 155790 33554432000 4194304 5849740 140723065029168 140723065028168 5437732 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 179959 155790 764 405 0 176903 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 719836 KiB
Current children cumulated memory: 623160 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9734
/proc/meminfo: memFree=28097540/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=719836 memory=623160 CPUtime=2442.1 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 635356 0 0 0 243692 518 0 0 20 0 1 0 49877258 737112064 155790 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 179959 155790 764 405 0 176903 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 719836 KiB
Current children cumulated memory: 623160 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9743
/proc/meminfo: memFree=28092228/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=719836 memory=623160 CPUtime=2502.1 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 641255 0 0 0 249683 527 0 0 20 0 1 0 49877258 737112064 155790 33554432000 4194304 5849740 140723065029168 140723065028168 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 179959 155790 764 405 0 176903 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 719836 KiB
Current children cumulated memory: 623160 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9765
/proc/meminfo: memFree=28096124/32770624 swapFree=67108796/67108860
[pid=9599] ppid=9596 vsize=719836 memory=623160 CPUtime=2519.81 cores=1,3,5,7
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 6599 0 -1 4202496 641741 0 0 0 251451 530 0 0 20 0 1 0 49877258 737112064 155790 33554432000 4194304 5849740 140723065029168 140723065028168 5437845 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33505280 140723065038006 140723065038084 140723065038084 140723065040842 0
/proc/9599/statm: 179959 155790 764 405 0 176903 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 719836 KiB
Current children cumulated memory: 623160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9599 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.52 s, system=5.31083 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.83
CPU user time (s): 2514.52
CPU system time (s): 5.31083
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 805260
Max. memory (cumulated for all children) (KiB): 708584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.52
system time used= 5.31083
maximum resident set size= 708584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641741
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= 173
involuntary context switches= 2105
# summary of solver processes directly reported to runsolver:
# pid: 9599
# total CPU time (s): 2519.83
# total CPU user time (s): 2514.52
# total CPU system time (s): 5.31083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05005 second user time and 19.1087 second system time
The end