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 (12949 MiB free)
memory of node 1: 16384 MiB (15099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293639-1532324010/watcher-4293639-1532324010 -o /tmp/evaluation-result-4293639-1532324010/solver-4293639-1532324010 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293639-1532324010.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=9690, runsolver pid=9687
[startup+0.101028 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28684688/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=111688 memory=43832 CPUtime=0.1 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 1425 0 0 0 10 0 0 0 20 0 1 0 49964153 114368512 10958 33554432000 4194304 5849740 140729965959776 140729965959080 4548438 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 27922 10958 611 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 43832 KiB
[startup+0.209572 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28640056/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=181244 memory=86940 CPUtime=0.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 2003 0 0 0 20 1 0 0 20 0 1 0 49964153 185593856 21735 33554432000 4194304 5849740 140729965959776 140729965959080 5251173 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 45311 21735 620 405 0 42255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 181244 KiB
Current children cumulated memory: 86940 KiB
[startup+0.309465 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28629816/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=181244 memory=95132 CPUtime=0.31 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 2007 0 0 0 30 1 0 0 20 0 1 0 49964153 185593856 23783 33554432000 4194304 5849740 140729965959776 140729965959080 4563457 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 45311 23783 620 405 0 42255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 181244 KiB
Current children cumulated memory: 95132 KiB
[startup+0.700362 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28566516/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=243948 memory=100148 CPUtime=0.69 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 3291 0 0 0 67 2 0 0 20 0 1 0 49964153 249802752 25037 33554432000 4194304 5849740 140729965959776 140729965959080 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 60987 25037 629 405 0 57931 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 243948 KiB
Current children cumulated memory: 100148 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28568940/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=256136 memory=156136 CPUtime=1.49 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 3991 0 0 0 146 3 0 0 20 0 1 0 49964153 262283264 39034 33554432000 4194304 5849740 140729965959776 140729965959016 5472627 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 64034 39034 706 405 0 60978 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 156136 KiB
[startup+3.1088 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28569012/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=256136 memory=156196 CPUtime=3.1 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 4277 0 0 0 307 3 0 0 20 0 1 0 49964153 262283264 39049 33554432000 4194304 5849740 140729965959776 140729965958872 139907909705499 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 64034 39049 721 405 0 60978 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 156196 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28569060/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=256136 memory=156196 CPUtime=6.29 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 4588 0 0 0 625 4 0 0 20 0 1 0 49964153 262283264 39049 33554432000 4194304 5849740 140729965959776 140729965958872 5473172 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 64034 39049 721 405 0 60978 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 156196 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9691
/proc/meminfo: memFree=28569064/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=256136 memory=156196 CPUtime=12.69 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 4942 0 0 0 1263 6 0 0 20 0 1 0 49964153 262283264 39049 33554432000 4194304 5849740 140729965959776 140729965959016 5471879 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 64034 39049 721 405 0 60978 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 156196 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 9691
/proc/meminfo: memFree=28568816/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=256680 memory=156664 CPUtime=25.48 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 6206 0 0 0 2539 9 0 0 20 0 1 0 49964153 262840320 39166 33554432000 4194304 5849740 140729965959776 140729965958888 5472536 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 64170 39166 721 405 0 61114 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 256680 KiB
Current children cumulated memory: 156664 KiB
[startup+51.1094 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 9691
/proc/meminfo: memFree=28442912/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=390496 memory=282908 CPUtime=51.09 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 29202 0 0 0 5095 14 0 0 20 0 1 0 49964153 399867904 70727 33554432000 4194304 5849740 140729965959776 140729965957320 5319737 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 97624 70727 749 405 0 94568 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 390496 KiB
Current children cumulated memory: 282908 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/187 9692
/proc/meminfo: memFree=28409612/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=369496 memory=266020 CPUtime=102.29 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 46982 0 0 0 10207 22 0 0 20 0 1 0 49964153 378363904 66505 33554432000 4194304 5849740 140729965959776 140729965958776 5307324 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92374 66505 753 405 0 89318 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 369496 KiB
Current children cumulated memory: 266020 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 9693
/proc/meminfo: memFree=28364440/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=369436 memory=268008 CPUtime=162.28 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 78296 0 0 0 16194 34 0 0 20 0 1 0 49964153 378302464 67002 33554432000 4194304 5849740 140729965959776 140729965958648 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92359 67002 753 405 0 89303 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 268008 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 9694
/proc/meminfo: memFree=28328012/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=369304 memory=267876 CPUtime=222.28 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 108913 0 0 0 22182 46 0 0 20 0 1 0 49964153 378167296 66969 33554432000 4194304 5849740 140729965959776 140729965958776 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92326 66969 753 405 0 89270 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 369304 KiB
Current children cumulated memory: 267876 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 9695
/proc/meminfo: memFree=28218404/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=369304 memory=267876 CPUtime=282.27 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 139515 0 0 0 28166 61 0 0 20 0 1 0 49964153 378167296 66969 33554432000 4194304 5849740 140729965959776 140729965958776 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92326 66969 753 405 0 89270 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 369304 KiB
Current children cumulated memory: 267876 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 9696
/proc/meminfo: memFree=28147512/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=369116 memory=267688 CPUtime=342.26 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 155955 0 0 0 34149 77 0 0 20 0 1 0 49964153 377974784 66922 33554432000 4194304 5849740 140729965959776 140729965958776 5438251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92279 66922 753 405 0 89223 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 369116 KiB
Current children cumulated memory: 267688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 9705
/proc/meminfo: memFree=28350424/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=368844 memory=267416 CPUtime=402.25 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 158347 0 0 0 40135 90 0 0 20 0 1 0 49964153 377696256 66854 33554432000 4194304 5849740 140729965959776 140729965958776 5340238 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 92211 66854 753 405 0 89155 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 368844 KiB
Current children cumulated memory: 267416 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 9706
/proc/meminfo: memFree=28385336/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=374344 memory=278552 CPUtime=462.26 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 160342 0 0 0 46122 104 0 0 20 0 1 0 49964153 383328256 69638 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 93586 69638 753 405 0 90530 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 374344 KiB
Current children cumulated memory: 278552 KiB
################
# More data... #
################
/proc/9690/statm: 97281 72520 753 405 0 94225 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 389124 KiB
Current children cumulated memory: 290080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9889
/proc/meminfo: memFree=28670600/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=391676 memory=292632 CPUtime=1782.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 281493 0 0 0 177809 413 0 0 20 0 1 0 49964153 401076224 73158 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 97919 73158 753 405 0 94863 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 391676 KiB
Current children cumulated memory: 292632 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9890
/proc/meminfo: memFree=28642400/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=388124 memory=289080 CPUtime=1842.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 286670 0 0 0 183794 428 0 0 20 0 1 0 49964153 397438976 72270 33554432000 4194304 5849740 140729965959776 140729965958776 5339641 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 97031 72270 753 405 0 93975 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 388124 KiB
Current children cumulated memory: 289080 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9891
/proc/meminfo: memFree=28571924/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=400532 memory=305772 CPUtime=1902.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 293952 0 0 0 189777 445 0 0 20 0 1 0 49964153 410144768 76443 33554432000 4194304 5849740 140729965959776 140729965958776 5339042 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 100133 76443 753 405 0 97077 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 400532 KiB
Current children cumulated memory: 305772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9892
/proc/meminfo: memFree=28579852/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=389444 memory=294684 CPUtime=1962.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 298633 0 0 0 195765 457 0 0 20 0 1 0 49964153 398790656 73671 33554432000 4194304 5849740 140729965959776 140729965958264 4211607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 97361 73671 753 405 0 94305 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 389444 KiB
Current children cumulated memory: 294684 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9893
/proc/meminfo: memFree=28664044/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=388152 memory=293320 CPUtime=2022.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 305281 0 0 0 201749 473 0 0 20 0 1 0 49964153 397467648 73330 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 97038 73330 753 405 0 93982 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 388152 KiB
Current children cumulated memory: 293320 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9894
/proc/meminfo: memFree=28640456/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=386200 memory=291248 CPUtime=2082.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 310075 0 0 0 207739 482 0 0 20 0 1 0 49964153 395468800 72812 33554432000 4194304 5849740 140729965959776 140729965958776 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 96550 72812 753 405 0 93494 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 386200 KiB
Current children cumulated memory: 291248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9895
/proc/meminfo: memFree=28597248/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=392088 memory=297328 CPUtime=2142.22 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 314504 0 0 0 213730 492 0 0 20 0 1 0 49964153 401498112 74332 33554432000 4194304 5849740 140729965959776 140729965958776 5360437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 98022 74332 753 405 0 94966 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 392088 KiB
Current children cumulated memory: 297328 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9903
/proc/meminfo: memFree=28675536/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=386308 memory=292244 CPUtime=2202.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 320554 0 0 0 219715 506 0 0 20 0 1 0 49964153 395579392 73061 33554432000 4194304 5849740 140729965959776 140729965958776 5437825 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 96577 73061 753 405 0 93521 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 386308 KiB
Current children cumulated memory: 292244 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9904
/proc/meminfo: memFree=28595720/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=387728 memory=293568 CPUtime=2262.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 325783 0 0 0 225703 518 0 0 20 0 1 0 49964153 397033472 73392 33554432000 4194304 5849740 140729965959776 140729965958264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 96932 73392 753 405 0 93876 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 387728 KiB
Current children cumulated memory: 293568 KiB
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 9905
/proc/meminfo: memFree=28563588/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=386304 memory=292240 CPUtime=2322.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 330197 0 0 0 231691 530 0 0 20 0 1 0 49964153 395575296 73060 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 96576 73060 753 405 0 93520 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 386304 KiB
Current children cumulated memory: 292240 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 9906
/proc/meminfo: memFree=28550572/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=398852 memory=305268 CPUtime=2382.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 336738 0 0 0 237679 542 0 0 20 0 1 0 49964153 408424448 76317 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 99713 76317 753 405 0 96657 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 398852 KiB
Current children cumulated memory: 305268 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28490004/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=398832 memory=305240 CPUtime=2442.21 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 342641 0 0 0 243664 557 0 0 20 0 1 0 49964153 408403968 76310 33554432000 4194304 5849740 140729965959776 140729965958776 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 99708 76310 753 405 0 96652 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 398832 KiB
Current children cumulated memory: 305240 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10029
/proc/meminfo: memFree=28668956/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=405212 memory=311632 CPUtime=2502.2 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 347466 0 0 0 249654 566 0 0 20 0 1 0 49964153 414937088 77908 33554432000 4194304 5849740 140729965959776 140729965958776 5307656 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 101303 77908 753 405 0 98247 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 405212 KiB
Current children cumulated memory: 311632 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10029
/proc/meminfo: memFree=28679000/32770624 swapFree=67108796/67108860
[pid=9690] ppid=9687 vsize=398876 memory=305296 CPUtime=2519.91 cores=0,2,4,6
/proc/9690/stat : 9690 (xcsp_picat) R 9687 9690 6599 0 -1 4202496 349795 0 0 0 251419 572 0 0 20 0 1 0 49964153 408449024 76324 33554432000 4194304 5849740 140729965959776 140729965958936 139907910172551 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 46907392 140729965962422 140729965962500 140729965962500 140729965965258 0
/proc/9690/statm: 99719 76324 753 405 0 96663 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 398876 KiB
Current children cumulated memory: 305296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9690 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.2 s, system=5.72686 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.93
CPU user time (s): 2514.2
CPU system time (s): 5.72686
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 407940
Max. memory (cumulated for all children) (KiB): 314196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.2
system time used= 5.72686
maximum resident set size= 314196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349796
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= 33
involuntary context switches= 973
# summary of solver processes directly reported to runsolver:
# pid: 9690
# total CPU time (s): 2519.93
# total CPU user time (s): 2514.2
# total CPU system time (s): 5.72686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.56629 second user time and 18.7911 second system time
The end