runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240855-1500626203/watcher-4240855-1500626203 -o /tmp/evaluation-result-4240855-1500626203/solver-4240855-1500626203 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500623785-5697 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1798547492 HOME/instance-4240855-1500626203.xml
pid=6188
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.05 1.88 3/186 6191
/proc/meminfo: memFree=28584704/32770624 swapFree=6176/1799488
[pid=6191] ppid=6188 vsize=28936 CPUtime=0 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1031 0 0 0 0 0 0 0 20 0 1 0 17255744 29630464 802 33554432000 4194304 7402444 140736675313120 140736675310168 140690182847461 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7234 802 618 784 0 248 0
[startup+0.100172 s]
/proc/loadavg: 2.17 2.05 1.88 3/186 6191
/proc/meminfo: memFree=28584704/32770624 swapFree=6176/1799488
[pid=6191] ppid=6188 vsize=28936 CPUtime=0.09 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1127 0 0 0 9 0 0 0 20 0 1 0 17255744 29630464 934 33554432000 4194304 7402444 140736675313120 140736675302896 6048418 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7234 934 715 784 0 248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28936
[startup+0.200341 s]
/proc/loadavg: 2.17 2.05 1.88 3/186 6191
/proc/meminfo: memFree=28584704/32770624 swapFree=6176/1799488
[pid=6191] ppid=6188 vsize=29060 CPUtime=0.19 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1151 0 0 0 19 0 0 0 20 0 1 0 17255744 29757440 967 33554432000 4194304 7402444 140736675313120 140736675303816 5914754 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7265 967 728 784 0 279 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29060
[startup+0.300319 s]
/proc/loadavg: 2.17 2.05 1.88 3/186 6191
/proc/meminfo: memFree=28584704/32770624 swapFree=6176/1799488
[pid=6191] ppid=6188 vsize=29792 CPUtime=0.29 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1363 0 0 0 29 0 0 0 20 0 1 0 17255744 30507008 1164 33554432000 4194304 7402444 140736675313120 140736675307592 4377716 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1164 760 784 0 462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29792
[startup+0.700297 s]
/proc/loadavg: 2.17 2.05 1.88 3/186 6191
/proc/meminfo: memFree=28584704/32770624 swapFree=6176/1799488
[pid=6191] ppid=6188 vsize=29792 CPUtime=0.69 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1376 0 0 0 69 0 0 0 20 0 1 0 17255744 30507008 1164 33554432000 4194304 7402444 140736675313120 140736675307592 4378386 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1164 760 784 0 462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29792
[startup+1.5003 s]
/proc/loadavg: 2.17 2.05 1.88 3/187 6192
/proc/meminfo: memFree=28582576/32770624 swapFree=6176/1799464
[pid=6191] ppid=6188 vsize=29792 CPUtime=1.49 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1378 0 0 0 149 0 0 0 20 0 1 0 17255744 30507008 1164 33554432000 4194304 7402444 140736675313120 140736675307592 140690186282711 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1164 760 784 0 462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29792
[startup+3.10028 s]
/proc/loadavg: 2.15 2.05 1.88 3/187 6192
/proc/meminfo: memFree=28582292/32770624 swapFree=6176/1799468
[pid=6191] ppid=6188 vsize=29792 CPUtime=3.09 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1681 0 0 0 309 0 0 0 20 0 1 0 17255744 30507008 1212 33554432000 4194304 7402444 140736675313120 140736675307592 4747284 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1212 767 784 0 462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29792
[startup+6.30029 s]
/proc/loadavg: 2.15 2.05 1.88 3/187 6192
/proc/meminfo: memFree=28582208/32770624 swapFree=6176/1799468
[pid=6191] ppid=6188 vsize=29792 CPUtime=6.29 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 1996 0 0 0 629 0 0 0 20 0 1 0 17255744 30507008 1213 33554432000 4194304 7402444 140736675313120 140736675307592 4377943 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1213 767 784 0 462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29792
[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 1.88 3/187 6192
/proc/meminfo: memFree=28581696/32770624 swapFree=6176/1799472
[pid=6191] ppid=6188 vsize=29792 CPUtime=12.69 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 2306 0 0 0 1269 0 0 0 20 0 1 0 17255744 30507008 1214 33554432000 4194304 7402444 140736675313120 140736675307592 5878959 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1214 767 784 0 462 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29792
[startup+25.5003 s]
/proc/loadavg: 2.11 2.05 1.88 3/187 6317
/proc/meminfo: memFree=29919528/32770624 swapFree=6176/1799496
[pid=6191] ppid=6188 vsize=29792 CPUtime=25.49 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 2921 0 0 0 2549 0 0 0 20 0 1 0 17255744 30507008 1215 33554432000 4194304 7402444 140736675313120 140736675307592 5871069 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1215 767 784 0 462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29792
[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 1.89 3/187 6317
/proc/meminfo: memFree=28936724/32770624 swapFree=6176/1799528
[pid=6191] ppid=6188 vsize=29792 CPUtime=51.09 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 3238 0 0 0 5109 0 0 0 20 0 1 0 17255744 30507008 1216 33554432000 4194304 7402444 140736675313120 140736675307592 4377628 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1216 767 784 0 462 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29792
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 1.89 3/187 6382
/proc/meminfo: memFree=29613772/32770624 swapFree=6176/1800384
[pid=6191] ppid=6188 vsize=29792 CPUtime=102.29 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 3550 0 0 0 10229 0 0 0 20 0 1 0 17255744 30507008 1216 33554432000 4194304 7402444 140736675313120 140736675307592 4377628 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1216 767 784 0 462 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29792
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.90 3/187 6507
/proc/meminfo: memFree=29650212/32770624 swapFree=6176/1800560
[pid=6191] ppid=6188 vsize=29792 CPUtime=162.28 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 3857 0 0 0 16228 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 5877767 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 29792
[startup+222.306 s]
/proc/loadavg: 2.02 2.04 1.91 3/188 6516
/proc/meminfo: memFree=29649392/32770624 swapFree=6176/1800596
[pid=6191] ppid=6188 vsize=29792 CPUtime=222.28 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 4174 0 0 0 22228 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 4311232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 29792
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/188 6517
/proc/meminfo: memFree=29650080/32770624 swapFree=6176/1800628
[pid=6191] ppid=6188 vsize=29792 CPUtime=282.27 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 4481 0 0 0 28227 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 140690186282725 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 29792
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.92 3/188 6518
/proc/meminfo: memFree=29649876/32770624 swapFree=6176/1800664
[pid=6191] ppid=6188 vsize=29792 CPUtime=342.27 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 4788 0 0 0 34227 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 4311232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 29792
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/188 6519
/proc/meminfo: memFree=29650488/32770624 swapFree=6176/1800700
[pid=6191] ppid=6188 vsize=29792 CPUtime=402.26 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 5095 0 0 0 40226 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 4747338 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 29792
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 6520
/proc/meminfo: memFree=29650716/32770624 swapFree=6176/1800728
[pid=6191] ppid=6188 vsize=29792 CPUtime=462.26 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 5402 0 0 0 46226 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 4377628 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 29792
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 6521
/proc/meminfo: memFree=29650448/32770624 swapFree=6176/1800760
[pid=6191] ppid=6188 vsize=29792 CPUtime=522.26 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 5709 0 0 0 52226 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 5820883 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 29792
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.95 3/187 6522
/proc/meminfo: memFree=29650536/32770624 swapFree=6176/1800788
[pid=6191] ppid=6188 vsize=29792 CPUtime=582.25 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 6016 0 0 0 58225 0 0 0 20 0 1 0 17255744 30507008 1217 33554432000 4194304 7402444 140736675313120 140736675307592 5879008 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1217 767 784 0 462 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 29792
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6578
/proc/meminfo: memFree=29648796/32770624 swapFree=6176/1801300
[pid=6191] ppid=6188 vsize=29792 CPUtime=1482.19 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 10648 0 0 0 148219 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4747343 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 29792
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 1.97 3/188 6579
/proc/meminfo: memFree=29649292/32770624 swapFree=6176/1801336
[pid=6191] ppid=6188 vsize=29792 CPUtime=1542.19 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 10950 0 0 0 154219 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4747394 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 29792
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/187 6580
/proc/meminfo: memFree=29650452/32770624 swapFree=6176/1801368
[pid=6191] ppid=6188 vsize=29792 CPUtime=1602.18 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 11258 0 0 0 160218 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5877767 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 29792
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 6582
/proc/meminfo: memFree=29649940/32770624 swapFree=6176/1801400
[pid=6191] ppid=6188 vsize=29792 CPUtime=1662.18 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 11566 0 0 0 166218 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4295963 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 29792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6583
/proc/meminfo: memFree=29649812/32770624 swapFree=6176/1801424
[pid=6191] ppid=6188 vsize=29792 CPUtime=1722.17 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 11874 0 0 0 172217 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4746988 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 29792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6584
/proc/meminfo: memFree=29649548/32770624 swapFree=6176/1801456
[pid=6191] ppid=6188 vsize=29792 CPUtime=1782.17 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 12182 0 0 0 178217 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4747279 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 29792
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6585
/proc/meminfo: memFree=29649632/32770624 swapFree=6176/1801492
[pid=6191] ppid=6188 vsize=29792 CPUtime=1842.16 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 12490 0 0 0 184216 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5878745 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 29792
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6586
/proc/meminfo: memFree=29649224/32770624 swapFree=6176/1801520
[pid=6191] ppid=6188 vsize=29792 CPUtime=1902.16 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 12798 0 0 0 190216 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4377704 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 29792
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6587
/proc/meminfo: memFree=29649432/32770624 swapFree=6176/1801552
[pid=6191] ppid=6188 vsize=29792 CPUtime=1962.15 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 13106 0 0 0 196215 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5758751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 29792
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6596
/proc/meminfo: memFree=29648920/32770624 swapFree=6176/1801592
[pid=6191] ppid=6188 vsize=29792 CPUtime=2022.15 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 13414 0 0 0 202215 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5750503 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 29792
[startup+2082.3 s]
/proc/loadavg: 2.17 2.06 1.99 3/188 6597
/proc/meminfo: memFree=29649256/32770624 swapFree=6176/1801620
[pid=6191] ppid=6188 vsize=29792 CPUtime=2082.15 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 13722 0 0 0 208215 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4747298 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 29792
[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 1.99 3/188 6598
/proc/meminfo: memFree=29649424/32770624 swapFree=6176/1801656
[pid=6191] ppid=6188 vsize=29792 CPUtime=2142.14 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 14030 0 0 0 214214 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5758711 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 29792
[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 1.99 3/188 6599
/proc/meminfo: memFree=29649504/32770624 swapFree=6176/1801684
[pid=6191] ppid=6188 vsize=29792 CPUtime=2202.14 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 14338 0 0 0 220214 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4378960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 29792
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/188 6600
/proc/meminfo: memFree=29649572/32770624 swapFree=6176/1801712
[pid=6191] ppid=6188 vsize=29792 CPUtime=2262.13 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 14646 0 0 0 226213 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5758845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 29792
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/187 6601
/proc/meminfo: memFree=29649664/32770624 swapFree=6176/1801744
[pid=6191] ppid=6188 vsize=29792 CPUtime=2322.13 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 14954 0 0 0 232213 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4248963 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 29792
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 6602
/proc/meminfo: memFree=29649496/32770624 swapFree=6176/1801772
[pid=6191] ppid=6188 vsize=29792 CPUtime=2382.12 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 15262 0 0 0 238212 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 4377628 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 29792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 6603
/proc/meminfo: memFree=29648984/32770624 swapFree=6176/1801804
[pid=6191] ppid=6188 vsize=29792 CPUtime=2400.03 cores=0,2,4,6
/proc/6191/stat : 6191 (MistralXCSP) R 6188 6191 5666 0 -1 4202496 15570 0 0 0 240003 0 0 0 20 0 1 0 17255744 30507008 1218 33554432000 4194304 7402444 140736675313120 140736675307592 5878179 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 16273408 140736675321000 140736675321150 140736675321150 140736675323849 0
/proc/6191/statm: 7448 1218 767 784 0 462 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 29792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6191 sig 9
??? kill -6191 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.006999
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 29792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.006999
maximum resident set size= 4896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15606
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= 6
involuntary context switches= 120634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62265 second user time and 10.5429 second system time
The end