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-4261140-1502336875/watcher-4261140-1502336875 -o /tmp/evaluation-result-4261140-1502336875/solver-4261140-1502336875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1736618340 HOME/instance-4261140-1502336875.xml
pid=25869
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.00 1.99 1.98 2/180 25872
/proc/meminfo: memFree=31223952/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25872/stat : 25872 (runsolver) D 25869 25872 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 133340515 24240128 106 18446744073709551615 4194304 4338465 140731153902048 140731153899688 140336553927383 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 17530880 140731153907850 140731153908297 140731153908297 140731153911754 0
/proc/25872/statm: 5918 106 53 36 0 2156 0
[startup+0.100164 s]
/proc/loadavg: 2.00 1.99 1.98 2/180 25872
/proc/meminfo: memFree=31223952/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=29192 CPUtime=0.03 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 1159 0 0 0 3 0 0 0 20 0 1 0 133340515 29892608 934 18446744073709551615 4194304 7396336 140723902260496 140723902257496 6018328 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 7298 934 653 782 0 314 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29192
[startup+0.20027 s]
/proc/loadavg: 2.00 1.99 1.98 2/180 25872
/proc/meminfo: memFree=31223952/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=29324 CPUtime=0.13 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 1204 0 0 0 13 0 0 0 20 0 1 0 133340515 30027776 1000 18446744073709551615 4194304 7396336 140723902260496 140723902257496 6195611 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 7331 1000 710 782 0 347 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29324
[startup+0.300244 s]
/proc/loadavg: 2.00 1.99 1.98 2/180 25872
/proc/meminfo: memFree=31223952/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=29464 CPUtime=0.23 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 1227 0 0 0 23 0 0 0 20 0 1 0 133340515 30171136 1066 18446744073709551615 4194304 7396336 140723902260496 140723902257496 139728497738982 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 7366 1066 716 782 0 382 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29464
[startup+0.700221 s]
/proc/loadavg: 2.00 1.99 1.98 2/180 25872
/proc/meminfo: memFree=31223952/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=30148 CPUtime=0.63 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 1411 0 0 0 63 0 0 0 20 0 1 0 133340515 30871552 1187 18446744073709551615 4194304 7396336 140723902260496 140723902251368 6190153 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 7537 1187 717 782 0 553 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 30148
[startup+1.50022 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31211980/32770624 swapFree=0/421436
[pid=25872] ppid=25869 vsize=37964 CPUtime=1.43 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 3513 0 0 0 143 0 0 0 20 0 1 0 133340515 38875136 3210 18446744073709551615 4194304 7396336 140723902260496 140723902251368 5575200 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 9491 3210 767 782 0 2507 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 37964
[startup+3.10023 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31202928/32770624 swapFree=0/421436
[pid=25872] ppid=25869 vsize=37964 CPUtime=3.03 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 5399 0 0 0 303 0 0 0 20 0 1 0 133340515 38875136 3269 18446744073709551615 4194304 7396336 140723902260496 140723902255096 4581743 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 9491 3269 768 782 0 2507 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 37964
[startup+6.30023 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31202472/32770624 swapFree=0/421424
[pid=25872] ppid=25869 vsize=38108 CPUtime=6.23 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 7298 0 0 0 623 0 0 0 20 0 1 0 133340515 39022592 3269 18446744073709551615 4194304 7396336 140723902260496 140723902255160 5575964 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 9527 3269 768 782 0 2543 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 38108
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31199612/32770624 swapFree=0/421420
[pid=25872] ppid=25869 vsize=38108 CPUtime=12.62 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 9194 0 0 0 1262 0 0 0 20 0 1 0 133340515 39022592 3273 18446744073709551615 4194304 7396336 140723902260496 140723902255160 4581738 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 9527 3273 768 782 0 2543 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 38108
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.98 3/186 25894
/proc/meminfo: memFree=31194884/32770624 swapFree=0/421424
[pid=25872] ppid=25869 vsize=38108 CPUtime=25.42 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 10222 0 0 0 2542 0 0 0 20 0 1 0 133340515 39022592 3273 18446744073709551615 4194304 7396336 140723902260496 140723902255160 5575964 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 9527 3273 768 782 0 2543 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 38108
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.98 3/186 25894
/proc/meminfo: memFree=31190492/32770624 swapFree=0/421412
[pid=25872] ppid=25869 vsize=42592 CPUtime=51.03 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 12165 0 0 0 5102 1 0 0 20 0 1 0 133340515 43614208 4364 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4249495 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 10648 4364 771 782 0 3664 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 42592
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25896
/proc/meminfo: memFree=31186896/32770624 swapFree=0/421424
[pid=25872] ppid=25869 vsize=45164 CPUtime=102.23 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 14760 0 0 0 10222 1 0 0 20 0 1 0 133340515 46247936 5046 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4581738 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11291 5046 771 782 0 4307 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 45164
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25898
/proc/meminfo: memFree=31185556/32770624 swapFree=0/421424
[pid=25872] ppid=25869 vsize=45560 CPUtime=162.22 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 15648 0 0 0 16221 1 0 0 20 0 1 0 133340515 46653440 5122 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4407040 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11390 5122 771 782 0 4406 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 45560
[startup+222.306 s]
/proc/loadavg: 1.90 1.96 1.97 3/185 25900
/proc/meminfo: memFree=31185512/32770624 swapFree=0/421428
[pid=25872] ppid=25869 vsize=45692 CPUtime=222.22 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 15995 0 0 0 22221 1 0 0 20 0 1 0 133340515 46788608 5166 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4581731 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11423 5166 771 782 0 4439 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45692
[startup+282.3 s]
/proc/loadavg: 1.98 1.96 1.97 3/185 25902
/proc/meminfo: memFree=31185016/32770624 swapFree=0/421440
[pid=25872] ppid=25869 vsize=45692 CPUtime=282.22 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 16344 0 0 0 28221 1 0 0 20 0 1 0 133340515 46788608 5196 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4257837 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11423 5196 771 782 0 4439 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45692
[startup+342.3 s]
/proc/loadavg: 2.21 2.02 1.98 3/184 25904
/proc/meminfo: memFree=31185160/32770624 swapFree=0/421444
[pid=25872] ppid=25869 vsize=45692 CPUtime=342.21 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 16703 0 0 0 34220 1 0 0 20 0 1 0 133340515 46788608 5198 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4249442 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11423 5198 771 782 0 4439 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 45692
[startup+402.3 s]
/proc/loadavg: 2.09 2.01 1.98 3/187 25920
/proc/meminfo: memFree=31180612/32770624 swapFree=0/421480
[pid=25872] ppid=25869 vsize=45692 CPUtime=402.21 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 17054 0 0 0 40220 1 0 0 20 0 1 0 133340515 46788608 5202 18446744073709551615 4194304 7396336 140723902260496 140723902254840 5575964 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11423 5202 771 782 0 4439 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 45692
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/187 25922
/proc/meminfo: memFree=31180400/32770624 swapFree=0/421488
[pid=25872] ppid=25869 vsize=45692 CPUtime=462.21 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 17390 0 0 0 46220 1 0 0 20 0 1 0 133340515 46788608 5203 18446744073709551615 4194304 7396336 140723902260496 140723902254840 5576291 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11423 5203 771 782 0 4439 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 45692
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/184 25924
/proc/meminfo: memFree=31184228/32770624 swapFree=0/421508
[pid=25872] ppid=25869 vsize=45824 CPUtime=522.21 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 17759 0 0 0 52220 1 0 0 20 0 1 0 133340515 46923776 5212 18446744073709551615 4194304 7396336 140723902260496 140723902254840 5608738 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11456 5212 771 782 0 4472 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 45824
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/185 25927
/proc/meminfo: memFree=31184700/32770624 swapFree=0/421528
[pid=25872] ppid=25869 vsize=45824 CPUtime=582.21 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 18115 0 0 0 58220 1 0 0 20 0 1 0 133340515 46923776 5212 18446744073709551615 4194304 7396336 140723902260496 140723902254840 4407456 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11456 5212 771 782 0 4472 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 45824
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/188 25995
/proc/meminfo: memFree=31179980/32770624 swapFree=0/421704
[pid=25872] ppid=25869 vsize=45956 CPUtime=1602.19 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 24754 0 0 0 160217 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4379138 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 45956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26022
/proc/meminfo: memFree=31178164/32770624 swapFree=0/421728
[pid=25872] ppid=25869 vsize=45956 CPUtime=1662.19 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 25137 0 0 0 166217 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5608761 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 45956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26024
/proc/meminfo: memFree=31179184/32770624 swapFree=0/421748
[pid=25872] ppid=25869 vsize=45956 CPUtime=1722.19 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 25523 0 0 0 172217 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5608761 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 45956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 26026
/proc/meminfo: memFree=31181620/32770624 swapFree=0/421760
[pid=25872] ppid=25869 vsize=45956 CPUtime=1782.19 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 25910 0 0 0 178217 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4406467 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 45956
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 26028
/proc/meminfo: memFree=31182328/32770624 swapFree=0/421772
[pid=25872] ppid=25869 vsize=45956 CPUtime=1842.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 26292 0 0 0 184216 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5627952 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 45956
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 26030
/proc/meminfo: memFree=31182844/32770624 swapFree=0/421784
[pid=25872] ppid=25869 vsize=45956 CPUtime=1902.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 26683 0 0 0 190216 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4406506 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 45956
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26032
/proc/meminfo: memFree=31183080/32770624 swapFree=0/421792
[pid=25872] ppid=25869 vsize=45956 CPUtime=1962.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 27079 0 0 0 196216 2 0 0 20 0 1 0 133340515 47058944 5243 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5575200 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5243 771 782 0 4505 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 45956
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26034
/proc/meminfo: memFree=31183552/32770624 swapFree=0/421808
[pid=25872] ppid=25869 vsize=45956 CPUtime=2022.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 27514 0 0 0 202216 2 0 0 20 0 1 0 133340515 47058944 5248 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4249442 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5248 771 782 0 4505 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 45956
[startup+2082.3 s]
/proc/loadavg: 1.90 1.98 1.99 3/186 26038
/proc/meminfo: memFree=31183368/32770624 swapFree=0/421816
[pid=25872] ppid=25869 vsize=45956 CPUtime=2082.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 27913 0 0 0 208216 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4581738 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 45956
[startup+2142.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/186 26040
/proc/meminfo: memFree=31183868/32770624 swapFree=0/421824
[pid=25872] ppid=25869 vsize=45956 CPUtime=2142.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 28302 0 0 0 214216 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4257837 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 45956
[startup+2202.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/190 26057
/proc/meminfo: memFree=31178584/32770624 swapFree=0/421844
[pid=25872] ppid=25869 vsize=45956 CPUtime=2202.18 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 28679 0 0 0 220216 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4406506 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 45956
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/190 26059
/proc/meminfo: memFree=31178968/32770624 swapFree=0/421848
[pid=25872] ppid=25869 vsize=45956 CPUtime=2262.17 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 29060 0 0 0 226215 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5609520 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 45956
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/187 26061
/proc/meminfo: memFree=31182704/32770624 swapFree=0/421860
[pid=25872] ppid=25869 vsize=45956 CPUtime=2322.17 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 29443 0 0 0 232215 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5608738 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 45956
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/185 26063
/proc/meminfo: memFree=31182492/32770624 swapFree=0/421876
[pid=25872] ppid=25869 vsize=45956 CPUtime=2382.17 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 29821 0 0 0 238215 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 4320953 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2382.17
Current children cumulated vsize (KiB) 45956
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/185 26065
/proc/meminfo: memFree=31182960/32770624 swapFree=0/421884
[pid=25872] ppid=25869 vsize=45956 CPUtime=2442.17 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 30205 0 0 0 244215 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5575964 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2442.17
Current children cumulated vsize (KiB) 45956
[startup+2502.3 s]
/proc/loadavg: 1.94 1.97 1.98 3/184 26067
/proc/meminfo: memFree=31183364/32770624 swapFree=0/421896
[pid=25872] ppid=25869 vsize=45956 CPUtime=2502.17 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 30607 0 0 0 250215 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5603851 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2502.17
Current children cumulated vsize (KiB) 45956
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.96 1.97 1.98 3/184 26067
/proc/meminfo: memFree=31183364/32770624 swapFree=0/421900
[pid=25872] ppid=25869 vsize=45956 CPUtime=2519.87 cores=1,3,5,7
/proc/25872/stat : 25872 (MistralXCSP) R 25869 25872 4525 0 -1 4202496 30984 0 0 0 251985 2 0 0 20 0 1 0 133340515 47058944 5249 18446744073709551615 4194304 7396336 140723902260496 140723902255512 5576724 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 37298176 140723902267826 140723902267976 140723902267976 140723902271433 0
/proc/25872/statm: 11489 5249 771 782 0 4505 0
Current children cumulated CPU time (s) 2519.87
Current children cumulated vsize (KiB) 45956
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 25872 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.88
CPU user time (s): 2519.85
CPU system time (s): 0.028999
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 45956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.028999
maximum resident set size= 21016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31022
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= 15
involuntary context switches= 757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64159 second user time and 10.7467 second system time
The end