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 (12948 MiB free)
memory of node 1: 16384 MiB (15155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293555-1532318857/watcher-4293555-1532318857 -o /tmp/evaluation-result-4293555-1532318857/solver-4293555-1532318857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293555-1532318857.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=9085, runsolver pid=9082
[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28756052/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=111688 memory=24676 CPUtime=0.1 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 1719 0 0 0 10 0 0 0 20 0 1 0 49448886 114368512 6169 33554432000 4194304 5849740 140732154284640 140732154284640 139916570786816 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 27922 6169 615 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 24676 KiB
[startup+0.209751 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28741592/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=111688 memory=39012 CPUtime=0.2 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 1756 0 0 0 20 0 0 0 20 0 1 0 49448886 114368512 9753 33554432000 4194304 5849740 140732154284640 140732154284640 4466473 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 27922 9753 615 405 0 24866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 39012 KiB
[startup+0.30963 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28720184/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=139504 memory=64960 CPUtime=0.31 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 3039 0 0 0 30 1 0 0 20 0 1 0 49448886 142852096 16240 33554432000 4194304 5849740 140732154284640 140732154284640 5250362 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 34876 16240 654 405 0 31820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 139504 KiB
Current children cumulated memory: 64960 KiB
[startup+0.700338 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28692628/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=152392 memory=88296 CPUtime=0.69 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 3511 0 0 0 67 2 0 0 20 0 1 0 49448886 156049408 22074 33554432000 4194304 5849740 140732154284640 140732154284640 5518336 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 38098 22074 706 405 0 35042 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 152392 KiB
Current children cumulated memory: 88296 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28692032/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=152648 memory=88556 CPUtime=1.49 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 3605 0 0 0 147 2 0 0 20 0 1 0 49448886 156311552 22139 33554432000 4194304 5849740 140732154284640 140732154283736 5473253 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 38162 22139 719 405 0 35106 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152648 KiB
Current children cumulated memory: 88556 KiB
[startup+3.10899 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28691288/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=153288 memory=89292 CPUtime=3.1 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 3879 0 0 0 308 2 0 0 20 0 1 0 49448886 156966912 22323 33554432000 4194304 5849740 140732154284640 140732154283736 5471830 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 38322 22323 719 405 0 35266 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153288 KiB
Current children cumulated memory: 89292 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28690172/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=154312 memory=90356 CPUtime=6.29 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 4508 0 0 0 626 3 0 0 20 0 1 0 49448886 158015488 22589 33554432000 4194304 5849740 140732154284640 140732154283736 139916570346591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 38578 22589 719 405 0 35522 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 154312 KiB
Current children cumulated memory: 90356 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28684988/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=165064 memory=100908 CPUtime=12.69 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 7880 0 0 0 1256 13 0 0 20 0 1 0 49448886 169025536 25227 33554432000 4194304 5849740 140732154284640 140732154283736 5473378 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 41266 25227 720 405 0 38210 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 100908 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9086
/proc/meminfo: memFree=28566272/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=278312 memory=214432 CPUtime=25.49 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 21388 0 0 0 2525 24 0 0 20 0 1 0 49448886 284991488 53608 33554432000 4194304 5849740 140732154284640 140732154283800 5356014 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 69578 53608 738 405 0 66522 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 278312 KiB
Current children cumulated memory: 214432 KiB
[startup+51.1098 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 9086
/proc/meminfo: memFree=28501508/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=306140 memory=247504 CPUtime=51.1 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 40936 0 0 0 5085 25 0 0 20 0 1 0 49448886 313487360 61876 33554432000 4194304 5849740 140732154284640 140732154283800 5438017 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 76535 61876 752 405 0 73479 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 306140 KiB
Current children cumulated memory: 247504 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 9087
/proc/meminfo: memFree=28503212/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=306140 memory=247504 CPUtime=102.29 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 57997 0 0 0 10200 29 0 0 20 0 1 0 49448886 313487360 61876 33554432000 4194304 5849740 140732154284640 140732154283640 5437564 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 76535 61876 752 405 0 73479 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 306140 KiB
Current children cumulated memory: 247504 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9095
/proc/meminfo: memFree=28503408/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=306140 memory=247504 CPUtime=162.28 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 75711 0 0 0 16197 31 0 0 20 0 1 0 49448886 313487360 61876 33554432000 4194304 5849740 140732154284640 140732154283640 5437607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 76535 61876 752 405 0 73479 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 306140 KiB
Current children cumulated memory: 247504 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9096
/proc/meminfo: memFree=28503400/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=306140 memory=247504 CPUtime=222.29 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 94383 0 0 0 22195 34 0 0 20 0 1 0 49448886 313487360 61876 33554432000 4194304 5849740 140732154284640 140732154283640 5391979 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 76535 61876 752 405 0 73479 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 306140 KiB
Current children cumulated memory: 247504 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9097
/proc/meminfo: memFree=28392288/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281668 memory=223004 CPUtime=282.28 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 112084 0 0 0 28192 36 0 0 20 0 1 0 49448886 288428032 55751 33554432000 4194304 5849740 140732154284640 140732154283640 5353854 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70417 55751 752 405 0 67361 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 281668 KiB
Current children cumulated memory: 223004 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9098
/proc/meminfo: memFree=28357900/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281668 memory=223004 CPUtime=342.28 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 130521 0 0 0 34187 41 0 0 20 0 1 0 49448886 288428032 55751 33554432000 4194304 5849740 140732154284640 140732154283640 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70417 55751 752 405 0 67361 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 281668 KiB
Current children cumulated memory: 223004 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9099
/proc/meminfo: memFree=28356380/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281668 memory=223004 CPUtime=402.27 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 147026 0 0 0 40180 47 0 0 20 0 1 0 49448886 288428032 55751 33554432000 4194304 5849740 140732154284640 140732154283640 5438160 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70417 55751 752 405 0 67361 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 281668 KiB
Current children cumulated memory: 223004 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9100
/proc/meminfo: memFree=28357656/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281668 memory=223004 CPUtime=462.26 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 147438 0 0 0 46176 50 0 0 20 0 1 0 49448886 288428032 55751 33554432000 4194304 5849740 140732154284640 140732154283512 5328286 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70417 55751 752 405 0 67361 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 281668 KiB
Current children cumulated memory: 223004 KiB
################
# More data... #
################
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 9261
/proc/meminfo: memFree=28687628/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=1782.25 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 155799 0 0 0 178104 121 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5338833 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9262
/proc/meminfo: memFree=28683204/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=1842.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 156165 0 0 0 184101 123 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5307498 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9263
/proc/meminfo: memFree=28672700/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=1902.25 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 156530 0 0 0 190098 127 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5307475 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9272
/proc/meminfo: memFree=28614200/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=1962.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 156894 0 0 0 196095 129 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9273
/proc/meminfo: memFree=28602824/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2022.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 157262 0 0 0 202091 133 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5307673 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9274
/proc/meminfo: memFree=28525328/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2082.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 157632 0 0 0 208087 137 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9275
/proc/meminfo: memFree=28524948/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2142.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 157997 0 0 0 214084 140 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5307645 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9276
/proc/meminfo: memFree=28486260/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2202.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 158366 0 0 0 220081 143 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 9277
/proc/meminfo: memFree=28537292/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2262.23 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 158731 0 0 0 226078 145 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5353833 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9278
/proc/meminfo: memFree=28672156/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2322.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 159099 0 0 0 232074 150 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283800 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9279
/proc/meminfo: memFree=28672280/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2382.24 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 159468 0 0 0 238072 152 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5435293 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9280
/proc/meminfo: memFree=28672140/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2442.23 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 159833 0 0 0 244069 154 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9281
/proc/meminfo: memFree=28652444/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2502.23 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 160194 0 0 0 250066 157 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5339064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9281
/proc/meminfo: memFree=28619492/32770624 swapFree=67108796/67108860
[pid=9085] ppid=9082 vsize=281492 memory=222828 CPUtime=2519.95 cores=0,2,4,6
/proc/9085/stat : 9085 (xcsp_picat) R 9082 9085 6599 0 -1 4202496 160197 0 0 0 251837 158 0 0 20 0 1 0 49448886 288247808 55707 33554432000 4194304 5849740 140732154284640 140732154283640 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26824704 140732154287286 140732154287364 140732154287364 140732154290122 0
/proc/9085/statm: 70373 55707 752 405 0 67317 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 281492 KiB
Current children cumulated memory: 222828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9085 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.37 s, system=1.58398 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.96
CPU user time (s): 2518.37
CPU system time (s): 1.58398
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 311012
Max. memory (cumulated for all children) (KiB): 252240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.37
system time used= 1.58398
maximum resident set size= 252240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160197
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= 29
involuntary context switches= 655
# summary of solver processes directly reported to runsolver:
# pid: 9085
# total CPU time (s): 2519.96
# total CPU user time (s): 2518.37
# total CPU system time (s): 1.58398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87709 second user time and 18.9813 second system time
The end