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 (1987 MiB free)
memory of node 1: 16384 MiB (3309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303956-1534030045/watcher-4303956-1534030045 -o /tmp/evaluation-result-4303956-1534030045/solver-4303956-1534030045 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534027524-24790 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1939304277 HOME/instance-4303956-1534030045.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=25113, runsolver pid=25110
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5358532/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=97992 memory=72668 CPUtime=0.1 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 18658 0 0 0 9 1 0 0 20 0 1 0 220567743 100343808 18167 33554432000 4194304 7499544 140723274600768 140723274597768 4564160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 24498 18167 711 807 0 17489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97992 KiB
Current children cumulated memory: 72668 KiB
[startup+0.209787 s]*
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5347992/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=104584 memory=79256 CPUtime=0.21 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 20361 0 0 0 19 2 0 0 20 0 1 0 220567743 107094016 19814 33554432000 4194304 7499544 140723274600768 140723274597768 139806190107621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 26146 19814 711 807 0 19137 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 79256 KiB
[startup+0.309526 s]*
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5343208/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=109236 memory=83744 CPUtime=0.31 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 21542 0 0 0 29 2 0 0 20 0 1 0 220567743 111857664 20936 33554432000 4194304 7499544 140723274600768 140723274590584 4564148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 27309 20936 711 807 0 20300 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109236 KiB
Current children cumulated memory: 83744 KiB
[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5324356/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=127780 memory=102568 CPUtime=0.68 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 25897 0 0 0 66 2 0 0 20 0 1 0 220567743 130846720 25642 33554432000 4194304 7499544 140723274600768 140723274590584 4564144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 31945 25642 751 807 0 24936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127780 KiB
Current children cumulated memory: 102568 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5314560/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=169160 memory=143880 CPUtime=1.49 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 34253 0 0 0 146 3 0 0 20 0 1 0 220567743 173219840 35970 33554432000 4194304 7499544 140723274600768 140723274595304 139806190103358 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 42290 35970 791 807 0 35281 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 169160 KiB
Current children cumulated memory: 143880 KiB
[startup+3.1095 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25114
/proc/meminfo: memFree=5234368/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=217464 memory=192352 CPUtime=3.1 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 65138 0 0 0 305 5 0 0 20 0 1 0 220567743 222683136 48088 33554432000 4194304 7499544 140723274600768 140723274595160 5161094 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 54366 48088 793 807 0 47357 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 217464 KiB
Current children cumulated memory: 192352 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25239
/proc/meminfo: memFree=5212992/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=223008 memory=197952 CPUtime=6.29 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 93883 0 0 0 622 7 0 0 20 0 1 0 220567743 228360192 49488 33554432000 4194304 7499544 140723274600768 140723274595304 5791081 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 55752 49488 793 807 0 48743 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 223008 KiB
Current children cumulated memory: 197952 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25239
/proc/meminfo: memFree=5209872/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=224328 memory=199340 CPUtime=12.68 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 120035 0 0 0 1260 8 0 0 20 0 1 0 220567743 229711872 49835 33554432000 4194304 7499544 140723274600768 140723274595304 5574156 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56082 49835 793 807 0 49073 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 224328 KiB
Current children cumulated memory: 199340 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25239
/proc/meminfo: memFree=5209068/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=224724 memory=199708 CPUtime=25.47 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 169788 0 0 0 2537 10 0 0 20 0 1 0 220567743 230117376 49927 33554432000 4194304 7499544 140723274600768 140723274595304 5791060 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56181 49927 793 807 0 49172 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 199708 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25240
/proc/meminfo: memFree=5207904/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=225136 memory=200076 CPUtime=51.06 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 188819 0 0 0 5095 11 0 0 20 0 1 0 220567743 230539264 50019 33554432000 4194304 7499544 140723274600768 140723274595304 4405111 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56284 50019 793 807 0 49275 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 225136 KiB
Current children cumulated memory: 200076 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 25241
/proc/meminfo: memFree=5206908/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=226364 memory=201268 CPUtime=102.23 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 197075 0 0 0 10211 12 0 0 20 0 1 0 220567743 231796736 50317 33554432000 4194304 7499544 140723274600768 140723274595304 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56591 50317 793 807 0 49582 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 226364 KiB
Current children cumulated memory: 201268 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 25250
/proc/meminfo: memFree=5205400/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=226760 memory=201744 CPUtime=162.23 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 198457 0 0 0 16211 12 0 0 20 0 1 0 220567743 232202240 50436 33554432000 4194304 7499544 140723274600768 140723274595304 4540532 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56690 50436 793 807 0 49681 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 201744 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 25251
/proc/meminfo: memFree=5205408/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227024 memory=201876 CPUtime=222.23 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 199900 0 0 0 22210 13 0 0 20 0 1 0 220567743 232472576 50469 33554432000 4194304 7499544 140723274600768 140723274595304 5790900 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56756 50469 793 807 0 49747 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 227024 KiB
Current children cumulated memory: 201876 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 25252
/proc/meminfo: memFree=5205620/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227024 memory=202028 CPUtime=282.23 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 201342 0 0 0 28210 13 0 0 20 0 1 0 220567743 232472576 50507 33554432000 4194304 7499544 140723274600768 140723274595304 5701244 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56756 50507 793 807 0 49747 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 227024 KiB
Current children cumulated memory: 202028 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/188 25253
/proc/meminfo: memFree=5205248/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227156 memory=202068 CPUtime=342.22 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 202808 0 0 0 34209 13 0 0 20 0 1 0 220567743 232607744 50517 33554432000 4194304 7499544 140723274600768 140723274595304 5790608 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56789 50517 793 807 0 49780 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 227156 KiB
Current children cumulated memory: 202068 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/188 25254
/proc/meminfo: memFree=5205496/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227156 memory=202168 CPUtime=402.21 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 204283 0 0 0 40208 13 0 0 20 0 1 0 220567743 232607744 50542 33554432000 4194304 7499544 140723274600768 140723274595304 5685389 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56789 50542 793 807 0 49780 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 227156 KiB
Current children cumulated memory: 202168 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/187 25255
/proc/meminfo: memFree=5205504/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227156 memory=202192 CPUtime=462.21 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 205010 0 0 0 46208 13 0 0 20 0 1 0 220567743 232607744 50548 33554432000 4194304 7499544 140723274600768 140723274595304 5701684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56789 50548 793 807 0 49780 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 227156 KiB
Current children cumulated memory: 202192 KiB
################
# More data... #
################
/proc/25113/statm: 56954 50718 793 807 0 49945 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202872 KiB
[startup+1782.3 s]
/proc/loadavg: 2.52 2.16 2.07 3/187 25295
/proc/meminfo: memFree=5204440/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202876 CPUtime=1782.09 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 225665 0 0 0 178195 14 0 0 20 0 1 0 220567743 233283584 50719 33554432000 4194304 7499544 140723274600768 140723274595304 4541806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50719 793 807 0 49945 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202876 KiB
[startup+1842.3 s]
/proc/loadavg: 2.19 2.13 2.07 3/187 25297
/proc/meminfo: memFree=5204256/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202880 CPUtime=1842.08 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 226454 0 0 0 184194 14 0 0 20 0 1 0 220567743 233283584 50720 33554432000 4194304 7499544 140723274600768 140723274595304 5684588 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50720 793 807 0 49945 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202880 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.11 2.06 3/187 25298
/proc/meminfo: memFree=5204256/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202884 CPUtime=1902.08 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 227246 0 0 0 190194 14 0 0 20 0 1 0 220567743 233283584 50721 33554432000 4194304 7499544 140723274600768 140723274595304 5684796 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50721 793 807 0 49945 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202884 KiB
[startup+1962.3 s]
/proc/loadavg: 2.37 2.17 2.08 3/188 25307
/proc/meminfo: memFree=5203380/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202888 CPUtime=1962.07 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 228039 0 0 0 196193 14 0 0 20 0 1 0 220567743 233283584 50722 33554432000 4194304 7499544 140723274600768 140723274595304 5629234 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50722 793 807 0 49945 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202888 KiB
[startup+2022.3 s]
/proc/loadavg: 2.28 2.20 2.10 3/189 25334
/proc/meminfo: memFree=5202568/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202888 CPUtime=2022.06 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 228832 0 0 0 202192 14 0 0 20 0 1 0 220567743 233283584 50722 33554432000 4194304 7499544 140723274600768 140723274595304 4317694 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50722 793 807 0 49945 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202888 KiB
[startup+2082.3 s]
/proc/loadavg: 2.10 2.16 2.09 3/189 25335
/proc/meminfo: memFree=5203160/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202888 CPUtime=2082.07 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 229625 0 0 0 208192 15 0 0 20 0 1 0 220567743 233283584 50722 33554432000 4194304 7499544 140723274600768 140723274595304 4579872 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50722 793 807 0 49945 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202888 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.13 2.09 3/189 25336
/proc/meminfo: memFree=5203532/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=227816 memory=202888 CPUtime=2142.06 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 230418 0 0 0 214191 15 0 0 20 0 1 0 220567743 233283584 50722 33554432000 4194304 7499544 140723274600768 140723274595304 4253232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 56954 50722 793 807 0 49945 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 202888 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.11 2.08 3/189 25337
/proc/meminfo: memFree=5203036/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228080 memory=203076 CPUtime=2202.06 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 232185 0 0 0 220191 15 0 0 20 0 1 0 220567743 233553920 50769 33554432000 4194304 7499544 140723274600768 140723274595304 4579872 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57020 50769 793 807 0 50011 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 228080 KiB
Current children cumulated memory: 203076 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/188 25338
/proc/meminfo: memFree=5203176/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228212 memory=203228 CPUtime=2262.05 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 233073 0 0 0 226190 15 0 0 20 0 1 0 220567743 233689088 50807 33554432000 4194304 7499544 140723274600768 140723274595304 5573432 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57053 50807 793 807 0 50044 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 228212 KiB
Current children cumulated memory: 203228 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 25339
/proc/meminfo: memFree=5202980/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228212 memory=203264 CPUtime=2322.05 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 233956 0 0 0 232190 15 0 0 20 0 1 0 220567743 233689088 50816 33554432000 4194304 7499544 140723274600768 140723274595304 5684012 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57053 50816 793 807 0 50044 0
Current children cumulated CPU time: 2322.05 s
Current children cumulated vsize: 228212 KiB
Current children cumulated memory: 203264 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 25340
/proc/meminfo: memFree=5202756/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228212 memory=203300 CPUtime=2382.04 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 234661 0 0 0 238189 15 0 0 20 0 1 0 220567743 233689088 50825 33554432000 4194304 7499544 140723274600768 140723274595304 5685784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57053 50825 793 807 0 50044 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 228212 KiB
Current children cumulated memory: 203300 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 25341
/proc/meminfo: memFree=5202764/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228344 memory=203328 CPUtime=2442.03 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 235367 0 0 0 244188 15 0 0 20 0 1 0 220567743 233824256 50832 33554432000 4194304 7499544 140723274600768 140723274595304 5700654 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57086 50832 793 807 0 50077 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 228344 KiB
Current children cumulated memory: 203328 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25342
/proc/meminfo: memFree=5202392/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228344 memory=203340 CPUtime=2502.03 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 236079 0 0 0 250188 15 0 0 20 0 1 0 220567743 233824256 50835 33554432000 4194304 7499544 140723274600768 140723274595304 5684298 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57086 50835 793 807 0 50077 0
Current children cumulated CPU time: 2502.03 s
Current children cumulated vsize: 228344 KiB
Current children cumulated memory: 203340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 25342
/proc/meminfo: memFree=5202392/32770624 swapFree=67108792/67108860
[pid=25113] ppid=25110 vsize=228344 memory=203352 CPUtime=2519.73 cores=0,2,4,6
/proc/25113/stat : 25113 (MistralXCSP) R 25110 25113 24759 0 -1 4202496 236755 0 0 0 251958 15 0 0 20 0 1 0 220567743 233824256 50838 33554432000 4194304 7499544 140723274600768 140723274595304 5629230 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 13283328 140723274605677 140723274605827 140723274605827 140723274608585 0
/proc/25113/statm: 57086 50838 793 807 0 50077 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 228344 KiB
Current children cumulated memory: 203352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25113 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.59 s, system=0.154986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.74
CPU user time (s): 2519.59
CPU system time (s): 0.154986
CPU usage (%): 99.9894
Max. virtual memory (cumulated for all children) (KiB): 228344
Max. memory (cumulated for all children) (KiB): 203352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.59
system time used= 0.154986
maximum resident set size= 203372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236789
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= 80
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 25113
# total CPU time (s): 2519.74
# total CPU user time (s): 2519.59
# total CPU system time (s): 0.154986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.69018 second user time and 17.7906 second system time
The end