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-4241162-1500648185/watcher-4241162-1500648185 -o /tmp/evaluation-result-4241162-1500648185/solver-4241162-1500648185 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9855 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 209483419 HOME/instance-4241162-1500648185.xml
pid=9953
running on 8 cores: 0,2,4,6,8,10,12,14
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: 0.00 0.04 0.08 3/249 9956
/proc/meminfo: memFree=32029528/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=29200 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1087 0 0 0 1 0 0 0 20 0 1 0 87475 29900800 867 33554432000 4194304 7402444 140731231600496 140731231593736 5883687 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7300 867 618 784 0 314 0
[startup+0.100138 s]
/proc/loadavg: 0.00 0.04 0.08 3/249 9956
/proc/meminfo: memFree=32029528/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=29324 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1196 0 0 0 9 0 0 0 20 0 1 0 87475 30027776 1024 33554432000 4194304 7402444 140731231600496 140731231591160 140588682392879 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7331 1024 721 784 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29324
[startup+0.200307 s]
/proc/loadavg: 0.00 0.04 0.08 3/249 9956
/proc/meminfo: memFree=32029528/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=29448 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1224 0 0 0 19 0 0 0 20 0 1 0 87475 30154752 1055 33554432000 4194304 7402444 140731231600496 140731231591160 140588681649125 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7362 1055 721 784 0 376 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29448
[startup+0.300278 s]
/proc/loadavg: 0.00 0.04 0.08 3/249 9956
/proc/meminfo: memFree=32029528/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=29584 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1258 0 0 0 29 0 0 0 20 0 1 0 87475 30294016 1055 33554432000 4194304 7402444 140731231600496 140731231591192 140588681649125 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7396 1055 721 784 0 410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29584
[startup+0.700239 s]
/proc/loadavg: 0.00 0.04 0.08 3/249 9956
/proc/meminfo: memFree=32029528/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=31584 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1833 0 0 0 69 0 0 0 20 0 1 0 87475 32342016 1648 33554432000 4194304 7402444 140731231600496 140731231594728 4747334 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7896 1648 770 784 0 910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31584
[startup+1.50026 s]
/proc/loadavg: 0.16 0.07 0.09 3/250 9957
/proc/meminfo: memFree=32025032/32770624 swapFree=5956/197528
[pid=9956] ppid=9953 vsize=31996 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 1941 0 0 0 149 0 0 0 20 0 1 0 87475 32763904 1714 33554432000 4194304 7402444 140731231600496 140731231594792 5878671 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 7999 1714 770 784 0 1013 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31996
[startup+3.10032 s]
/proc/loadavg: 0.16 0.07 0.09 3/250 9957
/proc/meminfo: memFree=32024976/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=32128 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 2779 0 0 0 309 0 0 0 20 0 1 0 87475 32899072 1781 33554432000 4194304 7402444 140731231600496 140731231594728 4238480 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 8032 1781 770 784 0 1046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32128
[startup+6.30028 s]
/proc/loadavg: 0.31 0.10 0.10 3/250 9957
/proc/meminfo: memFree=32023768/32770624 swapFree=5956/197508
[pid=9956] ppid=9953 vsize=36092 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 4646 0 0 0 629 0 0 0 20 0 1 0 87475 36958208 2719 33554432000 4194304 7402444 140731231600496 140731231594744 5758845 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9023 2719 770 784 0 2037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36092
[startup+12.7003 s]
/proc/loadavg: 0.45 0.13 0.11 3/250 9957
/proc/meminfo: memFree=32021364/32770624 swapFree=5956/197516
[pid=9956] ppid=9953 vsize=36356 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 6611 0 0 0 1269 0 0 0 20 0 1 0 87475 37228544 2864 33554432000 4194304 7402444 140731231600496 140731231594744 5878232 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9089 2864 770 784 0 2103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36356
[startup+25.5004 s]
/proc/loadavg: 0.68 0.19 0.13 3/250 9957
/proc/meminfo: memFree=32020508/32770624 swapFree=5956/197524
[pid=9956] ppid=9953 vsize=36484 CPUtime=25.5 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 8909 0 0 0 2549 1 0 0 20 0 1 0 87475 37359616 2866 33554432000 4194304 7402444 140731231600496 140731231595512 4237728 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2866 770 784 0 2135 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 36484
[startup+51.1004 s]
/proc/loadavg: 1.20 0.37 0.19 3/250 9960
/proc/meminfo: memFree=32012468/32770624 swapFree=5956/198212
[pid=9956] ppid=9953 vsize=36484 CPUtime=51.1 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 9322 0 0 0 5109 1 0 0 20 0 1 0 87475 37359616 2867 33554432000 4194304 7402444 140731231600496 140731231595512 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2867 770 784 0 2135 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 36484
[startup+102.3 s]
/proc/loadavg: 1.65 0.62 0.28 3/250 9961
/proc/meminfo: memFree=32012304/32770624 swapFree=5956/198252
[pid=9956] ppid=9953 vsize=36484 CPUtime=102.31 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 9739 0 0 0 10230 1 0 0 20 0 1 0 87475 37359616 2867 33554432000 4194304 7402444 140731231600496 140731231595512 5758711 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2867 770 784 0 2135 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 36484
[startup+162.3 s]
/proc/loadavg: 1.93 0.89 0.40 3/249 9962
/proc/meminfo: memFree=32012732/32770624 swapFree=5956/198280
[pid=9956] ppid=9953 vsize=36484 CPUtime=162.31 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 10165 0 0 0 16230 1 0 0 20 0 1 0 87475 37359616 2870 33554432000 4194304 7402444 140731231600496 140731231595512 5878269 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2870 770 784 0 2135 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 36484
[startup+222.308 s]
/proc/loadavg: 1.97 1.09 0.50 3/249 9963
/proc/meminfo: memFree=32013888/32770624 swapFree=5956/198328
[pid=9956] ppid=9953 vsize=36484 CPUtime=222.32 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 10604 0 0 0 22231 1 0 0 20 0 1 0 87475 37359616 2889 33554432000 4194304 7402444 140731231600496 140731231595512 4529217 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2889 770 784 0 2135 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 36484
[startup+282.3 s]
/proc/loadavg: 1.99 1.25 0.59 3/249 9964
/proc/meminfo: memFree=32013884/32770624 swapFree=5956/198368
[pid=9956] ppid=9953 vsize=36484 CPUtime=282.31 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 11043 0 0 0 28230 1 0 0 20 0 1 0 87475 37359616 2889 33554432000 4194304 7402444 140731231600496 140731231595512 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2889 770 784 0 2135 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 36484
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.68 3/244 9965
/proc/meminfo: memFree=32014624/32770624 swapFree=5956/198400
[pid=9956] ppid=9953 vsize=36484 CPUtime=342.3 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 11485 0 0 0 34229 1 0 0 20 0 1 0 87475 37359616 2893 33554432000 4194304 7402444 140731231600496 140731231595512 5878648 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2893 770 784 0 2135 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36484
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.76 3/243 9966
/proc/meminfo: memFree=32014224/32770624 swapFree=5956/198436
[pid=9956] ppid=9953 vsize=36484 CPUtime=402.3 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 11918 0 0 0 40229 1 0 0 20 0 1 0 87475 37359616 2896 33554432000 4194304 7402444 140731231600496 140731231595512 140588685084362 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2896 770 784 0 2135 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36484
[startup+462.3 s]
/proc/loadavg: 2.06 1.61 0.84 3/244 9975
/proc/meminfo: memFree=32014436/32770624 swapFree=5956/198468
[pid=9956] ppid=9953 vsize=36484 CPUtime=462.29 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 12351 0 0 0 46228 1 0 0 20 0 1 0 87475 37359616 2896 33554432000 4194304 7402444 140731231600496 140731231595512 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2896 770 784 0 2135 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 36484
[startup+522.3 s]
/proc/loadavg: 2.02 1.68 0.92 3/244 9976
/proc/meminfo: memFree=32014668/32770624 swapFree=5956/198500
[pid=9956] ppid=9953 vsize=36484 CPUtime=522.29 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 12784 0 0 0 52228 1 0 0 20 0 1 0 87475 37359616 2896 33554432000 4194304 7402444 140731231600496 140731231595512 5750496 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2896 770 784 0 2135 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 36484
[startup+582.3 s]
/proc/loadavg: 2.01 1.74 0.98 3/244 9977
/proc/meminfo: memFree=32014884/32770624 swapFree=5956/198524
[pid=9956] ppid=9953 vsize=36484 CPUtime=582.28 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 13217 0 0 0 58227 1 0 0 20 0 1 0 87475 37359616 2896 33554432000 4194304 7402444 140731231600496 140731231595512 5877736 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9121 2896 770 784 0 2135 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 36484
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 1.63 3/243 10023
/proc/meminfo: memFree=32011276/32770624 swapFree=5956/199036
[pid=9956] ppid=9953 vsize=36616 CPUtime=1482.13 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 19833 0 0 0 148212 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231594952 5758807 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1482.13
Current children cumulated vsize (KiB) 36616
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.65 3/243 10024
/proc/meminfo: memFree=32010864/32770624 swapFree=5956/199068
[pid=9956] ppid=9953 vsize=36616 CPUtime=1542.13 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 20274 0 0 0 154212 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231594952 5758711 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 36616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/243 10025
/proc/meminfo: memFree=32011304/32770624 swapFree=5956/199104
[pid=9956] ppid=9953 vsize=36616 CPUtime=1602.11 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 20715 0 0 0 160210 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231594952 4238492 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 36616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/243 10033
/proc/meminfo: memFree=32012044/32770624 swapFree=5956/199148
[pid=9956] ppid=9953 vsize=36616 CPUtime=1662.1 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 21170 0 0 0 166209 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5758736 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 36616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/243 10034
/proc/meminfo: memFree=32011816/32770624 swapFree=5956/199176
[pid=9956] ppid=9953 vsize=36616 CPUtime=1722.09 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 21611 0 0 0 172208 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5878761 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 36616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/243 10035
/proc/meminfo: memFree=32011648/32770624 swapFree=5956/199208
[pid=9956] ppid=9953 vsize=36616 CPUtime=1782.08 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 22052 0 0 0 178207 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5878321 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 36616
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/243 10036
/proc/meminfo: memFree=32012772/32770624 swapFree=5956/199236
[pid=9956] ppid=9953 vsize=36616 CPUtime=1842.07 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 22493 0 0 0 184206 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 4747528 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 36616
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/243 10037
/proc/meminfo: memFree=32011428/32770624 swapFree=5956/199272
[pid=9956] ppid=9953 vsize=36616 CPUtime=1902.06 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 22935 0 0 0 190205 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5758845 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 36616
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/243 10038
/proc/meminfo: memFree=32011268/32770624 swapFree=5956/199304
[pid=9956] ppid=9953 vsize=36616 CPUtime=1962.05 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 23376 0 0 0 196204 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5750759 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 36616
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/243 10039
/proc/meminfo: memFree=32012016/32770624 swapFree=5956/199332
[pid=9956] ppid=9953 vsize=36616 CPUtime=2022.04 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 23817 0 0 0 202203 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 4747176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 36616
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/243 10040
/proc/meminfo: memFree=32011772/32770624 swapFree=5956/199332
[pid=9956] ppid=9953 vsize=36616 CPUtime=2082.03 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 24258 0 0 0 208202 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5878673 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 36616
[startup+2142.3 s]
/proc/loadavg: 2.08 2.02 1.82 3/243 10041
/proc/meminfo: memFree=32011580/32770624 swapFree=5956/199360
[pid=9956] ppid=9953 vsize=36616 CPUtime=2142.01 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 24699 0 0 0 214200 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 4297584 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 36616
[startup+2202.31 s]
/proc/loadavg: 2.03 2.01 1.83 3/243 10042
/proc/meminfo: memFree=32011572/32770624 swapFree=5956/199400
[pid=9956] ppid=9953 vsize=36616 CPUtime=2202.01 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 25140 0 0 0 220200 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5758708 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 36616
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/243 10050
/proc/meminfo: memFree=32011276/32770624 swapFree=5956/199420
[pid=9956] ppid=9953 vsize=36616 CPUtime=2261.99 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 25581 0 0 0 226198 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5878137 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 36616
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/243 10051
/proc/meminfo: memFree=32012260/32770624 swapFree=5956/199448
[pid=9956] ppid=9953 vsize=36616 CPUtime=2321.98 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 25983 0 0 0 232197 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5878640 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 36616
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 10052
/proc/meminfo: memFree=32012172/32770624 swapFree=5956/199480
[pid=9956] ppid=9953 vsize=36616 CPUtime=2381.96 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 26424 0 0 0 238195 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 5758845 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 36616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 10118
/proc/meminfo: memFree=32025808/32770624 swapFree=5956/184572
[pid=9956] ppid=9953 vsize=36616 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/9956/stat : 9956 (MistralXCSP) R 9953 9956 9824 0 -1 4202496 26665 0 0 0 240005 1 0 0 20 0 1 0 87475 37494784 2905 33554432000 4194304 7402444 140731231600496 140731231595512 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 18530304 140731231601833 140731231601982 140731231601982 140731231604681 0
/proc/9956/statm: 9154 2905 770 784 0 2168 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 36616
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 9956 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2400.06
CPU system time (s): 0.013998
CPU usage (%): 99.9862
Max. virtual memory (cumulated for all children) (KiB): 36616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.013998
maximum resident set size= 11644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26703
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= 9
involuntary context switches= 120657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.14187 second user time and 11.1452 second system time
The end