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 (11164 MiB free)
memory of node 1: 16384 MiB (11853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289601-1532202511/watcher-4289601-1532202511 -o /tmp/evaluation-result-4289601-1532202511/solver-4289601-1532202511 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532190503-24935 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1499521677 HOME/instance-4289601-1532202511.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=26150, runsolver pid=26147
[startup+0.100188 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23527356/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=70888 memory=45640 CPUtime=0.1 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 11744 0 0 0 9 1 0 0 20 0 1 0 37814261 72589312 11410 33554432000 4194304 7498468 140728741982368 140728741979368 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 17722 11410 734 807 0 10713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70888 KiB
Current children cumulated memory: 45640 KiB
[startup+0.209655 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23526612/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=71680 memory=46432 CPUtime=0.21 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 11950 0 0 0 20 1 0 0 20 0 1 0 37814261 73400320 11608 33554432000 4194304 7498468 140728741982368 140728741979368 140606190963685 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 17920 11608 734 807 0 10911 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71680 KiB
Current children cumulated memory: 46432 KiB
[startup+0.309782 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23526612/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=71812 memory=46432 CPUtime=0.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 11979 0 0 0 30 1 0 0 20 0 1 0 37814261 73535488 11608 33554432000 4194304 7498468 140728741982368 140728741979368 140606190963685 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 17953 11608 734 807 0 10944 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71812 KiB
Current children cumulated memory: 46432 KiB
[startup+0.700432 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23526240/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=72340 memory=46960 CPUtime=0.69 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 12094 0 0 0 68 1 0 0 20 0 1 0 37814261 74076160 11740 33554432000 4194304 7498468 140728741982368 140728741979368 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18085 11740 734 807 0 11076 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72340 KiB
Current children cumulated memory: 46960 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23525868/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=72868 memory=47488 CPUtime=1.49 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 12221 0 0 0 148 1 0 0 20 0 1 0 37814261 74616832 11872 33554432000 4194304 7498468 140728741982368 140728741976904 5791504 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18217 11872 734 807 0 11208 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72868 KiB
Current children cumulated memory: 47488 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23525420/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73000 memory=47784 CPUtime=3.1 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 19275 0 0 0 309 1 0 0 20 0 1 0 37814261 74752000 11946 33554432000 4194304 7498468 140728741982368 140728741976904 4545925 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18250 11946 734 807 0 11241 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 73000 KiB
Current children cumulated memory: 47784 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23525420/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73132 memory=47888 CPUtime=6.29 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 26355 0 0 0 628 1 0 0 20 0 1 0 37814261 74887168 11972 33554432000 4194304 7498468 140728741982368 140728741976904 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18283 11972 734 807 0 11274 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 73132 KiB
Current children cumulated memory: 47888 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26151
/proc/meminfo: memFree=23525328/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73264 memory=48092 CPUtime=12.69 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 33497 0 0 0 1267 2 0 0 20 0 1 0 37814261 75022336 12023 33554432000 4194304 7498468 140728741982368 140728741976904 4581281 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18316 12023 734 807 0 11307 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 73264 KiB
Current children cumulated memory: 48092 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26212
/proc/meminfo: memFree=23560592/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73396 memory=48264 CPUtime=25.48 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 47744 0 0 0 2546 2 0 0 20 0 1 0 37814261 75157504 12066 33554432000 4194304 7498468 140728741982368 140728741976904 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18349 12066 734 807 0 11340 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 48264 KiB
[startup+51.1094 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 26276
/proc/meminfo: memFree=23551804/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73528 memory=48380 CPUtime=51.08 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 50023 0 0 0 5106 2 0 0 20 0 1 0 37814261 75292672 12095 33554432000 4194304 7498468 140728741982368 140728741976904 5791282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18382 12095 734 807 0 11373 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 73528 KiB
Current children cumulated memory: 48380 KiB
[startup+102.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/188 26285
/proc/meminfo: memFree=23551764/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73660 memory=48524 CPUtime=102.27 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 50428 0 0 0 10225 2 0 0 20 0 1 0 37814261 75427840 12131 33554432000 4194304 7498468 140728741982368 140728741976904 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18415 12131 734 807 0 11406 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 73660 KiB
Current children cumulated memory: 48524 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/187 26286
/proc/meminfo: memFree=23553648/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=73792 memory=48528 CPUtime=162.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 50748 0 0 0 16226 2 0 0 20 0 1 0 37814261 75563008 12132 33554432000 4194304 7498468 140728741982368 140728741976904 5791450 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18448 12132 734 807 0 11439 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 73792 KiB
Current children cumulated memory: 48528 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 26288
/proc/meminfo: memFree=23553240/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74188 memory=48924 CPUtime=222.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 51243 0 0 0 22226 2 0 0 20 0 1 0 37814261 75968512 12231 33554432000 4194304 7498468 140728741982368 140728741976760 5791611 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18547 12231 734 807 0 11538 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 74188 KiB
Current children cumulated memory: 48924 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 26289
/proc/meminfo: memFree=23553308/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74188 memory=48960 CPUtime=282.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 51624 0 0 0 28226 2 0 0 20 0 1 0 37814261 75968512 12240 33554432000 4194304 7498468 140728741982368 140728741976760 5791745 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18547 12240 734 807 0 11538 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 74188 KiB
Current children cumulated memory: 48960 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 26290
/proc/meminfo: memFree=23553184/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74188 memory=48964 CPUtime=342.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 52002 0 0 0 34226 2 0 0 20 0 1 0 37814261 75968512 12241 33554432000 4194304 7498468 140728741982368 140728741976760 4580152 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18547 12241 734 807 0 11538 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 74188 KiB
Current children cumulated memory: 48964 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26355
/proc/meminfo: memFree=23403648/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74452 memory=49192 CPUtime=402.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 52729 0 0 0 40226 2 0 0 20 0 1 0 37814261 76238848 12298 33554432000 4194304 7498468 140728741982368 140728741976904 4581161 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18613 12298 734 807 0 11604 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 74452 KiB
Current children cumulated memory: 49192 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/187 26356
/proc/meminfo: memFree=23402764/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74452 memory=49196 CPUtime=462.28 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 53191 0 0 0 46226 2 0 0 20 0 1 0 37814261 76238848 12299 33554432000 4194304 7498468 140728741982368 140728741976904 4258089 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18613 12299 734 807 0 11604 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 74452 KiB
Current children cumulated memory: 49196 KiB
################
# More data... #
################
/proc/26150/statm: 18712 12406 734 807 0 11703 0
Current children cumulated CPU time: 1602.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49624 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26415
/proc/meminfo: memFree=23402436/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49636 CPUtime=1662.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 63859 0 0 0 166228 3 0 0 20 0 1 0 37814261 76644352 12409 33554432000 4194304 7498468 140728741982368 140728741976904 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12409 734 807 0 11703 0
Current children cumulated CPU time: 1662.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49636 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26416
/proc/meminfo: memFree=23402832/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49640 CPUtime=1722.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 64362 0 0 0 172228 3 0 0 20 0 1 0 37814261 76644352 12410 33554432000 4194304 7498468 140728741982368 140728741976904 4540918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12410 734 807 0 11703 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49640 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26417
/proc/meminfo: memFree=23402692/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49640 CPUtime=1782.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 64894 0 0 0 178228 3 0 0 20 0 1 0 37814261 76644352 12410 33554432000 4194304 7498468 140728741982368 140728741976904 140606194398922 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12410 734 807 0 11703 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49640 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26418
/proc/meminfo: memFree=23402684/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49648 CPUtime=1842.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 65404 0 0 0 184228 3 0 0 20 0 1 0 37814261 76644352 12412 33554432000 4194304 7498468 140728741982368 140728741976904 4253280 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12412 734 807 0 11703 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49648 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26427
/proc/meminfo: memFree=23401816/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49648 CPUtime=1902.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 65911 0 0 0 190228 3 0 0 20 0 1 0 37814261 76644352 12412 33554432000 4194304 7498468 140728741982368 140728741976904 4545925 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12412 734 807 0 11703 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49648 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26428
/proc/meminfo: memFree=23402120/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49648 CPUtime=1962.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 66453 0 0 0 196228 3 0 0 20 0 1 0 37814261 76644352 12412 33554432000 4194304 7498468 140728741982368 140728741976904 4253266 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12412 734 807 0 11703 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49648 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26429
/proc/meminfo: memFree=23402236/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49648 CPUtime=2022.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 66989 0 0 0 202228 3 0 0 20 0 1 0 37814261 76644352 12412 33554432000 4194304 7498468 140728741982368 140728741976904 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12412 734 807 0 11703 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49648 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26430
/proc/meminfo: memFree=23402476/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49652 CPUtime=2082.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 67478 0 0 0 208228 3 0 0 20 0 1 0 37814261 76644352 12413 33554432000 4194304 7498468 140728741982368 140728741976904 5791556 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12413 734 807 0 11703 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49652 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26431
/proc/meminfo: memFree=23401484/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49664 CPUtime=2142.31 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 68349 0 0 0 214228 3 0 0 20 0 1 0 37814261 76644352 12416 33554432000 4194304 7498468 140728741982368 140728741976904 5791513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12416 734 807 0 11703 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49664 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26433
/proc/meminfo: memFree=23400980/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49676 CPUtime=2202.32 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 68774 0 0 0 220229 3 0 0 20 0 1 0 37814261 76644352 12419 33554432000 4194304 7498468 140728741982368 140728741976904 5685020 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12419 734 807 0 11703 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49676 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26434
/proc/meminfo: memFree=23401484/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49676 CPUtime=2262.32 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 69203 0 0 0 226229 3 0 0 20 0 1 0 37814261 76644352 12419 33554432000 4194304 7498468 140728741982368 140728741976904 4253120 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12419 734 807 0 11703 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49676 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26435
/proc/meminfo: memFree=23401972/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49676 CPUtime=2322.32 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 69641 0 0 0 232229 3 0 0 20 0 1 0 37814261 76644352 12419 33554432000 4194304 7498468 140728741982368 140728741976904 5791454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12419 734 807 0 11703 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49676 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26437
/proc/meminfo: memFree=23401500/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49676 CPUtime=2382.32 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 70079 0 0 0 238229 3 0 0 20 0 1 0 37814261 76644352 12419 33554432000 4194304 7498468 140728741982368 140728741976904 5791492 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12419 734 807 0 11703 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26438
/proc/meminfo: memFree=23401256/32770624 swapFree=67108860/67108860
[pid=26150] ppid=26147 vsize=74848 memory=49676 CPUtime=2400.03 cores=0,2,4,6
/proc/26150/stat : 26150 (MistralXCSP) R 26147 26150 24904 0 -1 4202496 70494 0 0 0 240000 3 0 0 20 0 1 0 37814261 76644352 12419 33554432000 4194304 7498468 140728741982368 140728741976904 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 9793536 140728741987437 140728741987587 140728741987587 140728741990345 0
/proc/26150/statm: 18712 12419 734 807 0 11703 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 49676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 26150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.04
CPU user time (s): 2400
CPU system time (s): 0.036
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 74848
Max. memory (cumulated for all children) (KiB): 49676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.036
maximum resident set size= 49696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70528
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= 624
# summary of solver processes directly reported to runsolver:
# pid: 26150
# total CPU time (s): 2400.04
# total CPU user time (s): 2400
# total CPU system time (s): 0.036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.97402 second user time and 17.0454 second system time
The end