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-4241213-1500650584/watcher-4241213-1500650584 -o /tmp/evaluation-result-4241213-1500650584/solver-4241213-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2478 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 435707687 HOME/instance-4241213-1500650584.xml
pid=2725
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: 2.06 2.03 1.88 2/242 2728
/proc/meminfo: memFree=32045576/32770624 swapFree=5956/210648
[pid=2728] ppid=2725 vsize=6912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) D 2725 2728 2447 0 -1 1077936128 169 0 0 0 0 0 0 0 20 0 1 0 326040 7077888 36 33554432000 4194304 7402444 140734438660944 140734438658184 139896898963143 0 0 4096 0 18446744072101600804 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 1728 36 26 784 0 40 0
[startup+0.100132 s]
/proc/loadavg: 2.06 2.03 1.88 2/242 2728
/proc/meminfo: memFree=32045576/32770624 swapFree=5956/210648
[pid=2728] ppid=2725 vsize=28996 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 1008 0 0 0 7 0 0 0 20 0 1 0 326040 29691904 802 33554432000 4194304 7402444 140734438660944 140734438654184 6143796 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 7249 802 631 784 0 263 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28996
[startup+0.200279 s]
/proc/loadavg: 2.06 2.03 1.88 2/242 2728
/proc/meminfo: memFree=32045576/32770624 swapFree=5956/210648
[pid=2728] ppid=2725 vsize=29324 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 1178 0 0 0 17 0 0 0 20 0 1 0 326040 30027776 1000 33554432000 4194304 7402444 140734438660944 140734438650720 5906457 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 7331 1000 726 784 0 345 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 29324
[startup+0.300211 s]
/proc/loadavg: 2.06 2.03 1.88 2/242 2728
/proc/meminfo: memFree=32045576/32770624 swapFree=5956/210648
[pid=2728] ppid=2725 vsize=29760 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 1287 0 0 0 27 0 0 0 20 0 1 0 326040 30474240 1108 33554432000 4194304 7402444 140734438660944 140734438651528 5929176 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 7440 1108 728 784 0 454 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 29760
[startup+0.700229 s]
/proc/loadavg: 2.06 2.03 1.88 2/242 2728
/proc/meminfo: memFree=32045576/32770624 swapFree=5956/210648
[pid=2728] ppid=2725 vsize=31392 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 1698 0 0 0 66 0 0 0 20 0 1 0 326040 32145408 1526 33554432000 4194304 7402444 140734438660944 140734438651688 6047504 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 7848 1526 728 784 0 862 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 31392
[startup+1.50018 s]
/proc/loadavg: 1.97 2.01 1.87 3/249 2744
/proc/meminfo: memFree=32029340/32770624 swapFree=5956/210424
[pid=2728] ppid=2725 vsize=34772 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 2634 0 0 0 146 0 0 0 20 0 1 0 326040 35606528 2350 33554432000 4194304 7402444 140734438660944 140734438651608 139896885016761 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 8693 2350 728 784 0 1707 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34772
[startup+3.10019 s]
/proc/loadavg: 1.97 2.01 1.87 3/249 2744
/proc/meminfo: memFree=32019188/32770624 swapFree=5956/210432
[pid=2728] ppid=2725 vsize=44912 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 7319 0 0 0 306 0 0 0 20 0 1 0 326040 45989888 4920 33554432000 4194304 7402444 140734438660944 140734438651832 139896884720806 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 11228 4920 728 784 0 4242 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 44912
[startup+6.30019 s]
/proc/loadavg: 1.98 2.01 1.87 3/249 2744
/proc/meminfo: memFree=31964840/32770624 swapFree=5956/210460
[pid=2728] ppid=2725 vsize=54156 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 10353 0 0 0 625 1 0 0 20 0 1 0 326040 55455744 7195 33554432000 4194304 7402444 140734438660944 140734438651608 6030113 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 13539 7195 728 784 0 6553 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 54156
[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 1.87 3/249 2744
/proc/meminfo: memFree=31870984/32770624 swapFree=5956/210460
[pid=2728] ppid=2725 vsize=132120 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 32519 0 0 0 1262 3 0 0 20 0 1 0 326040 135290880 26716 33554432000 4194304 7402444 140734438660944 140734438655224 5758807 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 33030 26716 766 784 0 26044 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 132120
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 1.88 3/249 2744
/proc/meminfo: memFree=31834940/32770624 swapFree=5956/210488
[pid=2728] ppid=2725 vsize=165588 CPUtime=25.44 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 81946 0 0 0 2537 7 0 0 20 0 1 0 326040 169562112 35100 33554432000 4194304 7402444 140734438660944 140734438655224 5758711 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 41397 35100 766 784 0 34411 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 165588
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 1.88 3/249 2744
/proc/meminfo: memFree=31813588/32770624 swapFree=5956/210500
[pid=2728] ppid=2725 vsize=183012 CPUtime=50.99 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 104921 0 0 0 5091 8 0 0 20 0 1 0 326040 187404288 39465 33554432000 4194304 7402444 140734438660944 140734438655240 5877531 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 45753 39465 766 784 0 38767 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 183012
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 1.89 3/249 2745
/proc/meminfo: memFree=31799168/32770624 swapFree=5956/210544
[pid=2728] ppid=2725 vsize=196344 CPUtime=102.13 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 118084 0 0 0 10204 9 0 0 20 0 1 0 326040 201056256 42845 33554432000 4194304 7402444 140734438660944 140734438655224 4248742 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 49086 42845 766 784 0 42100 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 196344
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.90 3/248 2747
/proc/meminfo: memFree=31793452/32770624 swapFree=5956/210592
[pid=2728] ppid=2725 vsize=202284 CPUtime=162.06 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 120183 0 0 0 16197 9 0 0 20 0 1 0 326040 207138816 44260 33554432000 4194304 7402444 140734438660944 140734438655384 4747338 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 50571 44260 766 784 0 43585 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 202284
[startup+222.309 s]
/proc/loadavg: 2.01 2.03 1.90 3/248 2748
/proc/meminfo: memFree=31792092/32770624 swapFree=5956/210620
[pid=2728] ppid=2725 vsize=204000 CPUtime=222.02 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 122692 0 0 0 22193 9 0 0 20 0 1 0 326040 208896000 44698 33554432000 4194304 7402444 140734438660944 140734438655224 4747338 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 51000 44698 766 784 0 44014 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 204000
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/248 2749
/proc/meminfo: memFree=31790828/32770624 swapFree=5956/210668
[pid=2728] ppid=2725 vsize=205056 CPUtime=281.96 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 125648 0 0 0 28187 9 0 0 20 0 1 0 326040 209977344 44983 33554432000 4194304 7402444 140734438660944 140734438655224 5877640 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 51264 44983 766 784 0 44278 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 205056
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.92 3/243 2751
/proc/meminfo: memFree=31789192/32770624 swapFree=5956/210692
[pid=2728] ppid=2725 vsize=206640 CPUtime=341.9 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 126751 0 0 0 34181 9 0 0 20 0 1 0 326040 211599360 45387 33554432000 4194304 7402444 140734438660944 140734438655224 5758807 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 51660 45387 766 784 0 44674 0
Current children cumulated CPU time (s) 341.9
Current children cumulated vsize (KiB) 206640
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/243 2752
/proc/meminfo: memFree=31787376/32770624 swapFree=5956/210728
[pid=2728] ppid=2725 vsize=208356 CPUtime=401.85 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 128453 0 0 0 40176 9 0 0 20 0 1 0 326040 213356544 45831 33554432000 4194304 7402444 140734438660944 140734438655400 5758807 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 52089 45831 766 784 0 45103 0
Current children cumulated CPU time (s) 401.85
Current children cumulated vsize (KiB) 208356
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/243 2760
/proc/meminfo: memFree=31786372/32770624 swapFree=5956/210768
[pid=2728] ppid=2725 vsize=209280 CPUtime=461.8 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 130280 0 0 0 46171 9 0 0 20 0 1 0 326040 214302720 46020 33554432000 4194304 7402444 140734438660944 140734438655240 5877540 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 52320 46020 766 784 0 45334 0
Current children cumulated CPU time (s) 461.8
Current children cumulated vsize (KiB) 209280
[startup+522.3 s]
/proc/loadavg: 2.09 2.05 1.95 3/243 2761
/proc/meminfo: memFree=31784024/32770624 swapFree=5956/210800
[pid=2728] ppid=2725 vsize=210732 CPUtime=521.76 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 132540 0 0 0 52166 10 0 0 20 0 1 0 326040 215789568 46414 33554432000 4194304 7402444 140734438660944 140734438655224 5878897 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 52683 46414 766 784 0 45697 0
Current children cumulated CPU time (s) 521.76
Current children cumulated vsize (KiB) 210732
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 1.96 3/243 2762
/proc/meminfo: memFree=31783836/32770624 swapFree=5956/210832
[pid=2728] ppid=2725 vsize=210996 CPUtime=581.71 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 133176 0 0 0 58161 10 0 0 20 0 1 0 326040 216059904 46455 33554432000 4194304 7402444 140734438660944 140734438655224 5877690 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 52749 46455 766 784 0 45763 0
Current children cumulated CPU time (s) 581.71
Current children cumulated vsize (KiB) 210996
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/243 2785
/proc/meminfo: memFree=31779348/32770624 swapFree=5800/211320
[pid=2728] ppid=2725 vsize=214296 CPUtime=1540.92 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 145966 0 0 0 154081 11 0 0 20 0 1 0 326040 219439104 47298 33554432000 4194304 7402444 140734438660944 140734438655224 5750496 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53574 47298 766 784 0 46588 0
Current children cumulated CPU time (s) 1540.92
Current children cumulated vsize (KiB) 214296
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/243 2786
/proc/meminfo: memFree=31779640/32770624 swapFree=5800/211356
[pid=2728] ppid=2725 vsize=214428 CPUtime=1600.87 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 146410 0 0 0 160076 11 0 0 20 0 1 0 326040 219574272 47337 33554432000 4194304 7402444 140734438660944 140734438655224 5877540 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53607 47337 766 784 0 46621 0
Current children cumulated CPU time (s) 1600.87
Current children cumulated vsize (KiB) 214428
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 2795
/proc/meminfo: memFree=31779332/32770624 swapFree=5800/211356
[pid=2728] ppid=2725 vsize=214560 CPUtime=1660.82 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 146936 0 0 0 166071 11 0 0 20 0 1 0 326040 219709440 47385 33554432000 4194304 7402444 140734438660944 140734438655288 4248787 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53640 47385 766 784 0 46654 0
Current children cumulated CPU time (s) 1660.82
Current children cumulated vsize (KiB) 214560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 2796
/proc/meminfo: memFree=31778936/32770624 swapFree=5800/211384
[pid=2728] ppid=2725 vsize=214560 CPUtime=1720.77 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 147421 0 0 0 172066 11 0 0 20 0 1 0 326040 219709440 47397 33554432000 4194304 7402444 140734438660944 140734438655288 5758845 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53640 47397 766 784 0 46654 0
Current children cumulated CPU time (s) 1720.77
Current children cumulated vsize (KiB) 214560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 2797
/proc/meminfo: memFree=31778700/32770624 swapFree=5800/211412
[pid=2728] ppid=2725 vsize=214692 CPUtime=1780.72 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 147945 0 0 0 178061 11 0 0 20 0 1 0 326040 219844608 47413 33554432000 4194304 7402444 140734438660944 140734438655224 5877690 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53673 47413 766 784 0 46687 0
Current children cumulated CPU time (s) 1780.72
Current children cumulated vsize (KiB) 214692
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/244 2798
/proc/meminfo: memFree=31778048/32770624 swapFree=5800/211444
[pid=2728] ppid=2725 vsize=214692 CPUtime=1840.67 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 148459 0 0 0 184056 11 0 0 20 0 1 0 326040 219844608 47413 33554432000 4194304 7402444 140734438660944 140734438655224 5878051 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53673 47413 766 784 0 46687 0
Current children cumulated CPU time (s) 1840.67
Current children cumulated vsize (KiB) 214692
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/244 2799
/proc/meminfo: memFree=31779112/32770624 swapFree=5800/211480
[pid=2728] ppid=2725 vsize=214692 CPUtime=1900.62 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 148991 0 0 0 190051 11 0 0 20 0 1 0 326040 219844608 47421 33554432000 4194304 7402444 140734438660944 140734438655224 5758830 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53673 47421 766 784 0 46687 0
Current children cumulated CPU time (s) 1900.62
Current children cumulated vsize (KiB) 214692
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 2801
/proc/meminfo: memFree=31779236/32770624 swapFree=5800/211520
[pid=2728] ppid=2725 vsize=214692 CPUtime=1960.58 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 149518 0 0 0 196047 11 0 0 20 0 1 0 326040 219844608 47439 33554432000 4194304 7402444 140734438660944 140734438655224 4747723 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53673 47439 766 784 0 46687 0
Current children cumulated CPU time (s) 1960.58
Current children cumulated vsize (KiB) 214692
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/243 2802
/proc/meminfo: memFree=31779572/32770624 swapFree=5800/211548
[pid=2728] ppid=2725 vsize=214824 CPUtime=2020.53 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 150059 0 0 0 202042 11 0 0 20 0 1 0 326040 219979776 47439 33554432000 4194304 7402444 140734438660944 140734438655224 5758845 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53706 47439 766 784 0 46720 0
Current children cumulated CPU time (s) 2020.53
Current children cumulated vsize (KiB) 214824
[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/243 2803
/proc/meminfo: memFree=31777460/32770624 swapFree=5800/211580
[pid=2728] ppid=2725 vsize=214824 CPUtime=2080.49 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 150610 0 0 0 208038 11 0 0 20 0 1 0 326040 219979776 47446 33554432000 4194304 7402444 140734438660944 140734438655224 4238492 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53706 47446 766 784 0 46720 0
Current children cumulated CPU time (s) 2080.49
Current children cumulated vsize (KiB) 214824
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/243 2805
/proc/meminfo: memFree=31777900/32770624 swapFree=5800/211584
[pid=2728] ppid=2725 vsize=215088 CPUtime=2140.43 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 151220 0 0 0 214032 11 0 0 20 0 1 0 326040 220250112 47502 33554432000 4194304 7402444 140734438660944 140734438655224 5877540 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47502 766 784 0 46786 0
Current children cumulated CPU time (s) 2140.43
Current children cumulated vsize (KiB) 215088
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 2806
/proc/meminfo: memFree=31778932/32770624 swapFree=5800/211636
[pid=2728] ppid=2725 vsize=215088 CPUtime=2200.39 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 151823 0 0 0 220028 11 0 0 20 0 1 0 326040 220250112 47515 33554432000 4194304 7402444 140734438660944 140734438655224 5878051 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47515 766 784 0 46786 0
Current children cumulated CPU time (s) 2200.39
Current children cumulated vsize (KiB) 215088
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 2814
/proc/meminfo: memFree=31778820/32770624 swapFree=5800/211684
[pid=2728] ppid=2725 vsize=215088 CPUtime=2260.33 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 152426 0 0 0 226022 11 0 0 20 0 1 0 326040 220250112 47515 33554432000 4194304 7402444 140734438660944 140734438655224 5758807 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47515 766 784 0 46786 0
Current children cumulated CPU time (s) 2260.33
Current children cumulated vsize (KiB) 215088
[startup+2322.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/243 2837
/proc/meminfo: memFree=31776460/32770624 swapFree=5800/211700
[pid=2728] ppid=2725 vsize=215088 CPUtime=2320.28 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 153036 0 0 0 232017 11 0 0 20 0 1 0 326040 220250112 47515 33554432000 4194304 7402444 140734438660944 140734438655224 5878051 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47515 766 784 0 46786 0
Current children cumulated CPU time (s) 2320.28
Current children cumulated vsize (KiB) 215088
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777344/32770624 swapFree=5800/211732
[pid=2728] ppid=2725 vsize=215088 CPUtime=2380.24 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 153641 0 0 0 238013 11 0 0 20 0 1 0 326040 220250112 47517 33554432000 4194304 7402444 140734438660944 140734438655224 5877644 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47517 766 784 0 46786 0
Current children cumulated CPU time (s) 2380.24
Current children cumulated vsize (KiB) 215088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777592/32770624 swapFree=5800/211736
[pid=2728] ppid=2725 vsize=215088 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 154228 0 0 0 239991 11 0 0 20 0 1 0 326040 220250112 47517 33554432000 4194304 7402444 140734438660944 140734438655224 5878051 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47517 766 784 0 46786 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 215088
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 2728 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2402.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777592/32770624 swapFree=5800/211736
[pid=2728] ppid=2725 vsize=215088 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/2728/stat : 2728 (MistralXCSP) R 2725 2728 2447 0 -1 4202496 154228 0 0 0 239991 11 0 0 20 0 1 0 326040 220250112 47517 33554432000 4194304 7402444 140734438660944 140734438655224 5878051 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 22577152 140734438667433 140734438667582 140734438667582 140734438670281 0
/proc/2728/statm: 53772 47517 766 784 0 46786 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 215088
Child status: 0
Real time (s): 2402.1
CPU time (s): 2400.03
CPU user time (s): 2399.91
CPU system time (s): 0.117902
CPU usage (%): 99.9139
Max. virtual memory (cumulated for all children) (KiB): 215088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.92
system time used= 0.117902
maximum resident set size= 190092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154266
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= 94
involuntary context switches= 120998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30104 second user time and 13.0307 second system time
The end