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-4240456-1500640433/watcher-4240456-1500640433 -o /tmp/evaluation-result-4240456-1500640433/solver-4240456-1500640433 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500623787-4640 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1797939637 HOME/instance-4240456-1500640433.xml
pid=6756
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.01 2.03 2.05 3/186 6759
/proc/meminfo: memFree=31484804/32770624 swapFree=6256/336988
[pid=6759] ppid=6756 vsize=28940 CPUtime=0 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 17322266 29634560 822 33554432000 4194304 7402444 140721082971984 140721082968696 140084819504101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 7235 822 617 784 0 249 0
[startup+0.100169 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6759
/proc/meminfo: memFree=31484804/32770624 swapFree=6256/336988
[pid=6759] ppid=6756 vsize=40936 CPUtime=0.09 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 4356 0 0 0 9 0 0 0 20 0 1 0 17322266 41918464 3906 33554432000 4194304 7402444 140721082971984 140721082964072 5910880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 10234 3906 686 784 0 3248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40936
[startup+0.200355 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6759
/proc/meminfo: memFree=31484804/32770624 swapFree=6256/336988
[pid=6759] ppid=6756 vsize=58316 CPUtime=0.19 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 8767 0 0 0 19 0 0 0 20 0 1 0 17322266 59715584 8252 33554432000 4194304 7402444 140721082971984 140721082962376 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 14579 8252 729 784 0 7593 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 58316
[startup+0.300348 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6759
/proc/meminfo: memFree=31484804/32770624 swapFree=6256/336988
[pid=6759] ppid=6756 vsize=75276 CPUtime=0.29 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 12890 0 0 0 28 1 0 0 20 0 1 0 17322266 77082624 12525 33554432000 4194304 7402444 140721082971984 140721082962296 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 18819 12525 729 784 0 11833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75276
[startup+0.700288 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6759
/proc/meminfo: memFree=31484804/32770624 swapFree=6256/336988
[pid=6759] ppid=6756 vsize=100056 CPUtime=0.69 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 18912 0 0 0 67 2 0 0 20 0 1 0 17322266 102457344 18703 33554432000 4194304 7402444 140721082971984 140721082962376 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 25014 18703 729 784 0 18028 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100056
[startup+1.50024 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=31395056/32770624 swapFree=6256/337044
[pid=6759] ppid=6756 vsize=132232 CPUtime=1.49 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 27104 0 0 0 146 3 0 0 20 0 1 0 17322266 135405568 26756 33554432000 4194304 7402444 140721082971984 140721082962376 140084819504101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 33058 26756 729 784 0 26072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132232
[startup+3.10024 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=31353756/32770624 swapFree=6256/337044
[pid=6759] ppid=6756 vsize=199788 CPUtime=3.09 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 63302 0 0 0 303 6 0 0 20 0 1 0 17322266 204582912 43645 33554432000 4194304 7402444 140721082971984 140721082962376 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 49947 43645 729 784 0 42961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199788
[startup+6.30022 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=31279228/32770624 swapFree=6256/337044
[pid=6759] ppid=6756 vsize=244708 CPUtime=6.28 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 83956 0 0 0 621 7 0 0 20 0 1 0 17322266 250580992 54843 33554432000 4194304 7402444 140721082971984 140721082962376 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 61177 54843 731 784 0 54191 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 244708
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=31188244/32770624 swapFree=6256/337056
[pid=6759] ppid=6756 vsize=330764 CPUtime=12.69 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 108767 0 0 0 1259 10 0 0 20 0 1 0 17322266 338702336 76331 33554432000 4194304 7402444 140721082971984 140721082962376 4731472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 82691 76331 731 784 0 75705 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330764
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=30965412/32770624 swapFree=6256/337064
[pid=6759] ppid=6756 vsize=546800 CPUtime=25.48 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 218066 0 0 0 2529 19 0 0 20 0 1 0 17322266 559923200 130411 33554432000 4194304 7402444 140721082971984 140721082963080 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 136700 130411 736 784 0 129714 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 546800
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6760
/proc/meminfo: memFree=30861532/32770624 swapFree=6256/337088
[pid=6759] ppid=6756 vsize=650376 CPUtime=51.08 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 323478 0 0 0 5082 26 0 0 20 0 1 0 17322266 665985024 156334 33554432000 4194304 7402444 140721082971984 140721082967336 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 162594 156334 765 784 0 155608 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 650376
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6761
/proc/meminfo: memFree=30855452/32770624 swapFree=6256/337120
[pid=6759] ppid=6756 vsize=656024 CPUtime=102.23 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 414017 0 0 0 10192 31 0 0 20 0 1 0 17322266 671768576 157754 33554432000 4194304 7402444 140721082971984 140721082966680 5327229 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157754 773 784 0 157020 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 656024
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6762
/proc/meminfo: memFree=30854612/32770624 swapFree=6256/337140
[pid=6759] ppid=6756 vsize=656024 CPUtime=162.16 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 470970 0 0 0 16181 35 0 0 20 0 1 0 17322266 671768576 157754 33554432000 4194304 7402444 140721082971984 140721082966680 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157754 773 784 0 157020 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 656024
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6887
/proc/meminfo: memFree=30845480/32770624 swapFree=6256/337216
[pid=6759] ppid=6756 vsize=656024 CPUtime=222.1 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 516866 0 0 0 22172 38 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5747605 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 656024
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6888
/proc/meminfo: memFree=30845516/32770624 swapFree=6256/337264
[pid=6759] ppid=6756 vsize=656024 CPUtime=282.04 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 532231 0 0 0 28166 38 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5327179 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 656024
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6889
/proc/meminfo: memFree=30844936/32770624 swapFree=6256/337284
[pid=6759] ppid=6756 vsize=656024 CPUtime=342 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 533426 0 0 0 34161 39 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 656024
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6897
/proc/meminfo: memFree=30843112/32770624 swapFree=6256/337320
[pid=6759] ppid=6756 vsize=656024 CPUtime=401.97 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 534085 0 0 0 40158 39 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5327250 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 656024
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6898
/proc/meminfo: memFree=30843972/32770624 swapFree=6256/337336
[pid=6759] ppid=6756 vsize=656024 CPUtime=461.94 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 534648 0 0 0 46155 39 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 656024
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6899
/proc/meminfo: memFree=30845160/32770624 swapFree=6256/337356
[pid=6759] ppid=6756 vsize=656024 CPUtime=521.91 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 535524 0 0 0 52152 39 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 656024
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6902
/proc/meminfo: memFree=30845444/32770624 swapFree=6256/337396
[pid=6759] ppid=6756 vsize=656024 CPUtime=581.89 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 536077 0 0 0 58150 39 0 0 20 0 1 0 17322266 671768576 157755 33554432000 4194304 7402444 140721082971984 140721082966680 5695885 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164006 157755 774 784 0 157020 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 656024
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6928
/proc/meminfo: memFree=30836464/32770624 swapFree=6256/337796
[pid=6759] ppid=6756 vsize=656324 CPUtime=1541.45 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 546888 0 0 0 154105 40 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1541.45
Current children cumulated vsize (KiB) 656324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6937
/proc/meminfo: memFree=30835932/32770624 swapFree=6256/337820
[pid=6759] ppid=6756 vsize=656324 CPUtime=1601.41 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 547645 0 0 0 160101 40 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327213 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1601.41
Current children cumulated vsize (KiB) 656324
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/189 6961
/proc/meminfo: memFree=30835188/32770624 swapFree=6256/337860
[pid=6759] ppid=6756 vsize=656324 CPUtime=1661.38 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 548090 0 0 0 166098 40 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 656324
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/189 6962
/proc/meminfo: memFree=30835676/32770624 swapFree=6256/337880
[pid=6759] ppid=6756 vsize=656324 CPUtime=1721.36 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 548815 0 0 0 172095 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1721.36
Current children cumulated vsize (KiB) 656324
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 6963
/proc/meminfo: memFree=30835668/32770624 swapFree=6256/337908
[pid=6759] ppid=6756 vsize=656324 CPUtime=1781.33 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 549548 0 0 0 178092 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5871079 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 656324
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 6964
/proc/meminfo: memFree=30835968/32770624 swapFree=6256/337936
[pid=6759] ppid=6756 vsize=656324 CPUtime=1841.3 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 550279 0 0 0 184089 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327213 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1841.3
Current children cumulated vsize (KiB) 656324
[startup+1902.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 6965
/proc/meminfo: memFree=30836108/32770624 swapFree=6256/337952
[pid=6759] ppid=6756 vsize=656324 CPUtime=1901.28 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 550901 0 0 0 190087 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1901.28
Current children cumulated vsize (KiB) 656324
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6966
/proc/meminfo: memFree=30836268/32770624 swapFree=6256/337976
[pid=6759] ppid=6756 vsize=656324 CPUtime=1961.25 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 551604 0 0 0 196084 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327250 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 1961.25
Current children cumulated vsize (KiB) 656324
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6967
/proc/meminfo: memFree=30836128/32770624 swapFree=6256/337996
[pid=6759] ppid=6756 vsize=656324 CPUtime=2021.22 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 552171 0 0 0 202081 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327213 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2021.22
Current children cumulated vsize (KiB) 656324
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6968
/proc/meminfo: memFree=30836192/32770624 swapFree=6256/338012
[pid=6759] ppid=6756 vsize=656324 CPUtime=2081.2 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 552765 0 0 0 208079 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2081.2
Current children cumulated vsize (KiB) 656324
[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6969
/proc/meminfo: memFree=30836068/32770624 swapFree=6256/338044
[pid=6759] ppid=6756 vsize=656324 CPUtime=2141.16 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 553344 0 0 0 214075 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 4239193 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2141.16
Current children cumulated vsize (KiB) 656324
[startup+2202.31 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 6977
/proc/meminfo: memFree=30835672/32770624 swapFree=6256/338080
[pid=6759] ppid=6756 vsize=656324 CPUtime=2201.14 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 553835 0 0 0 220073 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327213 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2201.14
Current children cumulated vsize (KiB) 656324
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6978
/proc/meminfo: memFree=30835680/32770624 swapFree=6256/338100
[pid=6759] ppid=6756 vsize=656324 CPUtime=2261.11 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 554513 0 0 0 226070 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2261.11
Current children cumulated vsize (KiB) 656324
[startup+2322.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 6979
/proc/meminfo: memFree=30835548/32770624 swapFree=6256/338124
[pid=6759] ppid=6756 vsize=656324 CPUtime=2321.08 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 555098 0 0 0 232067 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2321.08
Current children cumulated vsize (KiB) 656324
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6980
/proc/meminfo: memFree=30836020/32770624 swapFree=6256/338152
[pid=6759] ppid=6756 vsize=656324 CPUtime=2381.05 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 555651 0 0 0 238064 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2381.05
Current children cumulated vsize (KiB) 656324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6981
/proc/meminfo: memFree=30836168/32770624 swapFree=6256/338172
[pid=6759] ppid=6756 vsize=656324 CPUtime=2400.04 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 555803 0 0 0 239963 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 656324
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 6759 sig 9
??? kill -6759 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6981
/proc/meminfo: memFree=30836168/32770624 swapFree=6256/338172
[pid=6759] ppid=6756 vsize=656324 CPUtime=2400.04 cores=1,3,5,7
/proc/6759/stat : 6759 (MistralXCSP) R 6756 6759 4608 0 -1 4202496 555803 0 0 0 239963 41 0 0 20 0 1 0 17322266 672075776 157830 33554432000 4194304 7402444 140721082971984 140721082966632 5327204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29687808 140721082979496 140721082979646 140721082979646 140721082982345 0
/proc/6759/statm: 164081 157830 774 784 0 157095 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 656324
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.06
CPU user time (s): 2399.64
CPU system time (s): 0.419805
CPU usage (%): 99.948
Max. virtual memory (cumulated for all children) (KiB): 656324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.419805
maximum resident set size= 631344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555842
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= 174
involuntary context switches= 120656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54338 second user time and 10.1466 second system time
The end