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-4261374-1502356947/watcher-4261374-1502356947 -o /tmp/evaluation-result-4261374-1502356947/solver-4261374-1502356947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 558791563 HOME/instance-4261374-1502356947.xml
pid=25885
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.08 2.06 2.05 3/180 25888
/proc/meminfo: memFree=30897872/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25888/stat : 25888 (runsolver) D 25885 25888 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 37915512 24240128 106 18446744073709551615 4194304 4338465 140731664858208 140731664855848 139986361889495 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 12144640 140731664859276 140731664859722 140731664859722 140731664863178 0
/proc/25888/statm: 5918 106 53 36 0 2156 0
[startup+0.102768 s]
/proc/loadavg: 2.08 2.06 2.05 3/180 25888
/proc/meminfo: memFree=30897872/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=29060 CPUtime=0.01 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 1123 0 0 0 1 0 0 0 20 0 1 0 37915512 29757440 934 18446744073709551615 4194304 7396336 140726361495824 140726361485600 6195596 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7265 934 695 782 0 281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29060
[startup+0.200806 s]
/proc/loadavg: 2.08 2.06 2.05 3/180 25888
/proc/meminfo: memFree=30897872/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=29192 CPUtime=0.1 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 1171 0 0 0 10 0 0 0 20 0 1 0 37915512 29892608 1000 18446744073709551615 4194304 7396336 140726361495824 140726361485928 140445123957987 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7298 1000 724 782 0 314 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29192
[startup+0.300808 s]
/proc/loadavg: 2.08 2.06 2.05 3/180 25888
/proc/meminfo: memFree=30897872/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=29316 CPUtime=0.2 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 1193 0 0 0 20 0 0 0 20 0 1 0 37915512 30019584 1000 18446744073709551615 4194304 7396336 140726361495824 140726361486520 140445123347024 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7329 1000 724 782 0 345 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29316
[startup+0.700222 s]
/proc/loadavg: 2.08 2.06 2.05 3/180 25888
/proc/meminfo: memFree=30897872/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=30520 CPUtime=0.6 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 1553 0 0 0 60 0 0 0 20 0 1 0 37915512 31252480 1330 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5686674 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1330 754 782 0 646 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 30520
[startup+1.50022 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 25889
/proc/meminfo: memFree=30895616/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=30520 CPUtime=1.4 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 1553 0 0 0 140 0 0 0 20 0 1 0 37915512 31252480 1330 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4257837 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1330 754 782 0 646 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 30520
[startup+3.10022 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 25889
/proc/meminfo: memFree=30895244/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=30520 CPUtime=3 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 2033 0 0 0 300 0 0 0 20 0 1 0 37915512 31252480 1395 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4379138 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1395 760 782 0 646 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 30520
[startup+6.30022 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 25890
/proc/meminfo: memFree=30895412/32770624 swapFree=0/479688
[pid=25888] ppid=25885 vsize=30520 CPUtime=6.2 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 2512 0 0 0 620 0 0 0 20 0 1 0 37915512 31252480 1395 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5575964 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1395 760 782 0 646 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 30520
[startup+12.7002 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 25890
/proc/meminfo: memFree=30895024/32770624 swapFree=0/479680
[pid=25888] ppid=25885 vsize=30520 CPUtime=12.6 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 2991 0 0 0 1260 0 0 0 20 0 1 0 37915512 31252480 1395 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685788 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1395 760 782 0 646 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 30520
[startup+25.5003 s]
/proc/loadavg: 1.98 2.04 2.04 3/181 25890
/proc/meminfo: memFree=30895196/32770624 swapFree=0/479684
[pid=25888] ppid=25885 vsize=30520 CPUtime=25.4 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 3949 0 0 0 2540 0 0 0 20 0 1 0 37915512 31252480 1395 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4379153 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1395 760 782 0 646 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 30520
[startup+51.1003 s]
/proc/loadavg: 1.99 2.03 2.04 3/181 25890
/proc/meminfo: memFree=30895272/32770624 swapFree=0/479680
[pid=25888] ppid=25885 vsize=30520 CPUtime=51.01 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 4428 0 0 0 5101 0 0 0 20 0 1 0 37915512 31252480 1395 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4379197 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7630 1395 760 782 0 646 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 30520
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 25907
/proc/meminfo: memFree=30889600/32770624 swapFree=0/479700
[pid=25888] ppid=25885 vsize=30652 CPUtime=102.22 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 4927 0 0 0 10222 0 0 0 20 0 1 0 37915512 31387648 1402 18446744073709551615 4194304 7396336 140726361495824 140726361490216 4406628 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7663 1402 760 782 0 679 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 30652
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/185 25909
/proc/meminfo: memFree=30888984/32770624 swapFree=0/479716
[pid=25888] ppid=25885 vsize=30652 CPUtime=162.22 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 5440 0 0 0 16222 0 0 0 20 0 1 0 37915512 31387648 1413 18446744073709551615 4194304 7396336 140726361495824 140726361490216 4320593 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7663 1413 760 782 0 679 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 30652
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.04 3/182 25911
/proc/meminfo: memFree=30892800/32770624 swapFree=0/479724
[pid=25888] ppid=25885 vsize=30652 CPUtime=222.23 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 5964 0 0 0 22223 0 0 0 20 0 1 0 37915512 31387648 1426 18446744073709551615 4194304 7396336 140726361495824 140726361490216 4406518 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7663 1426 760 782 0 679 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30652
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 25913
/proc/meminfo: memFree=30893664/32770624 swapFree=0/479724
[pid=25888] ppid=25885 vsize=30652 CPUtime=282.23 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 5966 0 0 0 28223 0 0 0 20 0 1 0 37915512 31387648 1426 18446744073709551615 4194304 7396336 140726361495824 140726361490216 5686671 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7663 1426 760 782 0 679 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30652
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 25915
/proc/meminfo: memFree=30893788/32770624 swapFree=0/479732
[pid=25888] ppid=25885 vsize=30652 CPUtime=342.24 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 6486 0 0 0 34224 0 0 0 20 0 1 0 37915512 31387648 1430 18446744073709551615 4194304 7396336 140726361495824 140726361490216 4408726 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7663 1430 760 782 0 679 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 30652
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25917
/proc/meminfo: memFree=30894300/32770624 swapFree=0/479756
[pid=25888] ppid=25885 vsize=30784 CPUtime=402.24 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 6496 0 0 0 40224 0 0 0 20 0 1 0 37915512 31522816 1430 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4581650 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1430 760 782 0 712 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 30784
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25919
/proc/meminfo: memFree=30894548/32770624 swapFree=0/479772
[pid=25888] ppid=25885 vsize=30784 CPUtime=462.25 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 7027 0 0 0 46225 0 0 0 20 0 1 0 37915512 31522816 1439 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4406518 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1439 760 782 0 712 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 30784
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25921
/proc/meminfo: memFree=30895156/32770624 swapFree=0/479788
[pid=25888] ppid=25885 vsize=30784 CPUtime=522.25 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 7030 0 0 0 52225 0 0 0 20 0 1 0 37915512 31522816 1439 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4249696 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1439 760 782 0 712 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 30784
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 25923
/proc/meminfo: memFree=30895104/32770624 swapFree=0/479796
[pid=25888] ppid=25885 vsize=30784 CPUtime=582.26 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 7561 0 0 0 58226 0 0 0 20 0 1 0 37915512 31522816 1446 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4406677 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1446 760 782 0 712 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 30784
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 25990
/proc/meminfo: memFree=30894224/32770624 swapFree=0/479992
[pid=25888] ppid=25885 vsize=30784 CPUtime=1662.38 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 12452 0 0 0 166238 0 0 0 20 0 1 0 37915512 31522816 1458 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4407064 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1458 760 782 0 712 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 30784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 25992
/proc/meminfo: memFree=30894100/32770624 swapFree=0/480004
[pid=25888] ppid=25885 vsize=30784 CPUtime=1722.38 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 12459 0 0 0 172238 0 0 0 20 0 1 0 37915512 31522816 1458 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4406456 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1458 760 782 0 712 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 30784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 25994
/proc/meminfo: memFree=30893728/32770624 swapFree=0/480020
[pid=25888] ppid=25885 vsize=30784 CPUtime=1782.39 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 13002 0 0 0 178239 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685068 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 30784
[startup+1842.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 25996
/proc/meminfo: memFree=30893728/32770624 swapFree=0/480016
[pid=25888] ppid=25885 vsize=30784 CPUtime=1842.39 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 13002 0 0 0 184239 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685784 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 30784
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 26013
/proc/meminfo: memFree=30889556/32770624 swapFree=0/480036
[pid=25888] ppid=25885 vsize=30784 CPUtime=1902.4 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 13544 0 0 0 190240 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5686397 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 30784
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 26015
/proc/meminfo: memFree=30889668/32770624 swapFree=0/480060
[pid=25888] ppid=25885 vsize=30784 CPUtime=1962.41 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 13545 0 0 0 196241 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685068 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 30784
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26017
/proc/meminfo: memFree=30892020/32770624 swapFree=0/480076
[pid=25888] ppid=25885 vsize=30784 CPUtime=2022.41 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 14088 0 0 0 202241 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4406471 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 30784
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26019
/proc/meminfo: memFree=30892080/32770624 swapFree=0/480088
[pid=25888] ppid=25885 vsize=30784 CPUtime=2082.42 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 14088 0 0 0 208242 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4581746 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 30784
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 26021
/proc/meminfo: memFree=30892328/32770624 swapFree=0/480120
[pid=25888] ppid=25885 vsize=30784 CPUtime=2142.42 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 14637 0 0 0 214242 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685043 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 30784
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 26023
/proc/meminfo: memFree=30893072/32770624 swapFree=0/480128
[pid=25888] ppid=25885 vsize=30784 CPUtime=2202.44 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 14638 0 0 0 220244 0 0 0 20 0 1 0 37915512 31522816 1460 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4581576 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1460 760 782 0 712 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 30784
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26085
/proc/meminfo: memFree=31347140/32770624 swapFree=0/480156
[pid=25888] ppid=25885 vsize=30784 CPUtime=2262.44 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 15183 0 0 0 226244 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4257799 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 30784
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 26087
/proc/meminfo: memFree=31347392/32770624 swapFree=0/480148
[pid=25888] ppid=25885 vsize=30784 CPUtime=2322.44 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 15183 0 0 0 232244 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4319864 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 30784
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26089
/proc/meminfo: memFree=31347144/32770624 swapFree=0/480168
[pid=25888] ppid=25885 vsize=30784 CPUtime=2382.45 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 15728 0 0 0 238245 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685068 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2382.45
Current children cumulated vsize (KiB) 30784
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26091
/proc/meminfo: memFree=31347264/32770624 swapFree=0/480184
[pid=25888] ppid=25885 vsize=30784 CPUtime=2442.46 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 15728 0 0 0 244246 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 5685040 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2442.46
Current children cumulated vsize (KiB) 30784
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26107
/proc/meminfo: memFree=31343752/32770624 swapFree=0/480204
[pid=25888] ppid=25885 vsize=30784 CPUtime=2502.46 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 16273 0 0 0 250246 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4257711 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2502.46
Current children cumulated vsize (KiB) 30784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26108
/proc/meminfo: memFree=31343284/32770624 swapFree=0/480240
[pid=25888] ppid=25885 vsize=30784 CPUtime=2520.06 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 16273 0 0 0 252006 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4379138 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 30784
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 25888 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26108
/proc/meminfo: memFree=31343284/32770624 swapFree=0/480240
[pid=25888] ppid=25885 vsize=30784 CPUtime=2520.06 cores=1,3,5,7
/proc/25888/stat : 25888 (MistralXCSP) R 25885 25888 4057 0 -1 4202496 16273 0 0 0 252006 0 0 0 20 0 1 0 37915512 31522816 1461 18446744073709551615 4194304 7396336 140726361495824 140726361490264 4379138 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 36724736 140726361498036 140726361498185 140726361498185 140726361501641 0
/proc/25888/statm: 7696 1461 760 782 0 712 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 30784
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.005
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 30784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.005
maximum resident set size= 5864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16308
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= 6
involuntary context switches= 693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0183 second user time and 8.35778 second system time
The end