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-4240819-1500648173/watcher-4240819-1500648173 -o /tmp/evaluation-result-4240819-1500648173/solver-4240819-1500648173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9858 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 35350229 HOME/instance-4240819-1500648173.xml
pid=9884
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.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9889] ppid=9884 vsize=6912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) D 9884 9889 9826 0 -1 4194304 167 0 1 0 0 0 0 0 20 0 1 0 82196 7077888 36 33554432000 4194304 7402444 140729887162384 140729887159832 140348198845970 0 0 4096 0 18446744071580431491 0 0 17 12 0 0 0 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 1728 36 26 784 0 40 0
[startup+0.100161 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9889] ppid=9884 vsize=32144 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 1806 0 3 0 5 0 0 0 20 0 1 0 82196 32915456 1618 33554432000 4194304 7402444 140729887162384 140729887154104 140348178410469 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 8036 1618 617 784 0 1050 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32144
[startup+0.200337 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9889] ppid=9884 vsize=36744 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 2980 0 3 0 15 0 0 0 20 0 1 0 82196 37625856 2701 33554432000 4194304 7402444 140729887162384 140729887154360 140348178410469 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 9186 2701 617 784 0 2200 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 36744
[startup+0.300267 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9889] ppid=9884 vsize=75248 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 12841 0 3 0 24 1 0 0 20 0 1 0 82196 77053952 12079 33554432000 4194304 7402444 140729887162384 140729887154472 140348178410469 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 18812 12079 621 784 0 11826 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 75248
[startup+0.700269 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9889] ppid=9884 vsize=82820 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 14749 0 3 0 64 2 0 0 20 0 1 0 82196 84807680 13993 33554432000 4194304 7402444 140729887162384 140729887153736 4221536 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 20705 13993 673 784 0 13719 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 82820
[startup+1.5002 s]
/proc/loadavg: 0.08 0.06 0.08 4/247 9893
/proc/meminfo: memFree=31924932/32770624 swapFree=6096/170928
[pid=9889] ppid=9884 vsize=118584 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 23182 0 3 0 143 2 0 0 20 0 1 0 82196 121430016 22952 33554432000 4194304 7402444 140729887162384 140729887153656 4731648 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 29646 22952 684 784 0 22660 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 118584
[startup+3.10021 s]
/proc/loadavg: 0.08 0.06 0.08 4/247 9893
/proc/meminfo: memFree=31871084/32770624 swapFree=6096/170928
[pid=9889] ppid=9884 vsize=171524 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 50238 0 3 0 301 4 0 0 20 0 1 0 82196 175640576 36206 33554432000 4194304 7402444 140729887162384 140729887154040 4731639 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 42881 36206 684 784 0 35895 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 171524
[startup+6.30019 s]
/proc/loadavg: 0.24 0.09 0.09 4/247 9893
/proc/meminfo: memFree=31756856/32770624 swapFree=6096/170972
[pid=9889] ppid=9884 vsize=194216 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 57238 0 3 0 620 5 0 0 20 0 1 0 82196 198877184 41824 33554432000 4194304 7402444 140729887162384 140729887153656 4731648 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 48554 41824 684 784 0 41568 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 194216
[startup+12.7002 s]
/proc/loadavg: 0.38 0.12 0.10 4/247 9893
/proc/meminfo: memFree=31669492/32770624 swapFree=6096/171152
[pid=9889] ppid=9884 vsize=237176 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 70262 0 3 0 1258 7 0 0 20 0 1 0 82196 242868224 52602 33554432000 4194304 7402444 140729887162384 140729887153560 4731632 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 59294 52602 684 784 0 52308 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 237176
[startup+25.5003 s]
/proc/loadavg: 0.74 0.21 0.13 4/247 9893
/proc/meminfo: memFree=31547668/32770624 swapFree=6096/171152
[pid=9889] ppid=9884 vsize=296180 CPUtime=25.45 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 86764 0 3 0 2536 9 0 0 20 0 1 0 82196 303288320 67363 33554432000 4194304 7402444 140729887162384 140729887153656 4731632 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 74045 67363 684 784 0 67059 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 296180
[startup+51.1003 s]
/proc/loadavg: 1.17 0.36 0.18 3/247 9893
/proc/meminfo: memFree=31261332/32770624 swapFree=6096/171184
[pid=9889] ppid=9884 vsize=484512 CPUtime=51.04 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 166757 0 3 0 5087 17 0 0 20 0 1 0 82196 496140288 114513 33554432000 4194304 7402444 140729887162384 140729887153560 4731639 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 121128 114513 684 784 0 114142 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 484512
[startup+102.3 s]
/proc/loadavg: 1.74 0.64 0.29 4/246 9894
/proc/meminfo: memFree=31219484/32770624 swapFree=6096/171184
[pid=9889] ppid=9884 vsize=524928 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 220809 0 3 0 10202 21 0 0 20 0 1 0 82196 537526272 124493 33554432000 4194304 7402444 140729887162384 140729887157560 5327250 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 131232 124493 716 784 0 124246 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 524928
[startup+162.3 s]
/proc/loadavg: 1.90 0.89 0.40 4/247 9898
/proc/meminfo: memFree=31212844/32770624 swapFree=6096/172016
[pid=9889] ppid=9884 vsize=524928 CPUtime=162.19 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 242670 0 3 0 16196 23 0 0 20 0 1 0 82196 537526272 124493 33554432000 4194304 7402444 140729887162384 140729887157560 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 131232 124493 716 784 0 124246 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 524928
[startup+222.309 s]
/proc/loadavg: 1.96 1.09 0.50 4/247 9899
/proc/meminfo: memFree=31211940/32770624 swapFree=6096/172052
[pid=9889] ppid=9884 vsize=526224 CPUtime=222.17 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 252671 0 3 0 22192 25 0 0 20 0 1 0 82196 538853376 124817 33554432000 4194304 7402444 140729887162384 140729887156920 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 131556 124817 716 784 0 124570 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 526224
[startup+282.3 s]
/proc/loadavg: 1.99 1.25 0.59 4/247 9900
/proc/meminfo: memFree=31207344/32770624 swapFree=6096/172080
[pid=9889] ppid=9884 vsize=530888 CPUtime=282.14 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 256035 0 3 0 28189 25 0 0 20 0 1 0 82196 543629312 126207 33554432000 4194304 7402444 140729887162384 140729887156920 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132722 126207 726 784 0 125736 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 530888
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.68 4/244 9901
/proc/meminfo: memFree=31205716/32770624 swapFree=6096/172104
[pid=9889] ppid=9884 vsize=531988 CPUtime=342.12 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 257350 0 3 0 34187 25 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327250 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 531988
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.76 4/244 9902
/proc/meminfo: memFree=31207236/32770624 swapFree=6096/172140
[pid=9889] ppid=9884 vsize=531988 CPUtime=402.1 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 258366 0 3 0 40185 25 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 531988
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.84 4/243 9910
/proc/meminfo: memFree=31206696/32770624 swapFree=6096/172180
[pid=9889] ppid=9884 vsize=531988 CPUtime=462.07 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 259516 0 3 0 46182 25 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 531988
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.91 4/243 9911
/proc/meminfo: memFree=31207480/32770624 swapFree=6096/172204
[pid=9889] ppid=9884 vsize=531988 CPUtime=522.05 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 260428 0 3 0 52180 25 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 531988
[startup+582.3 s]
/proc/loadavg: 2.10 1.76 0.99 4/243 9912
/proc/meminfo: memFree=31208340/32770624 swapFree=6096/172236
[pid=9889] ppid=9884 vsize=531988 CPUtime=582.03 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 261443 0 3 0 58177 26 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 531988
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.65 4/243 9959
/proc/meminfo: memFree=31206384/32770624 swapFree=6096/172720
[pid=9889] ppid=9884 vsize=531988 CPUtime=1541.53 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 272153 0 3 0 154126 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 531988
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.67 4/243 9960
/proc/meminfo: memFree=31206732/32770624 swapFree=6096/172744
[pid=9889] ppid=9884 vsize=531988 CPUtime=1601.49 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 272646 0 3 0 160122 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 4248926 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 531988
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 4/243 9968
/proc/meminfo: memFree=31206688/32770624 swapFree=6096/172780
[pid=9889] ppid=9884 vsize=531988 CPUtime=1661.46 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 273148 0 3 0 166119 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1661.46
Current children cumulated vsize (KiB) 531988
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.71 4/243 9969
/proc/meminfo: memFree=31205152/32770624 swapFree=6096/172812
[pid=9889] ppid=9884 vsize=531988 CPUtime=1721.43 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 273648 0 3 0 172116 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 4249022 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 531988
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/243 9970
/proc/meminfo: memFree=31206548/32770624 swapFree=6096/172836
[pid=9889] ppid=9884 vsize=531988 CPUtime=1781.39 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 274140 0 3 0 178112 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 531988
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/243 9971
/proc/meminfo: memFree=31206260/32770624 swapFree=6096/172864
[pid=9889] ppid=9884 vsize=531988 CPUtime=1841.36 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 274633 0 3 0 184109 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5747605 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1841.36
Current children cumulated vsize (KiB) 531988
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/243 9972
/proc/meminfo: memFree=31206848/32770624 swapFree=6096/172888
[pid=9889] ppid=9884 vsize=531988 CPUtime=1901.33 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 275124 0 3 0 190106 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5746100 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1901.33
Current children cumulated vsize (KiB) 531988
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/243 9973
/proc/meminfo: memFree=31206552/32770624 swapFree=6096/172924
[pid=9889] ppid=9884 vsize=531988 CPUtime=1961.3 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 275615 0 3 0 196103 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 1961.3
Current children cumulated vsize (KiB) 531988
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/243 9974
/proc/meminfo: memFree=31207176/32770624 swapFree=6096/172952
[pid=9889] ppid=9884 vsize=531988 CPUtime=2021.27 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 276106 0 3 0 202100 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2021.27
Current children cumulated vsize (KiB) 531988
[startup+2082.3 s]
/proc/loadavg: 2.13 2.02 1.81 4/243 9975
/proc/meminfo: memFree=31207288/32770624 swapFree=6096/172972
[pid=9889] ppid=9884 vsize=531988 CPUtime=2081.24 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 276597 0 3 0 208097 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327171 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2081.24
Current children cumulated vsize (KiB) 531988
[startup+2142.3 s]
/proc/loadavg: 2.05 2.01 1.82 4/243 9976
/proc/meminfo: memFree=31207544/32770624 swapFree=6096/173004
[pid=9889] ppid=9884 vsize=531988 CPUtime=2141.2 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 277088 0 3 0 214093 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5759138 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2141.2
Current children cumulated vsize (KiB) 531988
[startup+2202.31 s]
/proc/loadavg: 2.02 2.01 1.83 4/243 9977
/proc/meminfo: memFree=31207520/32770624 swapFree=6096/173024
[pid=9889] ppid=9884 vsize=531988 CPUtime=2201.17 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 277578 0 3 0 220090 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 4239179 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2201.17
Current children cumulated vsize (KiB) 531988
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.85 4/243 9985
/proc/meminfo: memFree=31206716/32770624 swapFree=6096/173068
[pid=9889] ppid=9884 vsize=531988 CPUtime=2261.14 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 278070 0 3 0 226087 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 4747338 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2261.14
Current children cumulated vsize (KiB) 531988
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/243 9986
/proc/meminfo: memFree=31205464/32770624 swapFree=6096/173092
[pid=9889] ppid=9884 vsize=531988 CPUtime=2321.1 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 278566 0 3 0 232083 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327204 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2321.1
Current children cumulated vsize (KiB) 531988
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9987
/proc/meminfo: memFree=31207020/32770624 swapFree=6096/173116
[pid=9889] ppid=9884 vsize=531988 CPUtime=2381.07 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 278979 0 3 0 238080 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 4248926 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2381.07
Current children cumulated vsize (KiB) 531988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9987
/proc/meminfo: memFree=31207392/32770624 swapFree=6096/173120
[pid=9889] ppid=9884 vsize=531988 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 279350 0 3 0 239979 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 531988
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 9889 sig 9
??? kill -9889 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9987
/proc/meminfo: memFree=31207392/32770624 swapFree=6096/173120
[pid=9889] ppid=9884 vsize=531988 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (MistralXCSP) R 9884 9889 9826 0 -1 4202496 279350 0 3 0 239979 27 0 0 20 0 1 0 82196 544755712 126607 33554432000 4194304 7402444 140729887162384 140729887157080 5327213 0 0 4096 16386 0 0 0 17 12 0 0 2 0 0 9500608 9505824 37593088 140729887167658 140729887167806 140729887167806 140729887170505 0
/proc/9889/statm: 132997 126607 726 784 0 126011 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 531988
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.08
CPU user time (s): 2399.8
CPU system time (s): 0.279866
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 531988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.8
system time used= 0.279866
maximum resident set size= 506460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279389
page faults= 3
swaps= 0
block input operations= 2608
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109
involuntary context switches= 120751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23025 second user time and 13.1887 second system time
The end