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 (10209 MiB free)
memory of node 1: 16384 MiB (12259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289267-1532190501/watcher-4289267-1532190501 -o /tmp/evaluation-result-4289267-1532190501/solver-4289267-1532190501 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532190500-25464 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1990968631 HOME/instance-4289267-1532190501.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=25491, runsolver pid=25486
Current StackSize limit: 8192 KiB
[startup+0.100331 s]*
/proc/loadavg: 0.16 0.05 0.06 4/188 25495
/proc/meminfo: memFree=23004368/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=3980 CPUtime=0.08 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1204 0 3 0 8 0 0 0 20 0 1 0 36613330 30134272 995 33554432000 4194304 7498468 140725516027680 140725516022072 5684416 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 995 699 807 0 348 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 3980 KiB
[startup+0.210285 s]*
/proc/loadavg: 0.16 0.05 0.06 3/188 25495
/proc/meminfo: memFree=23003988/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=3980 CPUtime=0.19 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1205 0 3 0 19 0 0 0 20 0 1 0 36613330 30134272 995 33554432000 4194304 7498468 140725516027680 140725516022072 5685897 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 995 699 807 0 348 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 3980 KiB
[startup+0.308994 s]*
/proc/loadavg: 0.16 0.05 0.06 3/188 25495
/proc/meminfo: memFree=23003988/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=3980 CPUtime=0.29 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1205 0 3 0 29 0 0 0 20 0 1 0 36613330 30134272 995 33554432000 4194304 7498468 140725516027680 140725516022072 5685599 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 995 699 807 0 348 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 3980 KiB
[startup+0.700273 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 25495
/proc/meminfo: memFree=23003708/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=3980 CPUtime=0.67 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1205 0 3 0 67 0 0 0 20 0 1 0 36613330 30134272 995 33554432000 4194304 7498468 140725516027680 140725516022072 4540914 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 995 699 807 0 348 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 3980 KiB
[startup+1.50026 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 25495
/proc/meminfo: memFree=23003708/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=3980 CPUtime=1.47 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1205 0 3 0 147 0 0 0 20 0 1 0 36613330 30134272 995 33554432000 4194304 7498468 140725516027680 140725516022072 5618207 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 995 699 807 0 348 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 3980 KiB
[startup+3.10892 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 25495
/proc/meminfo: memFree=23003708/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=3.08 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1394 0 3 0 308 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 4542262 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+6.30027 s]
/proc/loadavg: 0.23 0.06 0.06 3/188 25495
/proc/meminfo: memFree=23003236/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=6.27 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1593 0 3 0 627 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 5838480 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+12.7003 s]
/proc/loadavg: 0.37 0.10 0.07 3/188 25495
/proc/meminfo: memFree=23003236/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=12.67 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 1787 0 3 0 1267 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 4258008 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+25.5003 s]
/proc/loadavg: 0.73 0.19 0.10 3/188 25495
/proc/meminfo: memFree=23003360/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=25.47 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 2170 0 3 0 2547 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 5684439 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+51.109 s]
/proc/loadavg: 1.16 0.34 0.15 3/188 25495
/proc/meminfo: memFree=23004104/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=51.08 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 2369 0 3 0 5108 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 5684559 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.25 3/189 25504
/proc/meminfo: memFree=23003852/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=102.27 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 2563 0 3 0 10227 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 5684674 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.36 3/188 25505
/proc/meminfo: memFree=23005412/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4188 CPUtime=162.26 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 2761 0 3 0 16226 0 0 0 20 0 1 0 36613330 30134272 1047 33554432000 4194304 7498468 140725516027680 140725516022072 5585741 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1047 721 807 0 348 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4188 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.46 3/189 25568
/proc/meminfo: memFree=22916260/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=222.25 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 2951 0 3 0 22224 1 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5161464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.56 3/189 25569
/proc/meminfo: memFree=22915184/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=282.25 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 3146 0 3 0 28224 1 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 4580282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/188 25570
/proc/meminfo: memFree=22915116/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=342.26 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 3336 0 3 0 34224 2 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684699 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/187 25571
/proc/meminfo: memFree=22915328/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=402.26 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 3529 0 3 0 40224 2 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5838450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.59 0.82 3/187 25572
/proc/meminfo: memFree=22915284/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=462.25 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 3717 0 3 0 46223 2 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5685205 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
################
# More data... #
################
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/187 25610
/proc/meminfo: memFree=22914644/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=1722.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 7691 0 3 0 172220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5618157 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/187 25612
/proc/meminfo: memFree=22914836/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=1782.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 7880 0 3 0 178220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5686187 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/187 25613
/proc/meminfo: memFree=22915064/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=1842.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 8068 0 3 0 184220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5686097 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/188 25622
/proc/meminfo: memFree=22913264/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=1902.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 8256 0 3 0 190220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5838507 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 1.79 3/190 25647
/proc/meminfo: memFree=22911784/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=1962.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 8446 0 3 0 196220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5685760 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.04 1.81 3/190 25648
/proc/meminfo: memFree=22912724/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2022.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 8634 0 3 0 202220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684559 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 1.82 3/190 25649
/proc/meminfo: memFree=22912916/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2082.23 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 8822 0 3 0 208220 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5685743 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.83 3/190 25650
/proc/meminfo: memFree=22913544/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2142.22 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9010 0 3 0 214219 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 4580993 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/189 25651
/proc/meminfo: memFree=22913760/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2202.22 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9198 0 3 0 220219 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5685762 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/188 25652
/proc/meminfo: memFree=22913856/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2262.22 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9386 0 3 0 226219 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684706 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 25653
/proc/meminfo: memFree=22913812/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2322.22 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9574 0 3 0 232219 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5574744 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 25654
/proc/meminfo: memFree=22913952/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2382.22 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9762 0 3 0 238219 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684822 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 25655
/proc/meminfo: memFree=22913652/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2400.03 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9950 0 3 0 240000 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684550 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 25491 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.033999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 25655
/proc/meminfo: memFree=22913652/32770624 swapFree=67108860/67108860
[pid=25491] ppid=25486 vsize=29428 memory=4204 CPUtime=2400.03 cores=1,3,5,7
/proc/25491/stat : 25491 (MistralXCSP) R 25486 25491 25432 0 -1 4202496 9950 0 3 0 240000 3 0 0 20 0 1 0 36613330 30134272 1051 33554432000 4194304 7498468 140725516027680 140725516022072 5684550 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13848576 140725516035181 140725516035331 140725516035331 140725516038089 0
/proc/25491/statm: 7357 1051 721 807 0 348 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 4204 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.04
CPU user time (s): 2400
CPU system time (s): 0.033999
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 29428
Max. memory (cumulated for all children) (KiB): 4204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.033999
maximum resident set size= 4224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9986
page faults= 3
swaps= 0
block input operations= 1136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 2777
# summary of solver processes directly reported to runsolver:
# pid: 25491
# total CPU time (s): 2400.04
# total CPU user time (s): 2400
# total CPU system time (s): 0.033999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90255 second user time and 14.5665 second system time
The end