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-4261773-1502407671/watcher-4261773-1502407671 -o /tmp/evaluation-result-4261773-1502407671/solver-4261773-1502407671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2017163727 HOME/instance-4261773-1502407671.xml
pid=4467
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.05 2/183 4470
/proc/meminfo: memFree=31162900/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4470/stat : 4470 (runsolver) D 4467 4470 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 140420026 24240128 108 18446744073709551615 4194304 4338465 140722059087088 140722059084728 140499273216727 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 39636992 140722059096202 140722059096649 140722059096649 140722059100106 0
/proc/4470/statm: 5918 108 54 36 0 2156 0
[startup+0.100138 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 4470
/proc/meminfo: memFree=31162900/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=29344 CPUtime=0 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 1086 0 0 0 0 0 0 0 20 0 1 0 140420026 30048256 868 18446744073709551615 4194304 7396336 140727433830848 140727433827848 6047945 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 7336 868 606 782 0 352 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29344
[startup+0.20026 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 4470
/proc/meminfo: memFree=31162900/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=29636 CPUtime=0.1 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 1292 0 0 0 10 0 0 0 20 0 1 0 140420026 30347264 1132 18446744073709551615 4194304 7396336 140727433830848 140727433827848 140672300564242 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 7409 1132 724 782 0 425 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29636
[startup+0.300246 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 4470
/proc/meminfo: memFree=31162900/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=30188 CPUtime=0.2 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 1423 0 0 0 20 0 0 0 20 0 1 0 140420026 30912512 1244 18446744073709551615 4194304 7396336 140727433830848 140727433827848 140672300571621 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 7547 1244 724 782 0 563 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30188
[startup+0.700216 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 4470
/proc/meminfo: memFree=31162900/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=31788 CPUtime=0.6 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 1828 0 0 0 60 0 0 0 20 0 1 0 140420026 32550912 1644 18446744073709551615 4194304 7396336 140727433830848 140727433821320 140672300569146 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 7947 1644 724 782 0 963 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31788
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 4471
/proc/meminfo: memFree=31157680/32770624 swapFree=0/438012
[pid=4470] ppid=4467 vsize=35776 CPUtime=1.4 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 2898 0 0 0 140 0 0 0 20 0 1 0 140420026 36634624 2639 18446744073709551615 4194304 7396336 140727433830848 140727433821400 140672300656072 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 8944 2639 725 782 0 1960 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 35776
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 4471
/proc/meminfo: memFree=31152968/32770624 swapFree=0/438012
[pid=4470] ppid=4467 vsize=45104 CPUtime=2.99 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 7665 0 0 0 299 0 0 0 20 0 1 0 140420026 46186496 4985 18446744073709551615 4194304 7396336 140727433830848 140727433821400 140672307360995 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 11276 4985 725 782 0 4292 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 45104
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 4471
/proc/meminfo: memFree=31141972/32770624 swapFree=0/438024
[pid=4470] ppid=4467 vsize=49016 CPUtime=6.19 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 12706 0 0 0 618 1 0 0 20 0 1 0 140420026 50192384 6013 18446744073709551615 4194304 7396336 140727433830848 140727433825336 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12254 6013 770 782 0 5270 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 49016
[startup+12.7002 s]
/proc/loadavg: 1.92 2.00 2.04 3/184 4472
/proc/meminfo: memFree=31141608/32770624 swapFree=0/438024
[pid=4470] ppid=4467 vsize=49280 CPUtime=12.59 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 16740 0 0 0 1258 1 0 0 20 0 1 0 140420026 50462720 6074 18446744073709551615 4194304 7396336 140727433830848 140727433825128 4582143 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12320 6074 770 782 0 5336 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 49280
[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 2.04 3/184 4472
/proc/meminfo: memFree=31141856/32770624 swapFree=0/438016
[pid=4470] ppid=4467 vsize=49544 CPUtime=25.39 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 24934 0 0 0 2537 2 0 0 20 0 1 0 140420026 50733056 6146 18446744073709551615 4194304 7396336 140727433830848 140727433825864 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12386 6146 772 782 0 5402 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 49544
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 4472
/proc/meminfo: memFree=31142064/32770624 swapFree=0/438012
[pid=4470] ppid=4467 vsize=49544 CPUtime=50.99 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 29172 0 0 0 5097 2 0 0 20 0 1 0 140420026 50733056 6157 18446744073709551615 4194304 7396336 140727433830848 140727433825864 5697678 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12386 6157 772 782 0 5402 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 49544
[startup+102.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/184 4474
/proc/meminfo: memFree=31142076/32770624 swapFree=0/438020
[pid=4470] ppid=4467 vsize=49676 CPUtime=102.19 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 29892 0 0 0 10217 2 0 0 20 0 1 0 140420026 50868224 6177 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12419 6177 772 782 0 5435 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 49676
[startup+162.3 s]
/proc/loadavg: 1.94 1.97 2.03 3/185 4542
/proc/meminfo: memFree=31130824/32770624 swapFree=0/438028
[pid=4470] ppid=4467 vsize=49808 CPUtime=162.19 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 30588 0 0 0 16216 3 0 0 20 0 1 0 140420026 51003392 6199 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4246650 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12452 6199 772 782 0 5468 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 49808
[startup+222.306 s]
/proc/loadavg: 1.92 1.96 2.02 3/185 4544
/proc/meminfo: memFree=31101528/32770624 swapFree=0/438036
[pid=4470] ppid=4467 vsize=49940 CPUtime=222.19 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 31255 0 0 0 22216 3 0 0 20 0 1 0 140420026 51138560 6224 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165771 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6224 772 782 0 5501 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 49940
[startup+282.3 s]
/proc/loadavg: 1.97 1.97 2.02 3/185 4546
/proc/meminfo: memFree=31100140/32770624 swapFree=0/438048
[pid=4470] ppid=4467 vsize=49940 CPUtime=282.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 31929 0 0 0 28215 3 0 0 20 0 1 0 140420026 51138560 6236 18446744073709551615 4194304 7396336 140727433830848 140727433825288 4246653 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6236 772 782 0 5501 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49940
[startup+342.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/184 4548
/proc/meminfo: memFree=31101704/32770624 swapFree=0/438056
[pid=4470] ppid=4467 vsize=49940 CPUtime=342.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 32585 0 0 0 34215 3 0 0 20 0 1 0 140420026 51138560 6243 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165830 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6243 772 782 0 5501 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49940
[startup+402.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/188 4565
/proc/meminfo: memFree=31094732/32770624 swapFree=0/438084
[pid=4470] ppid=4467 vsize=49940 CPUtime=402.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 33227 0 0 0 40215 3 0 0 20 0 1 0 140420026 51138560 6245 18446744073709551615 4194304 7396336 140727433830848 140727433825288 4590328 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6245 772 782 0 5501 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49940
[startup+462.3 s]
/proc/loadavg: 2.14 2.02 2.04 3/187 4567
/proc/meminfo: memFree=31095220/32770624 swapFree=0/438100
[pid=4470] ppid=4467 vsize=49940 CPUtime=462.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 33864 0 0 0 46215 3 0 0 20 0 1 0 140420026 51138560 6246 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165928 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6246 772 782 0 5501 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 49940
[startup+522.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/184 4569
/proc/meminfo: memFree=31098120/32770624 swapFree=0/438116
[pid=4470] ppid=4467 vsize=49940 CPUtime=522.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 34526 0 0 0 52215 3 0 0 20 0 1 0 140420026 51138560 6246 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165816 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6246 772 782 0 5501 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 49940
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/184 4571
/proc/meminfo: memFree=31098428/32770624 swapFree=0/438116
[pid=4470] ppid=4467 vsize=49940 CPUtime=582.18 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 35211 0 0 0 58215 3 0 0 20 0 1 0 140420026 51138560 6247 18446744073709551615 4194304 7396336 140727433830848 140727433825288 5165800 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12485 6247 772 782 0 5501 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 49940
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.94 2.00 2.03 3/188 4640
/proc/meminfo: memFree=31094404/32770624 swapFree=0/438316
[pid=4470] ppid=4467 vsize=50072 CPUtime=1602.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 46804 0 0 0 160213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4246592 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 50072
[startup+1662.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/188 4642
/proc/meminfo: memFree=31093496/32770624 swapFree=0/438328
[pid=4470] ppid=4467 vsize=50072 CPUtime=1662.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 47480 0 0 0 166213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165800 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 50072
[startup+1722.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/186 4645
/proc/meminfo: memFree=31097140/32770624 swapFree=0/438332
[pid=4470] ppid=4467 vsize=50072 CPUtime=1722.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 48178 0 0 0 172213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165796 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 50072
[startup+1782.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/186 4647
/proc/meminfo: memFree=31096772/32770624 swapFree=0/438340
[pid=4470] ppid=4467 vsize=50072 CPUtime=1782.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 48861 0 0 0 178213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 50072
[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/186 4649
/proc/meminfo: memFree=31097112/32770624 swapFree=0/438360
[pid=4470] ppid=4467 vsize=50072 CPUtime=1842.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 49550 0 0 0 184213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165800 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 50072
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 4651
/proc/meminfo: memFree=31097612/32770624 swapFree=0/438376
[pid=4470] ppid=4467 vsize=50072 CPUtime=1902.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 50234 0 0 0 190213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 50072
[startup+1962.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/185 4653
/proc/meminfo: memFree=31097208/32770624 swapFree=0/438384
[pid=4470] ppid=4467 vsize=50072 CPUtime=1962.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 50899 0 0 0 196213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4581608 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 1962.16
Current children cumulated vsize (KiB) 50072
[startup+2022.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/184 4655
/proc/meminfo: memFree=31096980/32770624 swapFree=0/438396
[pid=4470] ppid=4467 vsize=50072 CPUtime=2022.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 51586 0 0 0 202213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4252536 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2022.16
Current children cumulated vsize (KiB) 50072
[startup+2082.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/184 4657
/proc/meminfo: memFree=31097072/32770624 swapFree=0/438416
[pid=4470] ppid=4467 vsize=50072 CPUtime=2082.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 52260 0 0 0 208213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5774112 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 50072
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 4659
/proc/meminfo: memFree=31097324/32770624 swapFree=0/438432
[pid=4470] ppid=4467 vsize=50072 CPUtime=2142.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 52942 0 0 0 214213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4246640 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 50072
[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 4677
/proc/meminfo: memFree=31092936/32770624 swapFree=0/438424
[pid=4470] ppid=4467 vsize=50072 CPUtime=2202.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 53634 0 0 0 220213 3 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 50072
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 4679
/proc/meminfo: memFree=31093156/32770624 swapFree=0/438436
[pid=4470] ppid=4467 vsize=50072 CPUtime=2262.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 54317 0 0 0 226212 4 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 4246647 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 50072
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 4681
/proc/meminfo: memFree=31097132/32770624 swapFree=0/438440
[pid=4470] ppid=4467 vsize=50072 CPUtime=2322.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 55007 0 0 0 232212 4 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165796 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 50072
[startup+2382.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/186 4683
/proc/meminfo: memFree=31097012/32770624 swapFree=0/438460
[pid=4470] ppid=4467 vsize=50072 CPUtime=2382.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 55699 0 0 0 238212 4 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165834 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 50072
[startup+2442.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/186 4685
/proc/meminfo: memFree=31097220/32770624 swapFree=0/438480
[pid=4470] ppid=4467 vsize=50072 CPUtime=2442.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 56381 0 0 0 244212 4 0 0 20 0 1 0 140420026 51273728 6269 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6269 772 782 0 5534 0
Current children cumulated CPU time (s) 2442.16
Current children cumulated vsize (KiB) 50072
[startup+2502.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/184 4688
/proc/meminfo: memFree=31096736/32770624 swapFree=0/438492
[pid=4470] ppid=4467 vsize=50072 CPUtime=2502.16 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 57092 0 0 0 250212 4 0 0 20 0 1 0 140420026 51273728 6270 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165838 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6270 772 782 0 5534 0
Current children cumulated CPU time (s) 2502.16
Current children cumulated vsize (KiB) 50072
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.04 2.01 2.04 3/184 4688
/proc/meminfo: memFree=31097076/32770624 swapFree=0/438496
[pid=4470] ppid=4467 vsize=50072 CPUtime=2519.86 cores=1,3,5,7
/proc/4470/stat : 4470 (MistralXCSP) R 4467 4470 4525 0 -1 4202496 57703 0 0 0 251982 4 0 0 20 0 1 0 140420026 51273728 6270 18446744073709551615 4194304 7396336 140727433830848 140727433825192 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 18259968 140727433834930 140727433835080 140727433835080 140727433838537 0
/proc/4470/statm: 12518 6270 772 782 0 5534 0
Current children cumulated CPU time (s) 2519.86
Current children cumulated vsize (KiB) 50072
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 4470 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.87
CPU user time (s): 2519.83
CPU system time (s): 0.041999
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 50072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.83
system time used= 0.041999
maximum resident set size= 25100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57740
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= 16
involuntary context switches= 839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10632 second user time and 9.13731 second system time
The end