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-4240825-1500648173/watcher-4240825-1500648173 -o /tmp/evaluation-result-4240825-1500648173/solver-4240825-1500648173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9859 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 35350229 HOME/instance-4240825-1500648173.xml
pid=9883
running on 8 cores: 1,3,5,7,9,11,13,15
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=9890] ppid=9883 vsize=6912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) D 9883 9890 9826 0 -1 4194304 168 0 1 0 0 0 0 0 20 0 1 0 82196 7077888 36 33554432000 4194304 7402444 140726384298176 140726384295624 140617810222610 0 0 4096 0 18446744071580431491 0 0 17 3 0 0 0 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 1728 36 26 784 0 40 0
[startup+0.100207 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9890] ppid=9883 vsize=31780 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 1716 0 3 0 5 0 0 0 20 0 1 0 82196 32542720 1529 33554432000 4194304 7402444 140726384298176 140726384289896 140617789787109 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 7945 1529 617 784 0 959 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31780
[startup+0.200388 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9890] ppid=9883 vsize=47012 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 5817 0 3 0 15 1 0 0 20 0 1 0 82196 48140288 5329 33554432000 4194304 7402444 140726384298176 140726384289480 140617789782846 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 11753 5329 620 784 0 4767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 47012
[startup+0.300361 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9890] ppid=9883 vsize=62244 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 9514 0 3 0 24 1 0 0 20 0 1 0 82196 63737856 9142 33554432000 4194304 7402444 140726384298176 140726384289496 5910882 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 15561 9142 673 784 0 8575 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 62244
[startup+0.700317 s]
/proc/loadavg: 0.08 0.06 0.08 5/244 9890
/proc/meminfo: memFree=32071668/32770624 swapFree=6096/170032
[pid=9890] ppid=9883 vsize=81152 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 13372 0 3 0 64 2 0 0 20 0 1 0 82196 83099648 12970 33554432000 4194304 7402444 140726384298176 140726384289352 4234432 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 20288 12970 684 784 0 13302 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 81152
[startup+1.50025 s]
/proc/loadavg: 0.08 0.06 0.08 3/247 9893
/proc/meminfo: memFree=31924932/32770624 swapFree=6096/170928
[pid=9890] ppid=9883 vsize=111504 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 21439 0 3 0 142 3 0 0 20 0 1 0 82196 114180096 21441 33554432000 4194304 7402444 140726384298176 140726384289448 4731648 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 27876 21441 684 784 0 20890 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 111504
[startup+3.10026 s]
/proc/loadavg: 0.08 0.06 0.08 4/247 9893
/proc/meminfo: memFree=31871084/32770624 swapFree=6096/170928
[pid=9890] ppid=9883 vsize=140708 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 29064 0 3 0 301 4 0 0 20 0 1 0 82196 144084992 28737 33554432000 4194304 7402444 140726384298176 140726384289352 4731480 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 35177 28737 684 784 0 28191 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 140708
[startup+6.30024 s]
/proc/loadavg: 0.24 0.09 0.09 4/247 9893
/proc/meminfo: memFree=31756856/32770624 swapFree=6096/170972
[pid=9890] ppid=9883 vsize=181468 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 65193 0 3 0 619 6 0 0 20 0 1 0 82196 185823232 38917 33554432000 4194304 7402444 140726384298176 140726384289352 4731642 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 45367 38917 684 784 0 38381 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 181468
[startup+12.7003 s]
/proc/loadavg: 0.38 0.12 0.10 4/247 9893
/proc/meminfo: memFree=31669492/32770624 swapFree=6096/171152
[pid=9890] ppid=9883 vsize=223260 CPUtime=12.66 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 77791 0 3 0 1258 8 0 0 20 0 1 0 82196 228618240 49387 33554432000 4194304 7402444 140726384298176 140726384289352 4731639 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 55815 49387 684 784 0 48829 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 223260
[startup+25.5003 s]
/proc/loadavg: 0.74 0.21 0.13 4/247 9893
/proc/meminfo: memFree=31547668/32770624 swapFree=6096/171152
[pid=9890] ppid=9883 vsize=279524 CPUtime=25.45 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 96224 0 3 0 2535 10 0 0 20 0 1 0 82196 286232576 63438 33554432000 4194304 7402444 140726384298176 140726384289352 4731632 0 0 4096 0 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 69881 63438 684 784 0 62895 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 279524
[startup+51.1004 s]
/proc/loadavg: 1.17 0.36 0.18 4/247 9893
/proc/meminfo: memFree=31261332/32770624 swapFree=6096/171184
[pid=9890] ppid=9883 vsize=374892 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 199479 0 3 0 5087 17 0 0 20 0 1 0 82196 383889408 87310 33554432000 4194304 7402444 140726384298176 140726384293528 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 93723 87310 716 784 0 86737 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 374892
[startup+102.3 s]
/proc/loadavg: 1.74 0.64 0.29 4/246 9894
/proc/meminfo: memFree=31219484/32770624 swapFree=6096/171184
[pid=9890] ppid=9883 vsize=376372 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 240896 0 3 0 10204 20 0 0 20 0 1 0 82196 385404928 87680 33554432000 4194304 7402444 140726384298176 140726384292888 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 94093 87680 716 784 0 87107 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 376372
[startup+162.3 s]
/proc/loadavg: 1.90 0.89 0.40 4/247 9898
/proc/meminfo: memFree=31212844/32770624 swapFree=6096/172016
[pid=9890] ppid=9883 vsize=381508 CPUtime=162.22 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 314737 0 3 0 16197 25 0 0 20 0 1 0 82196 390664192 88974 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 88974 726 784 0 88391 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 381508
[startup+222.309 s]
/proc/loadavg: 1.96 1.09 0.50 4/247 9899
/proc/meminfo: memFree=31211940/32770624 swapFree=6096/172052
[pid=9890] ppid=9883 vsize=381508 CPUtime=222.21 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 368930 0 3 0 22194 27 0 0 20 0 1 0 82196 390664192 88974 33554432000 4194304 7402444 140726384298176 140726384292872 5327246 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 88974 726 784 0 88391 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 381508
[startup+282.3 s]
/proc/loadavg: 1.99 1.25 0.59 4/247 9900
/proc/meminfo: memFree=31207344/32770624 swapFree=6096/172080
[pid=9890] ppid=9883 vsize=381508 CPUtime=282.19 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 421502 0 3 0 28189 30 0 0 20 0 1 0 82196 390664192 88974 33554432000 4194304 7402444 140726384298176 140726384292872 5747568 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 88974 726 784 0 88391 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 381508
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.68 4/244 9901
/proc/meminfo: memFree=31205716/32770624 swapFree=6096/172104
[pid=9890] ppid=9883 vsize=381508 CPUtime=342.16 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 468054 0 3 0 34184 32 0 0 20 0 1 0 82196 390664192 88974 33554432000 4194304 7402444 140726384298176 140726384292872 5327238 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 88974 726 784 0 88391 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 381508
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.76 4/244 9902
/proc/meminfo: memFree=31207236/32770624 swapFree=6096/172140
[pid=9890] ppid=9883 vsize=381508 CPUtime=402.12 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 496818 0 3 0 40178 34 0 0 20 0 1 0 82196 390664192 88974 33554432000 4194304 7402444 140726384298176 140726384292872 5327208 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 88974 726 784 0 88391 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 381508
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.84 4/243 9910
/proc/meminfo: memFree=31206696/32770624 swapFree=6096/172180
[pid=9890] ppid=9883 vsize=381508 CPUtime=462.07 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 505004 0 3 0 46173 34 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327213 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 381508
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.91 4/243 9911
/proc/meminfo: memFree=31207480/32770624 swapFree=6096/172204
[pid=9890] ppid=9883 vsize=381508 CPUtime=522.04 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 506889 0 3 0 52170 34 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 381508
[startup+582.3 s]
/proc/loadavg: 2.10 1.76 0.99 4/243 9912
/proc/meminfo: memFree=31208340/32770624 swapFree=6096/172236
[pid=9890] ppid=9883 vsize=381508 CPUtime=582.02 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 507999 0 3 0 58168 34 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327242 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 381508
################
# 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=9890] ppid=9883 vsize=381508 CPUtime=1541.54 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 525592 0 3 0 154119 35 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327213 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 381508
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.67 4/243 9960
/proc/meminfo: memFree=31206732/32770624 swapFree=6096/172744
[pid=9890] ppid=9883 vsize=381508 CPUtime=1601.5 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 526689 0 3 0 160115 35 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327213 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 381508
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 4/243 9968
/proc/meminfo: memFree=31206688/32770624 swapFree=6096/172780
[pid=9890] ppid=9883 vsize=381508 CPUtime=1661.47 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 527787 0 3 0 166112 35 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 381508
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.71 4/243 9969
/proc/meminfo: memFree=31205152/32770624 swapFree=6096/172812
[pid=9890] ppid=9883 vsize=381508 CPUtime=1721.43 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 528885 0 3 0 172108 35 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5747655 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 381508
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/243 9970
/proc/meminfo: memFree=31206548/32770624 swapFree=6096/172836
[pid=9890] ppid=9883 vsize=381508 CPUtime=1781.41 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 529985 0 3 0 178105 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 381508
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/243 9971
/proc/meminfo: memFree=31206260/32770624 swapFree=6096/172864
[pid=9890] ppid=9883 vsize=381508 CPUtime=1841.38 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 531110 0 3 0 184102 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327238 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1841.38
Current children cumulated vsize (KiB) 381508
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/243 9972
/proc/meminfo: memFree=31206848/32770624 swapFree=6096/172888
[pid=9890] ppid=9883 vsize=381508 CPUtime=1901.35 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 532232 0 3 0 190099 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327213 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1901.35
Current children cumulated vsize (KiB) 381508
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/243 9973
/proc/meminfo: memFree=31206552/32770624 swapFree=6096/172924
[pid=9890] ppid=9883 vsize=381508 CPUtime=1961.32 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 533329 0 3 0 196096 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 1961.32
Current children cumulated vsize (KiB) 381508
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/243 9974
/proc/meminfo: memFree=31207176/32770624 swapFree=6096/172952
[pid=9890] ppid=9883 vsize=381508 CPUtime=2021.29 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 534426 0 3 0 202093 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327204 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2021.29
Current children cumulated vsize (KiB) 381508
[startup+2082.3 s]
/proc/loadavg: 2.13 2.02 1.81 4/243 9975
/proc/meminfo: memFree=31207288/32770624 swapFree=6096/172972
[pid=9890] ppid=9883 vsize=381508 CPUtime=2081.27 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 535512 0 3 0 208091 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 4342254 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2081.27
Current children cumulated vsize (KiB) 381508
[startup+2142.3 s]
/proc/loadavg: 2.05 2.01 1.82 4/243 9976
/proc/meminfo: memFree=31207544/32770624 swapFree=6096/173004
[pid=9890] ppid=9883 vsize=381508 CPUtime=2141.23 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 536602 0 3 0 214087 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 4248787 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2141.23
Current children cumulated vsize (KiB) 381508
[startup+2202.31 s]
/proc/loadavg: 2.02 2.01 1.83 4/243 9977
/proc/meminfo: memFree=31207520/32770624 swapFree=6096/173024
[pid=9890] ppid=9883 vsize=381508 CPUtime=2201.21 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 537688 0 3 0 220085 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5327229 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2201.21
Current children cumulated vsize (KiB) 381508
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.85 4/243 9985
/proc/meminfo: memFree=31206716/32770624 swapFree=6096/173068
[pid=9890] ppid=9883 vsize=381508 CPUtime=2261.17 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 538777 0 3 0 226081 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 4537266 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2261.17
Current children cumulated vsize (KiB) 381508
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/243 9986
/proc/meminfo: memFree=31205464/32770624 swapFree=6096/173092
[pid=9890] ppid=9883 vsize=381508 CPUtime=2321.14 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 539864 0 3 0 232078 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 4747338 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2321.14
Current children cumulated vsize (KiB) 381508
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9987
/proc/meminfo: memFree=31207020/32770624 swapFree=6096/173116
[pid=9890] ppid=9883 vsize=381508 CPUtime=2381.1 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 540971 0 3 0 238074 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5747608 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2381.1
Current children cumulated vsize (KiB) 381508
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=9890] ppid=9883 vsize=381508 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 541673 0 3 0 239974 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5759138 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 381508
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 9890 sig 9
??? kill -9890 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=9890] ppid=9883 vsize=381508 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/9890/stat : 9890 (MistralXCSP) R 9883 9890 9826 0 -1 4202496 541673 0 3 0 239974 36 0 0 20 0 1 0 82196 390664192 89025 33554432000 4194304 7402444 140726384298176 140726384292872 5759138 0 0 4096 16386 0 0 0 17 3 0 0 2 0 0 9500608 9505824 31563776 140726384305322 140726384305470 140726384305470 140726384308169 0
/proc/9890/statm: 95377 89025 726 784 0 88391 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 381508
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.11
CPU user time (s): 2399.75
CPU system time (s): 0.367831
CPU usage (%): 99.9502
Max. virtual memory (cumulated for all children) (KiB): 381508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.75
system time used= 0.367831
maximum resident set size= 356132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541714
page faults= 3
swaps= 0
block input operations= 712
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92
involuntary context switches= 120285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30744 second user time and 13.0851 second system time
The end