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-4239920-1500623785/watcher-4239920-1500623785 -o /tmp/evaluation-result-4239920-1500623785/solver-4239920-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500623778-3046 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 127381203 HOME/instance-4239920-1500623785.xml
pid=3073
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: 0.00 0.01 0.05 3/187 3076
/proc/meminfo: memFree=30483116/32770624 swapFree=6400/1463836
[pid=3076] ppid=3073 vsize=28944 CPUtime=0 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 15655372 29638656 869 33554432000 4194304 7402444 140728922205472 140728922202520 140175697890277 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7269 869 651 784 0 283 0
[startup+0.100163 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 3076
/proc/meminfo: memFree=30483116/32770624 swapFree=6400/1463836
[pid=3076] ppid=3073 vsize=29208 CPUtime=0.09 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1138 0 0 0 9 0 0 0 20 0 1 0 15655372 29908992 935 33554432000 4194304 7402444 140728922205472 140728922199832 4747314 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 935 677 784 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29208
[startup+0.20029 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 3076
/proc/meminfo: memFree=30483116/32770624 swapFree=6400/1463836
[pid=3076] ppid=3073 vsize=29208 CPUtime=0.19 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1138 0 0 0 19 0 0 0 20 0 1 0 15655372 29908992 935 33554432000 4194304 7402444 140728922205472 140728922199832 4378319 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 935 677 784 0 316 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29208
[startup+0.300262 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 3076
/proc/meminfo: memFree=30483116/32770624 swapFree=6400/1463836
[pid=3076] ppid=3073 vsize=29208 CPUtime=0.29 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1138 0 0 0 29 0 0 0 20 0 1 0 15655372 29908992 935 33554432000 4194304 7402444 140728922205472 140728922199832 4378960 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 935 677 784 0 316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29208
[startup+0.700175 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 3076
/proc/meminfo: memFree=30483116/32770624 swapFree=6400/1463836
[pid=3076] ppid=3073 vsize=29208 CPUtime=0.69 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1138 0 0 0 69 0 0 0 20 0 1 0 15655372 29908992 935 33554432000 4194304 7402444 140728922205472 140728922199832 4378449 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 935 677 784 0 316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29208
[startup+1.50021 s]
/proc/loadavg: 0.00 0.01 0.05 4/185 3109
/proc/meminfo: memFree=30484316/32770624 swapFree=6400/1463788
[pid=3076] ppid=3073 vsize=29208 CPUtime=1.49 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1138 0 0 0 149 0 0 0 20 0 1 0 15655372 29908992 935 33554432000 4194304 7402444 140728922205472 140728922199832 5877767 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 935 677 784 0 316 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29208
[startup+3.10022 s]
/proc/loadavg: 0.00 0.01 0.05 2/183 3146
/proc/meminfo: memFree=30483140/32770624 swapFree=6400/1463252
[pid=3076] ppid=3073 vsize=29208 CPUtime=3.09 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1284 0 0 0 309 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5696144 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29208
[startup+6.30022 s]
/proc/loadavg: 0.08 0.03 0.05 3/188 3199
/proc/meminfo: memFree=30425556/32770624 swapFree=6400/1470228
[pid=3076] ppid=3073 vsize=29208 CPUtime=6.29 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1435 0 0 0 629 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378328 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29208
[startup+12.7002 s]
/proc/loadavg: 0.24 0.06 0.06 3/188 3199
/proc/meminfo: memFree=29254096/32770624 swapFree=6400/1470236
[pid=3076] ppid=3073 vsize=29208 CPUtime=12.69 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1586 0 0 0 1269 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378476 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29208
[startup+25.5003 s]
/proc/loadavg: 0.55 0.14 0.09 3/188 3263
/proc/meminfo: memFree=30454644/32770624 swapFree=6400/1468728
[pid=3076] ppid=3073 vsize=29208 CPUtime=25.49 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 1883 0 0 0 2549 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4379002 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29208
[startup+51.1003 s]
/proc/loadavg: 1.04 0.29 0.14 3/188 3263
/proc/meminfo: memFree=30392164/32770624 swapFree=6400/1468744
[pid=3076] ppid=3073 vsize=29208 CPUtime=51.09 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2039 0 0 0 5109 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377879 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29208
[startup+102.3 s]
/proc/loadavg: 1.58 0.55 0.24 3/188 3265
/proc/meminfo: memFree=30391784/32770624 swapFree=6400/1468804
[pid=3076] ppid=3073 vsize=29208 CPUtime=102.29 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2185 0 0 0 10229 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4747326 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29208
[startup+162.3 s]
/proc/loadavg: 1.90 0.83 0.35 3/188 3266
/proc/meminfo: memFree=30391660/32770624 swapFree=6400/1468828
[pid=3076] ppid=3073 vsize=29208 CPUtime=162.28 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2336 0 0 0 16228 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5698149 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 29208
[startup+222.306 s]
/proc/loadavg: 1.96 1.05 0.45 3/188 3334
/proc/meminfo: memFree=30448504/32770624 swapFree=6400/1469056
[pid=3076] ppid=3073 vsize=29208 CPUtime=222.27 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2482 0 0 0 22227 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5696146 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 29208
[startup+282.3 s]
/proc/loadavg: 1.99 1.22 0.55 3/188 3357
/proc/meminfo: memFree=30447728/32770624 swapFree=6400/1469084
[pid=3076] ppid=3073 vsize=29208 CPUtime=282.26 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2628 0 0 0 28226 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377623 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 29208
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/187 3358
/proc/meminfo: memFree=30447564/32770624 swapFree=6400/1469108
[pid=3076] ppid=3073 vsize=29208 CPUtime=342.25 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2774 0 0 0 34225 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377784 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 29208
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/187 3359
/proc/meminfo: memFree=30447812/32770624 swapFree=6400/1469140
[pid=3076] ppid=3073 vsize=29208 CPUtime=402.25 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 2920 0 0 0 40225 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4709414 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 29208
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/187 3360
/proc/meminfo: memFree=30447936/32770624 swapFree=6400/1469164
[pid=3076] ppid=3073 vsize=29208 CPUtime=462.24 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 3066 0 0 0 46224 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378328 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 29208
[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.88 3/187 3361
/proc/meminfo: memFree=30447936/32770624 swapFree=6400/1469180
[pid=3076] ppid=3073 vsize=29208 CPUtime=522.23 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 3212 0 0 0 52223 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4379707 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 29208
[startup+582.3 s]
/proc/loadavg: 2.00 1.71 0.95 3/187 3362
/proc/meminfo: memFree=30448176/32770624 swapFree=6400/1469204
[pid=3076] ppid=3073 vsize=29208 CPUtime=582.23 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 3358 0 0 0 58223 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377730 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 29208
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.63 3/188 3454
/proc/meminfo: memFree=30447484/32770624 swapFree=6400/1469788
[pid=3076] ppid=3073 vsize=29208 CPUtime=1542.12 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 5699 0 0 0 154212 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378398 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 29208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/188 3455
/proc/meminfo: memFree=30447600/32770624 swapFree=6400/1469824
[pid=3076] ppid=3073 vsize=29208 CPUtime=1602.11 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 5845 0 0 0 160211 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5877772 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 29208
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.69 3/188 3456
/proc/meminfo: memFree=30447720/32770624 swapFree=6400/1469852
[pid=3076] ppid=3073 vsize=29208 CPUtime=1662.1 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 5991 0 0 0 166210 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4240624 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 29208
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.70 3/187 3458
/proc/meminfo: memFree=30448000/32770624 swapFree=6400/1469892
[pid=3076] ppid=3073 vsize=29208 CPUtime=1722.09 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6137 0 0 0 172209 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4379607 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 29208
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.72 3/187 3459
/proc/meminfo: memFree=30448000/32770624 swapFree=6400/1469920
[pid=3076] ppid=3073 vsize=29208 CPUtime=1782.09 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6283 0 0 0 178209 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377727 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 29208
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/187 3460
/proc/meminfo: memFree=30447876/32770624 swapFree=6400/1469948
[pid=3076] ppid=3073 vsize=29208 CPUtime=1842.08 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6429 0 0 0 184208 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4240640 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 29208
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/187 3462
/proc/meminfo: memFree=30447640/32770624 swapFree=6400/1469992
[pid=3076] ppid=3073 vsize=29208 CPUtime=1902.07 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6575 0 0 0 190207 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5696204 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 29208
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/187 3463
/proc/meminfo: memFree=30447640/32770624 swapFree=6400/1470024
[pid=3076] ppid=3073 vsize=29208 CPUtime=1962.06 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6721 0 0 0 196206 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4709390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 29208
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 1.79 3/188 3472
/proc/meminfo: memFree=30446512/32770624 swapFree=6400/1470060
[pid=3076] ppid=3073 vsize=29208 CPUtime=2022.06 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 6867 0 0 0 202206 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4379702 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 29208
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 1.81 3/188 3473
/proc/meminfo: memFree=30447152/32770624 swapFree=6400/1470092
[pid=3076] ppid=3073 vsize=29208 CPUtime=2082.06 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7013 0 0 0 208206 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378333 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 29208
[startup+2142.3 s]
/proc/loadavg: 2.12 2.06 1.83 3/188 3474
/proc/meminfo: memFree=30447384/32770624 swapFree=6400/1470120
[pid=3076] ppid=3073 vsize=29208 CPUtime=2142.04 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7159 0 0 0 214204 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4379591 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 29208
[startup+2202.31 s]
/proc/loadavg: 2.08 2.06 1.85 3/188 3475
/proc/meminfo: memFree=30447492/32770624 swapFree=6400/1470156
[pid=3076] ppid=3073 vsize=29208 CPUtime=2202.04 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7305 0 0 0 220204 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 5696016 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 29208
[startup+2262.3 s]
/proc/loadavg: 2.03 2.05 1.86 3/188 3476
/proc/meminfo: memFree=30447740/32770624 swapFree=6400/1470188
[pid=3076] ppid=3073 vsize=29208 CPUtime=2262.03 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7451 0 0 0 226203 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378296 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 29208
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 1.87 3/187 3477
/proc/meminfo: memFree=30448112/32770624 swapFree=6400/1470216
[pid=3076] ppid=3073 vsize=29208 CPUtime=2322.02 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7597 0 0 0 232202 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4240640 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 29208
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/187 3478
/proc/meminfo: memFree=30447848/32770624 swapFree=6400/1470244
[pid=3076] ppid=3073 vsize=29208 CPUtime=2382.02 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7743 0 0 0 238202 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4378449 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 29208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.03 1.87 3/187 3479
/proc/meminfo: memFree=30447636/32770624 swapFree=6400/1470268
[pid=3076] ppid=3073 vsize=29208 CPUtime=2400.02 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7889 0 0 0 240002 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377920 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 29208
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 3076 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.03 1.87 3/187 3479
/proc/meminfo: memFree=30447636/32770624 swapFree=6400/1470268
[pid=3076] ppid=3073 vsize=29208 CPUtime=2400.02 cores=1,3,5,7
/proc/3076/stat : 3076 (MistralXCSP) R 3073 3076 3014 0 -1 4202496 7889 0 0 0 240002 0 0 0 20 0 1 0 15655372 29908992 971 33554432000 4194304 7402444 140728922205472 140728922199832 4377920 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 38359040 140728922211497 140728922211646 140728922211646 140728922214345 0
/proc/3076/statm: 7302 971 692 784 0 316 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 29208
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.002999
CPU usage (%): 99.9884
Max. virtual memory (cumulated for all children) (KiB): 29208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.002999
maximum resident set size= 3916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7926
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= 120616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.7809 second user time and 8.69226 second system time
The end