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-4241526-1500628665/watcher-4241526-1500628665 -o /tmp/evaluation-result-4241526-1500628665/solver-4241526-1500628665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500623787-5250 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 74815426 HOME/instance-4241526-1500628665.xml
pid=6203
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: 1.97 2.00 1.98 3/186 6206
/proc/meminfo: memFree=31304432/32770624 swapFree=6412/502664
[pid=6206] ppid=6203 vsize=28672 CPUtime=0 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 17759761 29360128 605 33554432000 4194304 7402444 140730506270976 140730506270168 140569310206949 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 7168 605 484 784 0 182 0
[startup+0.100161 s]
/proc/loadavg: 1.97 2.00 1.98 3/186 6206
/proc/meminfo: memFree=31304432/32770624 swapFree=6412/502664
[pid=6206] ppid=6203 vsize=32200 CPUtime=0.09 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 1838 0 0 0 9 0 0 0 20 0 1 0 17759761 32972800 1600 33554432000 4194304 7402444 140730506270976 140730506264216 140569310645248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 8050 1600 619 784 0 1064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32200
[startup+0.200343 s]
/proc/loadavg: 1.97 2.00 1.98 3/186 6206
/proc/meminfo: memFree=31304432/32770624 swapFree=6412/502664
[pid=6206] ppid=6203 vsize=32396 CPUtime=0.19 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 1888 0 0 0 19 0 0 0 20 0 1 0 17759761 33173504 1665 33554432000 4194304 7402444 140730506270976 140730506264216 140569327221094 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 8099 1665 632 784 0 1113 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32396
[startup+0.300244 s]
/proc/loadavg: 1.97 2.00 1.98 3/186 6206
/proc/meminfo: memFree=31304432/32770624 swapFree=6412/502664
[pid=6206] ppid=6203 vsize=32588 CPUtime=0.29 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 1971 0 0 0 29 0 0 0 20 0 1 0 17759761 33370112 1686 33554432000 4194304 7402444 140730506270976 140730506264216 6143819 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 8147 1686 632 784 0 1161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32588
[startup+0.700233 s]
/proc/loadavg: 1.97 2.00 1.98 3/186 6206
/proc/meminfo: memFree=31304432/32770624 swapFree=6412/502664
[pid=6206] ppid=6203 vsize=34036 CPUtime=0.68 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 2522 0 0 0 68 0 0 0 20 0 1 0 17759761 34852864 2115 33554432000 4194304 7402444 140730506270976 140730506261544 6077259 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 8509 2115 725 784 0 1523 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 34036
[startup+1.50024 s]
/proc/loadavg: 1.97 2.00 1.98 3/187 6207
/proc/meminfo: memFree=31297524/32770624 swapFree=6412/502552
[pid=6206] ppid=6203 vsize=37060 CPUtime=1.48 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 3258 0 0 0 148 0 0 0 20 0 1 0 17759761 37949440 2841 33554432000 4194304 7402444 140730506270976 140730506261720 5929296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 9265 2841 725 784 0 2279 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37060
[startup+3.1003 s]
/proc/loadavg: 1.97 2.00 1.98 3/187 6207
/proc/meminfo: memFree=31292688/32770624 swapFree=6412/502552
[pid=6206] ppid=6203 vsize=45408 CPUtime=3.09 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 7378 0 0 0 308 1 0 0 20 0 1 0 17759761 46497792 4993 33554432000 4194304 7402444 140730506270976 140730506261304 5979216 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 11352 4993 725 784 0 4366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45408
[startup+6.30024 s]
/proc/loadavg: 1.97 2.00 1.98 3/187 6207
/proc/meminfo: memFree=31278816/32770624 swapFree=6412/502556
[pid=6206] ppid=6203 vsize=56172 CPUtime=6.29 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 11541 0 0 0 628 1 0 0 20 0 1 0 17759761 57520128 7687 33554432000 4194304 7402444 140730506270976 140730506261176 140569316398319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 14043 7687 725 784 0 7057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56172
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 1.98 3/187 6207
/proc/meminfo: memFree=31248328/32770624 swapFree=6412/502564
[pid=6206] ppid=6203 vsize=83000 CPUtime=12.68 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 24904 0 0 0 1266 2 0 0 20 0 1 0 17759761 84992000 14408 33554432000 4194304 7402444 140730506270976 140730506262008 140569310205118 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 20750 14408 725 784 0 13764 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83000
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.98 3/187 6207
/proc/meminfo: memFree=31210516/32770624 swapFree=6412/502580
[pid=6206] ppid=6203 vsize=122140 CPUtime=25.49 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 38803 0 0 0 2545 4 0 0 20 0 1 0 17759761 125071360 24138 33554432000 4194304 7402444 140730506270976 140730506261720 6057537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 30535 24138 725 784 0 23549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122140
[startup+51.1003 s]
/proc/loadavg: 2.19 2.05 1.99 3/187 6207
/proc/meminfo: memFree=31129388/32770624 swapFree=6412/502600
[pid=6206] ppid=6203 vsize=202328 CPUtime=51.08 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 87341 0 0 0 5099 9 0 0 20 0 1 0 17759761 207183872 44124 33554432000 4194304 7402444 140730506270976 140730506261720 140569316398314 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 50582 44124 729 784 0 43596 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 202328
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 1.99 3/187 6208
/proc/meminfo: memFree=30946236/32770624 swapFree=6412/502640
[pid=6206] ppid=6203 vsize=383212 CPUtime=102.25 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 156959 0 0 0 10209 16 0 0 20 0 1 0 17759761 392409088 89514 33554432000 4194304 7402444 140730506270976 140730506265432 5877655 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 95803 89514 769 784 0 88817 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 383212
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/187 6216
/proc/meminfo: memFree=30938616/32770624 swapFree=6412/502656
[pid=6206] ppid=6203 vsize=390744 CPUtime=162.19 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 188200 0 0 0 16201 18 0 0 20 0 1 0 17759761 400121856 91376 33554432000 4194304 7402444 140730506270976 140730506265304 4747279 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 97686 91376 769 784 0 90700 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 390744
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 1.99 3/187 6217
/proc/meminfo: memFree=30938104/32770624 swapFree=6412/502684
[pid=6206] ppid=6203 vsize=391404 CPUtime=222.13 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 203653 0 0 0 22194 19 0 0 20 0 1 0 17759761 400797696 91591 33554432000 4194304 7402444 140730506270976 140730506265560 5324351 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 97851 91591 769 784 0 90865 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 391404
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 6218
/proc/meminfo: memFree=30937720/32770624 swapFree=6412/502704
[pid=6206] ppid=6203 vsize=391800 CPUtime=282.09 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 205506 0 0 0 28190 19 0 0 20 0 1 0 17759761 401203200 91693 33554432000 4194304 7402444 140730506270976 140730506265560 5750706 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 97950 91693 769 784 0 90964 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 391800
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 6219
/proc/meminfo: memFree=30937472/32770624 swapFree=6412/502720
[pid=6206] ppid=6203 vsize=392064 CPUtime=342.05 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 206751 0 0 0 34186 19 0 0 20 0 1 0 17759761 401473536 91771 33554432000 4194304 7402444 140730506270976 140730506265560 5877540 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98016 91771 769 784 0 91030 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 392064
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6220
/proc/meminfo: memFree=30937596/32770624 swapFree=6412/502752
[pid=6206] ppid=6203 vsize=392196 CPUtime=402.03 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 208002 0 0 0 40183 20 0 0 20 0 1 0 17759761 401608704 91802 33554432000 4194304 7402444 140730506270976 140730506265560 4367015 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98049 91802 769 784 0 91063 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 392196
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6222
/proc/meminfo: memFree=30937464/32770624 swapFree=6412/502780
[pid=6206] ppid=6203 vsize=392460 CPUtime=462 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 209340 0 0 0 46180 20 0 0 20 0 1 0 17759761 401879040 91843 33554432000 4194304 7402444 140730506270976 140730506265560 5758796 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98115 91843 769 784 0 91129 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 392460
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6223
/proc/meminfo: memFree=30937148/32770624 swapFree=6412/502804
[pid=6206] ppid=6203 vsize=392724 CPUtime=521.96 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 210763 0 0 0 52176 20 0 0 20 0 1 0 17759761 402149376 91915 33554432000 4194304 7402444 140730506270976 140730506265560 5324390 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98181 91915 769 784 0 91195 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 392724
[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/187 6224
/proc/meminfo: memFree=30937276/32770624 swapFree=6412/502824
[pid=6206] ppid=6203 vsize=392856 CPUtime=581.93 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 211683 0 0 0 58173 20 0 0 20 0 1 0 17759761 402284544 91954 33554432000 4194304 7402444 140730506270976 140730506265560 5821673 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98214 91954 769 784 0 91228 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 392856
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.01 3/187 7314
/proc/meminfo: memFree=30936904/32770624 swapFree=6412/504096
[pid=6206] ppid=6203 vsize=394176 CPUtime=1541.43 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 229277 0 0 0 154121 22 0 0 20 0 1 0 17759761 403636224 92287 33554432000 4194304 7402444 140730506270976 140730506265560 5758807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98544 92287 769 784 0 91558 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 394176
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/187 7619
/proc/meminfo: memFree=30688404/32770624 swapFree=6412/504544
[pid=6206] ppid=6203 vsize=394308 CPUtime=1601.4 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 230536 0 0 0 160117 23 0 0 20 0 1 0 17759761 403771392 92298 33554432000 4194304 7402444 140730506270976 140730506265432 4238492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98577 92298 769 784 0 91591 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 394308
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/187 7620
/proc/meminfo: memFree=30218684/32770624 swapFree=6412/504528
[pid=6206] ppid=6203 vsize=394308 CPUtime=1661.36 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 231792 0 0 0 166113 23 0 0 20 0 1 0 17759761 403771392 92325 33554432000 4194304 7402444 140730506270976 140730506265432 5877540 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98577 92325 769 784 0 91591 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 394308
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/187 7621
/proc/meminfo: memFree=29780852/32770624 swapFree=6412/504552
[pid=6206] ppid=6203 vsize=394308 CPUtime=1721.33 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 233054 0 0 0 172110 23 0 0 20 0 1 0 17759761 403771392 92332 33554432000 4194304 7402444 140730506270976 140730506265432 5878671 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98577 92332 769 784 0 91591 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 394308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7622
/proc/meminfo: memFree=29728968/32770624 swapFree=6412/504580
[pid=6206] ppid=6203 vsize=394440 CPUtime=1781.3 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 234324 0 0 0 178107 23 0 0 20 0 1 0 17759761 403906560 92338 33554432000 4194304 7402444 140730506270976 140730506265560 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98610 92338 769 784 0 91624 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 394440
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7805
/proc/meminfo: memFree=30758896/32770624 swapFree=6412/504704
[pid=6206] ppid=6203 vsize=394440 CPUtime=1841.28 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 235598 0 0 0 184104 24 0 0 20 0 1 0 17759761 403906560 92344 33554432000 4194304 7402444 140730506270976 140730506265560 5750450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98610 92344 769 784 0 91624 0
Current children cumulated CPU time (s) 1841.28
Current children cumulated vsize (KiB) 394440
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 7806
/proc/meminfo: memFree=30749660/32770624 swapFree=6412/504748
[pid=6206] ppid=6203 vsize=394440 CPUtime=1901.25 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 236879 0 0 0 190101 24 0 0 20 0 1 0 17759761 403906560 92349 33554432000 4194304 7402444 140730506270976 140730506265560 4366245 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98610 92349 769 784 0 91624 0
Current children cumulated CPU time (s) 1901.25
Current children cumulated vsize (KiB) 394440
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 7815
/proc/meminfo: memFree=30748268/32770624 swapFree=6412/504788
[pid=6206] ppid=6203 vsize=394440 CPUtime=1961.22 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 238176 0 0 0 196098 24 0 0 20 0 1 0 17759761 403906560 92359 33554432000 4194304 7402444 140730506270976 140730506265560 4747331 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98610 92359 769 784 0 91624 0
Current children cumulated CPU time (s) 1961.22
Current children cumulated vsize (KiB) 394440
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 7816
/proc/meminfo: memFree=30747924/32770624 swapFree=6412/504820
[pid=6206] ppid=6203 vsize=394440 CPUtime=2021.19 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 239476 0 0 0 202095 24 0 0 20 0 1 0 17759761 403906560 92369 33554432000 4194304 7402444 140730506270976 140730506265560 4747338 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98610 92369 769 784 0 91624 0
Current children cumulated CPU time (s) 2021.19
Current children cumulated vsize (KiB) 394440
[startup+2082.3 s]
/proc/loadavg: 2.09 2.04 2.02 3/189 7818
/proc/meminfo: memFree=30747172/32770624 swapFree=6412/504852
[pid=6206] ppid=6203 vsize=394572 CPUtime=2081.16 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 240791 0 0 0 208092 24 0 0 20 0 1 0 17759761 404041728 92378 33554432000 4194304 7402444 140730506270976 140730506265560 4747176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98643 92378 769 784 0 91657 0
Current children cumulated CPU time (s) 2081.16
Current children cumulated vsize (KiB) 394572
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/189 7819
/proc/meminfo: memFree=30746924/32770624 swapFree=6412/504880
[pid=6206] ppid=6203 vsize=394572 CPUtime=2141.13 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 242107 0 0 0 214089 24 0 0 20 0 1 0 17759761 404041728 92384 33554432000 4194304 7402444 140730506270976 140730506265560 4747326 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98643 92384 769 784 0 91657 0
Current children cumulated CPU time (s) 2141.13
Current children cumulated vsize (KiB) 394572
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.02 3/189 7820
/proc/meminfo: memFree=30746428/32770624 swapFree=6412/504920
[pid=6206] ppid=6203 vsize=394572 CPUtime=2201.11 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 243434 0 0 0 220086 25 0 0 20 0 1 0 17759761 404041728 92393 33554432000 4194304 7402444 140730506270976 140730506265560 4709390 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98643 92393 769 784 0 91657 0
Current children cumulated CPU time (s) 2201.11
Current children cumulated vsize (KiB) 394572
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 7822
/proc/meminfo: memFree=30746860/32770624 swapFree=6412/504960
[pid=6206] ppid=6203 vsize=394572 CPUtime=2261.08 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 244764 0 0 0 226083 25 0 0 20 0 1 0 17759761 404041728 92402 33554432000 4194304 7402444 140730506270976 140730506265560 4747176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98643 92402 769 784 0 91657 0
Current children cumulated CPU time (s) 2261.08
Current children cumulated vsize (KiB) 394572
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 7823
/proc/meminfo: memFree=30745312/32770624 swapFree=6412/504988
[pid=6206] ppid=6203 vsize=394704 CPUtime=2321.05 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 246114 0 0 0 232080 25 0 0 20 0 1 0 17759761 404176896 92411 33554432000 4194304 7402444 140730506270976 140730506265560 5754096 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98676 92411 769 784 0 91690 0
Current children cumulated CPU time (s) 2321.05
Current children cumulated vsize (KiB) 394704
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 7824
/proc/meminfo: memFree=30746196/32770624 swapFree=6412/505020
[pid=6206] ppid=6203 vsize=394704 CPUtime=2381.02 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 247467 0 0 0 238077 25 0 0 20 0 1 0 17759761 404176896 92420 33554432000 4194304 7402444 140730506270976 140730506265560 5758736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98676 92420 769 784 0 91690 0
Current children cumulated CPU time (s) 2381.02
Current children cumulated vsize (KiB) 394704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 7824
/proc/meminfo: memFree=30745824/32770624 swapFree=6412/505036
[pid=6206] ppid=6203 vsize=394704 CPUtime=2400.02 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 247636 0 0 0 239977 25 0 0 20 0 1 0 17759761 404176896 92423 33554432000 4194304 7402444 140730506270976 140730506265560 5877680 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98676 92423 769 784 0 91690 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 394704
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 6206 sig 9
??? kill -6206 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 7824
/proc/meminfo: memFree=30745824/32770624 swapFree=6412/505036
[pid=6206] ppid=6203 vsize=394704 CPUtime=2400.02 cores=1,3,5,7
/proc/6206/stat : 6206 (MistralXCSP) R 6203 6206 5218 0 -1 4202496 247636 0 0 0 239977 25 0 0 20 0 1 0 17759761 404176896 92423 33554432000 4194304 7402444 140730506270976 140730506265560 5877680 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 24666112 140730506273962 140730506274110 140730506274110 140730506276809 0
/proc/6206/statm: 98676 92423 769 784 0 91690 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 394704
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.03
CPU user time (s): 2399.77
CPU system time (s): 0.253872
CPU usage (%): 99.9466
Max. virtual memory (cumulated for all children) (KiB): 394704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.77
system time used= 0.253872
maximum resident set size= 369728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247667
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= 121
involuntary context switches= 121292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31016 second user time and 10.7366 second system time
The end