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-4241835-1500629982/watcher-4241835-1500629982 -o /tmp/evaluation-result-4241835-1500629982/solver-4241835-1500629982 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500623778-2774 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 505614812 HOME/instance-4241835-1500629982.xml
pid=4017
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4020
/proc/meminfo: memFree=31435120/32770624 swapFree=6256/580204
[pid=4020] ppid=4017 vsize=28804 CPUtime=0 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 16274653 29495296 802 33554432000 4194304 7402444 140727483636528 140727483635144 140391917509605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 7201 802 631 784 0 215 0
[startup+0.100153 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4020
/proc/meminfo: memFree=31435120/32770624 swapFree=6256/580204
[pid=4020] ppid=4017 vsize=28932 CPUtime=0.09 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 1062 0 0 0 9 0 0 0 20 0 1 0 16274653 29626368 886 33554432000 4194304 7402444 140727483636528 140727483627224 5971465 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 7233 886 681 784 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28932
[startup+0.200271 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4020
/proc/meminfo: memFree=31435120/32770624 swapFree=6256/580204
[pid=4020] ppid=4017 vsize=29056 CPUtime=0.19 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 1086 0 0 0 19 0 0 0 20 0 1 0 16274653 29753344 918 33554432000 4194304 7402444 140727483636528 140727483627224 140391917507072 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 7264 918 681 784 0 278 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29056
[startup+0.300246 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4020
/proc/meminfo: memFree=31435120/32770624 swapFree=6256/580204
[pid=4020] ppid=4017 vsize=29212 CPUtime=0.29 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 1123 0 0 0 29 0 0 0 20 0 1 0 16274653 29913088 918 33554432000 4194304 7402444 140727483636528 140727483627224 6063786 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 7303 918 681 784 0 317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29212
[startup+0.700217 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 4020
/proc/meminfo: memFree=31435120/32770624 swapFree=6256/580204
[pid=4020] ppid=4017 vsize=29616 CPUtime=0.69 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 1230 0 0 0 69 0 0 0 20 0 1 0 16274653 30326784 1058 33554432000 4194304 7402444 140727483636528 140727483627496 6063750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 7404 1058 682 784 0 418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29616
[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4021
/proc/meminfo: memFree=31433608/32770624 swapFree=6256/580212
[pid=4020] ppid=4017 vsize=33468 CPUtime=1.49 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 2356 0 0 0 149 0 0 0 20 0 1 0 16274653 34271232 2131 33554432000 4194304 7402444 140727483636528 140727483630808 140391917518709 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8367 2131 785 784 0 1381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33468
[startup+3.10022 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4021
/proc/meminfo: memFree=31429128/32770624 swapFree=6256/580188
[pid=4020] ppid=4017 vsize=33764 CPUtime=3.09 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 3506 0 0 0 309 0 0 0 20 0 1 0 16274653 34574336 2201 33554432000 4194304 7402444 140727483636528 140727483630776 5324454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8441 2201 786 784 0 1455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33764
[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4021
/proc/meminfo: memFree=31428932/32770624 swapFree=6256/580200
[pid=4020] ppid=4017 vsize=33896 CPUtime=6.29 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 4636 0 0 0 629 0 0 0 20 0 1 0 16274653 34709504 2225 33554432000 4194304 7402444 140727483636528 140727483630856 4747191 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8474 2225 786 784 0 1488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33896
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4021
/proc/meminfo: memFree=31428528/32770624 swapFree=6256/580200
[pid=4020] ppid=4017 vsize=33896 CPUtime=12.69 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 5750 0 0 0 1269 0 0 0 20 0 1 0 16274653 34709504 2249 33554432000 4194304 7402444 140727483636528 140727483630856 4248770 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8474 2249 786 784 0 1488 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33896
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4028
/proc/meminfo: memFree=31426948/32770624 swapFree=6256/580224
[pid=4020] ppid=4017 vsize=33896 CPUtime=25.49 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 7974 0 0 0 2549 0 0 0 20 0 1 0 16274653 34709504 2262 33554432000 4194304 7402444 140727483636528 140727483630856 4491176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8474 2262 786 784 0 1488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33896
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4028
/proc/meminfo: memFree=31427400/32770624 swapFree=6256/580240
[pid=4020] ppid=4017 vsize=34028 CPUtime=51.08 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 8668 0 0 0 5108 0 0 0 20 0 1 0 16274653 34844672 2269 33554432000 4194304 7402444 140727483636528 140727483630776 5324381 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8507 2269 786 784 0 1521 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34028
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4029
/proc/meminfo: memFree=31427172/32770624 swapFree=6256/580276
[pid=4020] ppid=4017 vsize=34028 CPUtime=102.27 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 9374 0 0 0 10227 0 0 0 20 0 1 0 16274653 34844672 2275 33554432000 4194304 7402444 140727483636528 140727483630776 5872864 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8507 2275 786 784 0 1521 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34028
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4030
/proc/meminfo: memFree=31427784/32770624 swapFree=6256/580296
[pid=4020] ppid=4017 vsize=34160 CPUtime=162.26 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 10069 0 0 0 16226 0 0 0 20 0 1 0 16274653 34979840 2298 33554432000 4194304 7402444 140727483636528 140727483630776 5718510 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2298 786 784 0 1554 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34160
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4031
/proc/meminfo: memFree=31427624/32770624 swapFree=6256/580324
[pid=4020] ppid=4017 vsize=34160 CPUtime=222.25 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 10759 0 0 0 22225 0 0 0 20 0 1 0 16274653 34979840 2302 33554432000 4194304 7402444 140727483636528 140727483630776 5758736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2302 786 784 0 1554 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34160
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4032
/proc/meminfo: memFree=31427840/32770624 swapFree=6256/580348
[pid=4020] ppid=4017 vsize=34160 CPUtime=282.24 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 11455 0 0 0 28224 0 0 0 20 0 1 0 16274653 34979840 2307 33554432000 4194304 7402444 140727483636528 140727483630776 5750496 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2307 786 784 0 1554 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 34160
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4033
/proc/meminfo: memFree=31427804/32770624 swapFree=6256/580368
[pid=4020] ppid=4017 vsize=34160 CPUtime=342.23 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 12143 0 0 0 34223 0 0 0 20 0 1 0 16274653 34979840 2309 33554432000 4194304 7402444 140727483636528 140727483630776 4239193 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2309 786 784 0 1554 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 34160
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4034
/proc/meminfo: memFree=31427316/32770624 swapFree=6256/580388
[pid=4020] ppid=4017 vsize=34160 CPUtime=402.22 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 12826 0 0 0 40222 0 0 0 20 0 1 0 16274653 34979840 2311 33554432000 4194304 7402444 140727483636528 140727483630776 4238616 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2311 786 784 0 1554 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 34160
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 4035
/proc/meminfo: memFree=31427252/32770624 swapFree=6256/580412
[pid=4020] ppid=4017 vsize=34160 CPUtime=462.21 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 13515 0 0 0 46221 0 0 0 20 0 1 0 16274653 34979840 2313 33554432000 4194304 7402444 140727483636528 140727483630776 4529237 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2313 786 784 0 1554 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34160
[startup+522.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 4036
/proc/meminfo: memFree=31427584/32770624 swapFree=6256/580436
[pid=4020] ppid=4017 vsize=34160 CPUtime=522.2 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 14227 0 0 0 52220 0 0 0 20 0 1 0 16274653 34979840 2319 33554432000 4194304 7402444 140727483636528 140727483630776 140391917518829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2319 786 784 0 1554 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 34160
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 4037
/proc/meminfo: memFree=31427584/32770624 swapFree=6256/580464
[pid=4020] ppid=4017 vsize=34160 CPUtime=582.18 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 14921 0 0 0 58218 0 0 0 20 0 1 0 16274653 34979840 2319 33554432000 4194304 7402444 140727483636528 140727483630776 5324366 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8540 2319 786 784 0 1554 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 34160
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 4152
/proc/meminfo: memFree=30985344/32770624 swapFree=6256/580932
[pid=4020] ppid=4017 vsize=34304 CPUtime=1542.03 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 26023 0 0 0 154203 0 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 4359057 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 34304
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4153
/proc/meminfo: memFree=30984016/32770624 swapFree=6256/580952
[pid=4020] ppid=4017 vsize=34304 CPUtime=1602.01 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 26726 0 0 0 160201 0 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 5715896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 34304
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4154
/proc/meminfo: memFree=30984180/32770624 swapFree=6256/580972
[pid=4020] ppid=4017 vsize=34304 CPUtime=1662 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 27424 0 0 0 166200 0 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 140391917507130 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 34304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4155
/proc/meminfo: memFree=30984012/32770624 swapFree=6256/581004
[pid=4020] ppid=4017 vsize=34304 CPUtime=1721.99 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 28124 0 0 0 172199 0 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 4491328 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 34304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4156
/proc/meminfo: memFree=30983244/32770624 swapFree=6256/581024
[pid=4020] ppid=4017 vsize=34304 CPUtime=1781.98 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 28826 0 0 0 178198 0 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 5718453 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 34304
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4164
/proc/meminfo: memFree=30982632/32770624 swapFree=6256/581044
[pid=4020] ppid=4017 vsize=34304 CPUtime=1841.98 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 29528 0 0 0 184197 1 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 5716773 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 34304
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4165
/proc/meminfo: memFree=30982880/32770624 swapFree=6256/581072
[pid=4020] ppid=4017 vsize=34304 CPUtime=1901.97 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 30230 0 0 0 190196 1 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 140391917509243 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 34304
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4166
/proc/meminfo: memFree=30983268/32770624 swapFree=6256/581092
[pid=4020] ppid=4017 vsize=34304 CPUtime=1961.96 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 30932 0 0 0 196195 1 0 0 20 0 1 0 16274653 35127296 2337 33554432000 4194304 7402444 140727483636528 140727483630984 5877504 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2337 786 784 0 1590 0
Current children cumulated CPU time (s) 1961.96
Current children cumulated vsize (KiB) 34304
[startup+2022.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/187 4167
/proc/meminfo: memFree=30982984/32770624 swapFree=6256/581124
[pid=4020] ppid=4017 vsize=34304 CPUtime=2021.94 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 31636 0 0 0 202193 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5877540 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 34304
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 4168
/proc/meminfo: memFree=30983232/32770624 swapFree=6256/581144
[pid=4020] ppid=4017 vsize=34304 CPUtime=2081.94 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 32339 0 0 0 208193 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5877767 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 34304
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4169
/proc/meminfo: memFree=30982892/32770624 swapFree=6256/581164
[pid=4020] ppid=4017 vsize=34304 CPUtime=2141.92 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 33042 0 0 0 214191 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 4747200 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 34304
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4170
/proc/meminfo: memFree=30982468/32770624 swapFree=6256/581184
[pid=4020] ppid=4017 vsize=34304 CPUtime=2201.92 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 33741 0 0 0 220191 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5821961 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2201.92
Current children cumulated vsize (KiB) 34304
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4171
/proc/meminfo: memFree=30982568/32770624 swapFree=6256/581208
[pid=4020] ppid=4017 vsize=34304 CPUtime=2261.9 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 34441 0 0 0 226189 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 4747176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2261.9
Current children cumulated vsize (KiB) 34304
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4172
/proc/meminfo: memFree=30982392/32770624 swapFree=6256/581236
[pid=4020] ppid=4017 vsize=34304 CPUtime=2321.89 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 35143 0 0 0 232188 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5878179 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2321.89
Current children cumulated vsize (KiB) 34304
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4173
/proc/meminfo: memFree=30982208/32770624 swapFree=6256/581256
[pid=4020] ppid=4017 vsize=34304 CPUtime=2381.88 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 35826 0 0 0 238187 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 4361983 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2381.88
Current children cumulated vsize (KiB) 34304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4173
/proc/meminfo: memFree=30982084/32770624 swapFree=6256/581260
[pid=4020] ppid=4017 vsize=34304 CPUtime=2400.08 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 36401 0 0 0 240007 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5750448 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 34304
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 4020 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4173
/proc/meminfo: memFree=30982084/32770624 swapFree=6256/581260
[pid=4020] ppid=4017 vsize=34304 CPUtime=2400.08 cores=1,3,5,7
/proc/4020/stat : 4020 (MistralXCSP) R 4017 4020 2742 0 -1 4202496 36401 0 0 0 240007 1 0 0 20 0 1 0 16274653 35127296 2338 33554432000 4194304 7402444 140727483636528 140727483630984 5750448 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 38047744 140727483638953 140727483639102 140727483639102 140727483641801 0
/proc/4020/statm: 8576 2338 786 784 0 1590 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 34304
Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.09
CPU user time (s): 2400.07
CPU system time (s): 0.013997
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 34304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.013997
maximum resident set size= 9376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36432
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= 11
involuntary context switches= 120746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33422 second user time and 8.5649 second system time
The end