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-4239949-1500636274/watcher-4239949-1500636274 -o /tmp/evaluation-result-4239949-1500636274/solver-4239949-1500636274 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500623785-5698 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1179727361 HOME/instance-4239949-1500636274.xml
pid=7558
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.08 2.04 2.05 3/187 7561
/proc/meminfo: memFree=30075220/32770624 swapFree=6176/1806880
[pid=7561] ppid=7558 vsize=29200 CPUtime=0 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 18262907 29900800 868 33554432000 4194304 7402444 140721128754416 140721128751464 139836004285413 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 7300 868 619 784 0 314 0
[startup+0.100118 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7561
/proc/meminfo: memFree=30075220/32770624 swapFree=6176/1806880
[pid=7561] ppid=7558 vsize=67180 CPUtime=0.09 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 10597 0 0 0 8 1 0 0 20 0 1 0 18262907 68792320 10372 33554432000 4194304 7402444 140721128754416 140721128745496 139836004285413 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 16795 10372 662 784 0 9809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67180
[startup+0.200354 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7561
/proc/meminfo: memFree=30075220/32770624 swapFree=6176/1806880
[pid=7561] ppid=7558 vsize=74988 CPUtime=0.19 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 12632 0 0 0 18 1 0 0 20 0 1 0 18262907 76787712 12418 33554432000 4194304 7402444 140721128754416 140721128744192 6011269 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 18747 12418 694 784 0 11761 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74988
[startup+0.300299 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7561
/proc/meminfo: memFree=30075220/32770624 swapFree=6176/1806880
[pid=7561] ppid=7558 vsize=75700 CPUtime=0.29 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 12863 0 0 0 28 1 0 0 20 0 1 0 18262907 77516800 12682 33554432000 4194304 7402444 140721128754416 140721128749432 139836004285413 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 18925 12682 789 784 0 11939 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75700
[startup+0.700246 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7561
/proc/meminfo: memFree=30075220/32770624 swapFree=6176/1806880
[pid=7561] ppid=7558 vsize=75964 CPUtime=0.69 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 12931 0 0 0 68 1 0 0 20 0 1 0 18262907 77787136 12748 33554432000 4194304 7402444 140721128754416 140721128749432 4484790 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 18991 12748 792 784 0 12005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75964
[startup+1.50025 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 7562
/proc/meminfo: memFree=30027172/32770624 swapFree=6176/1806836
[pid=7561] ppid=7558 vsize=76096 CPUtime=1.49 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 12963 0 0 0 148 1 0 0 20 0 1 0 18262907 77922304 12748 33554432000 4194304 7402444 140721128754416 140721128749432 5753955 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19024 12748 792 784 0 12038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76096
[startup+3.10023 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 7562
/proc/meminfo: memFree=30026800/32770624 swapFree=6176/1806840
[pid=7561] ppid=7558 vsize=76096 CPUtime=3.09 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 19691 0 0 0 307 2 0 0 20 0 1 0 18262907 77922304 12802 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19024 12802 792 784 0 12038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76096
[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 7562
/proc/meminfo: memFree=30026280/32770624 swapFree=6176/1806840
[pid=7561] ppid=7558 vsize=76096 CPUtime=6.28 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 26392 0 0 0 626 2 0 0 20 0 1 0 18262907 77922304 12811 33554432000 4194304 7402444 140721128754416 140721128749432 4709481 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19024 12811 792 784 0 12038 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76096
[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 7562
/proc/meminfo: memFree=30026112/32770624 swapFree=6176/1806856
[pid=7561] ppid=7558 vsize=76096 CPUtime=12.68 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 32544 0 0 0 1266 2 0 0 20 0 1 0 18262907 77922304 12812 33554432000 4194304 7402444 140721128754416 140721128749432 5753913 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19024 12812 792 784 0 12038 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76096
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 7562
/proc/meminfo: memFree=30025956/32770624 swapFree=6176/1806868
[pid=7561] ppid=7558 vsize=76096 CPUtime=25.47 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 42164 0 0 0 2544 3 0 0 20 0 1 0 18262907 77922304 12817 33554432000 4194304 7402444 140721128754416 140721128749432 5753888 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19024 12817 793 784 0 12038 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 76096
[startup+51.1002 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 7563
/proc/meminfo: memFree=30026552/32770624 swapFree=6176/1806848
[pid=7561] ppid=7558 vsize=76228 CPUtime=51.06 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 42559 0 0 0 5103 3 0 0 20 0 1 0 18262907 78057472 12821 33554432000 4194304 7402444 140721128754416 140721128748952 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12821 793 784 0 12071 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 76228
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7564
/proc/meminfo: memFree=30026160/32770624 swapFree=6176/1806888
[pid=7561] ppid=7558 vsize=76228 CPUtime=102.26 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 42948 0 0 0 10223 3 0 0 20 0 1 0 18262907 78057472 12824 33554432000 4194304 7402444 140721128754416 140721128749432 5753947 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12824 793 784 0 12071 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76228
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7565
/proc/meminfo: memFree=30027028/32770624 swapFree=6176/1806932
[pid=7561] ppid=7558 vsize=76228 CPUtime=162.25 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 43330 0 0 0 16222 3 0 0 20 0 1 0 18262907 78057472 12825 33554432000 4194304 7402444 140721128754416 140721128749432 5696160 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12825 793 784 0 12071 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76228
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7567
/proc/meminfo: memFree=30026628/32770624 swapFree=6176/1806968
[pid=7561] ppid=7558 vsize=76228 CPUtime=222.24 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 43717 0 0 0 22221 3 0 0 20 0 1 0 18262907 78057472 12827 33554432000 4194304 7402444 140721128754416 140721128749432 5753947 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12827 793 784 0 12071 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 76228
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7568
/proc/meminfo: memFree=30027180/32770624 swapFree=6176/1806996
[pid=7561] ppid=7558 vsize=76228 CPUtime=282.23 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 44103 0 0 0 28220 3 0 0 20 0 1 0 18262907 78057472 12827 33554432000 4194304 7402444 140721128754416 140721128749432 5696204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12827 793 784 0 12071 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 76228
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7576
/proc/meminfo: memFree=30026180/32770624 swapFree=6176/1807036
[pid=7561] ppid=7558 vsize=76228 CPUtime=342.22 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 44487 0 0 0 34219 3 0 0 20 0 1 0 18262907 78057472 12828 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12828 793 784 0 12071 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 76228
[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7577
/proc/meminfo: memFree=30026800/32770624 swapFree=6176/1807068
[pid=7561] ppid=7558 vsize=76228 CPUtime=402.21 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 44873 0 0 0 40218 3 0 0 20 0 1 0 18262907 78057472 12829 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12829 793 784 0 12071 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 76228
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 7578
/proc/meminfo: memFree=30026992/32770624 swapFree=6176/1807100
[pid=7561] ppid=7558 vsize=76228 CPUtime=462.2 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 45259 0 0 0 46217 3 0 0 20 0 1 0 18262907 78057472 12829 33554432000 4194304 7402444 140721128754416 140721128749432 5754004 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12829 793 784 0 12071 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 76228
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7579
/proc/meminfo: memFree=30026892/32770624 swapFree=6176/1807132
[pid=7561] ppid=7558 vsize=76228 CPUtime=522.19 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 45645 0 0 0 52216 3 0 0 20 0 1 0 18262907 78057472 12830 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12830 793 784 0 12071 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 76228
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7580
/proc/meminfo: memFree=30027152/32770624 swapFree=6176/1807164
[pid=7561] ppid=7558 vsize=76228 CPUtime=582.18 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 46031 0 0 0 58215 3 0 0 20 0 1 0 18262907 78057472 12830 33554432000 4194304 7402444 140721128754416 140721128749432 4484644 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12830 793 784 0 12071 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 76228
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7602
/proc/meminfo: memFree=30026512/32770624 swapFree=6176/1807640
[pid=7561] ppid=7558 vsize=76228 CPUtime=1482.05 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 51822 0 0 0 148202 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 4484598 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 76228
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7610
/proc/meminfo: memFree=30025372/32770624 swapFree=6176/1807676
[pid=7561] ppid=7558 vsize=76228 CPUtime=1542.05 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 52203 0 0 0 154202 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 76228
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7611
/proc/meminfo: memFree=30026264/32770624 swapFree=6176/1807716
[pid=7561] ppid=7558 vsize=76228 CPUtime=1602.03 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 52571 0 0 0 160200 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 5754000 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 76228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7612
/proc/meminfo: memFree=30026620/32770624 swapFree=6176/1807748
[pid=7561] ppid=7558 vsize=76228 CPUtime=1662.03 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 52963 0 0 0 166200 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 5753939 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 76228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7613
/proc/meminfo: memFree=30026280/32770624 swapFree=6176/1807780
[pid=7561] ppid=7558 vsize=76228 CPUtime=1722.02 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 53353 0 0 0 172199 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 5753930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 76228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7614
/proc/meminfo: memFree=30026512/32770624 swapFree=6176/1807808
[pid=7561] ppid=7558 vsize=76228 CPUtime=1782.01 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 53742 0 0 0 178198 3 0 0 20 0 1 0 18262907 78057472 12834 33554432000 4194304 7402444 140721128754416 140721128749432 4709390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12834 793 784 0 12071 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 76228
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7616
/proc/meminfo: memFree=30026120/32770624 swapFree=6176/1807848
[pid=7561] ppid=7558 vsize=76228 CPUtime=1842 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 54132 0 0 0 184197 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 5754011 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 76228
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 7617
/proc/meminfo: memFree=30026532/32770624 swapFree=6176/1807872
[pid=7561] ppid=7558 vsize=76228 CPUtime=1901.99 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 54515 0 0 0 190196 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 76228
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7618
/proc/meminfo: memFree=30026440/32770624 swapFree=6176/1807908
[pid=7561] ppid=7558 vsize=76228 CPUtime=1961.98 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 54909 0 0 0 196195 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 4747326 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 76228
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7683
/proc/meminfo: memFree=30020624/32770624 swapFree=6176/1807980
[pid=7561] ppid=7558 vsize=76228 CPUtime=2021.97 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 55296 0 0 0 202194 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 5753921 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 2021.97
Current children cumulated vsize (KiB) 76228
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7684
/proc/meminfo: memFree=30020368/32770624 swapFree=6176/1808008
[pid=7561] ppid=7558 vsize=76228 CPUtime=2081.97 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 55686 0 0 0 208194 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 76228
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7692
/proc/meminfo: memFree=30019964/32770624 swapFree=6176/1808044
[pid=7561] ppid=7558 vsize=76228 CPUtime=2141.95 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 56076 0 0 0 214192 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 4748184 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 76228
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7717
/proc/meminfo: memFree=30018628/32770624 swapFree=6176/1808088
[pid=7561] ppid=7558 vsize=76228 CPUtime=2201.95 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 56466 0 0 0 220192 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 4483986 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 76228
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7718
/proc/meminfo: memFree=30019620/32770624 swapFree=6176/1808128
[pid=7561] ppid=7558 vsize=76228 CPUtime=2261.94 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 56850 0 0 0 226191 3 0 0 20 0 1 0 18262907 78057472 12835 33554432000 4194304 7402444 140721128754416 140721128749432 5753958 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12835 793 784 0 12071 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 76228
[startup+2322.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/189 7719
/proc/meminfo: memFree=30020116/32770624 swapFree=6176/1808156
[pid=7561] ppid=7558 vsize=76228 CPUtime=2321.93 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 57247 0 0 0 232190 3 0 0 20 0 1 0 18262907 78057472 12836 33554432000 4194304 7402444 140721128754416 140721128749432 5753947 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12836 793 784 0 12071 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 76228
[startup+2382.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 7720
/proc/meminfo: memFree=30019716/32770624 swapFree=6176/1808188
[pid=7561] ppid=7558 vsize=76228 CPUtime=2381.92 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 57627 0 0 0 238189 3 0 0 20 0 1 0 18262907 78057472 12836 33554432000 4194304 7402444 140721128754416 140721128749432 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12836 793 784 0 12071 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 76228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 7721
/proc/meminfo: memFree=30019716/32770624 swapFree=6176/1808208
[pid=7561] ppid=7558 vsize=76228 CPUtime=2400.02 cores=1,3,5,7
/proc/7561/stat : 7561 (MistralXCSP) R 7558 7561 5666 0 -1 4202496 57992 0 0 0 239999 3 0 0 20 0 1 0 18262907 78057472 12836 33554432000 4194304 7402444 140721128754416 140721128749432 5696195 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 19116032 140721128756392 140721128756542 140721128756542 140721128759241 0
/proc/7561/statm: 19057 12836 793 784 0 12071 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 76228
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 7561 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2399.99
CPU system time (s): 0.035994
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 76228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.035994
maximum resident set size= 51368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58030
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= 32
involuntary context switches= 120642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38354 second user time and 10.4969 second system time
The end