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-4240036-1500638301/watcher-4240036-1500638301 -o /tmp/evaluation-result-4240036-1500638301/solver-4240036-1500638301 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500623778-3046 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 971380420 HOME/instance-4240036-1500638301.xml
pid=5453
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.04 2.05 2/186 5456
/proc/meminfo: memFree=30120176/32770624 swapFree=6400/1482408
[pid=5456] ppid=5453 vsize=28936 CPUtime=0 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 1088 0 0 0 0 0 0 0 20 0 1 0 17106959 29630464 868 33554432000 4194304 7402444 140728381331600 140728381322048 140591071360912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 7234 868 657 784 0 248 0
[startup+0.100165 s]
/proc/loadavg: 2.09 2.04 2.05 2/186 5456
/proc/meminfo: memFree=30120176/32770624 swapFree=6400/1482408
[pid=5456] ppid=5453 vsize=41064 CPUtime=0.09 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4195 0 0 0 9 0 0 0 20 0 1 0 17106959 42049536 3983 33554432000 4194304 7402444 140728381331600 140728381326616 5696144 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 3983 762 784 0 3280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41064
[startup+0.200365 s]
/proc/loadavg: 2.09 2.04 2.05 2/186 5456
/proc/meminfo: memFree=30120176/32770624 swapFree=6400/1482408
[pid=5456] ppid=5453 vsize=41064 CPUtime=0.19 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4197 0 0 0 19 0 0 0 20 0 1 0 17106959 42049536 3983 33554432000 4194304 7402444 140728381331600 140728381326616 5327171 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 3983 762 784 0 3280 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41064
[startup+0.30025 s]
/proc/loadavg: 2.09 2.04 2.05 2/186 5456
/proc/meminfo: memFree=30120176/32770624 swapFree=6400/1482408
[pid=5456] ppid=5453 vsize=41064 CPUtime=0.29 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4198 0 0 0 29 0 0 0 20 0 1 0 17106959 42049536 3983 33554432000 4194304 7402444 140728381331600 140728381326616 4709399 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 3983 762 784 0 3280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41064
[startup+0.700224 s]
/proc/loadavg: 2.09 2.04 2.05 2/186 5456
/proc/meminfo: memFree=30120176/32770624 swapFree=6400/1482408
[pid=5456] ppid=5453 vsize=41064 CPUtime=0.69 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4199 0 0 0 69 0 0 0 20 0 1 0 17106959 42049536 3983 33554432000 4194304 7402444 140728381331600 140728381326616 5750742 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 3983 762 784 0 3280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41064
[startup+1.50022 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30107620/32770624 swapFree=6400/1482404
[pid=5456] ppid=5453 vsize=41064 CPUtime=1.49 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4200 0 0 0 149 0 0 0 20 0 1 0 17106959 42049536 3983 33554432000 4194304 7402444 140728381331600 140728381326616 4342315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 3983 762 784 0 3280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41064
[startup+3.10022 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30107248/32770624 swapFree=6400/1482404
[pid=5456] ppid=5453 vsize=41064 CPUtime=3.09 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 4679 0 0 0 309 0 0 0 20 0 1 0 17106959 42049536 4034 33554432000 4194304 7402444 140728381331600 140728381326616 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4034 771 784 0 3280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41064
[startup+6.30022 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30107320/32770624 swapFree=6400/1482412
[pid=5456] ppid=5453 vsize=41064 CPUtime=6.29 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 5158 0 0 0 629 0 0 0 20 0 1 0 17106959 42049536 4034 33554432000 4194304 7402444 140728381331600 140728381326616 4709406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4034 771 784 0 3280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41064
[startup+12.7002 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30106960/32770624 swapFree=6400/1482416
[pid=5456] ppid=5453 vsize=41064 CPUtime=12.69 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 5637 0 0 0 1269 0 0 0 20 0 1 0 17106959 42049536 4034 33554432000 4194304 7402444 140728381331600 140728381326616 5696204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4034 771 784 0 3280 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41064
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30106960/32770624 swapFree=6400/1482432
[pid=5456] ppid=5453 vsize=41064 CPUtime=25.49 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 6592 0 0 0 2549 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5696137 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41064
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5457
/proc/meminfo: memFree=30107084/32770624 swapFree=6400/1482444
[pid=5456] ppid=5453 vsize=41064 CPUtime=51.08 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 7077 0 0 0 5108 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 140591073875619 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41064
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5465
/proc/meminfo: memFree=30097352/32770624 swapFree=6400/1482480
[pid=5456] ppid=5453 vsize=41064 CPUtime=102.28 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 7552 0 0 0 10228 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4463672 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41064
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5488
/proc/meminfo: memFree=30096592/32770624 swapFree=6400/1482504
[pid=5456] ppid=5453 vsize=41064 CPUtime=162.27 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 8032 0 0 0 16227 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4747176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 41064
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5489
/proc/meminfo: memFree=30097596/32770624 swapFree=6400/1482532
[pid=5456] ppid=5453 vsize=41064 CPUtime=222.26 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 8294 0 0 0 22226 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4713043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 41064
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5490
/proc/meminfo: memFree=30098084/32770624 swapFree=6400/1482568
[pid=5456] ppid=5453 vsize=41064 CPUtime=282.25 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 8562 0 0 0 28225 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5327204 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 41064
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 5491
/proc/meminfo: memFree=30098320/32770624 swapFree=6400/1482604
[pid=5456] ppid=5453 vsize=41064 CPUtime=342.25 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 8830 0 0 0 34225 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4529209 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 41064
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5492
/proc/meminfo: memFree=30098204/32770624 swapFree=6400/1482628
[pid=5456] ppid=5453 vsize=41064 CPUtime=402.24 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 9087 0 0 0 40224 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5327336 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 41064
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5493
/proc/meminfo: memFree=30097600/32770624 swapFree=6400/1482652
[pid=5456] ppid=5453 vsize=41064 CPUtime=462.23 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 9344 0 0 0 46223 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4748146 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 41064
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5557
/proc/meminfo: memFree=30385192/32770624 swapFree=6400/1482760
[pid=5456] ppid=5453 vsize=41064 CPUtime=522.23 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 9601 0 0 0 52223 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4240688 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 41064
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5558
/proc/meminfo: memFree=30367812/32770624 swapFree=6400/1482804
[pid=5456] ppid=5453 vsize=41064 CPUtime=582.22 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 9858 0 0 0 58222 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4748158 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 41064
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 5589
/proc/meminfo: memFree=30367428/32770624 swapFree=6400/1483204
[pid=5456] ppid=5453 vsize=41064 CPUtime=1542.11 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 13971 0 0 0 154211 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4748142 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 41064
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 5591
/proc/meminfo: memFree=30366644/32770624 swapFree=6400/1483228
[pid=5456] ppid=5453 vsize=41064 CPUtime=1602.1 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 14224 0 0 0 160210 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4472461 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 41064
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5592
/proc/meminfo: memFree=30367400/32770624 swapFree=6400/1483256
[pid=5456] ppid=5453 vsize=41064 CPUtime=1662.09 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 14481 0 0 0 166209 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5696195 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 41064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5593
/proc/meminfo: memFree=30367016/32770624 swapFree=6400/1483276
[pid=5456] ppid=5453 vsize=41064 CPUtime=1722.08 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 14737 0 0 0 172208 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4465322 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 41064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5595
/proc/meminfo: memFree=30367044/32770624 swapFree=6400/1483308
[pid=5456] ppid=5453 vsize=41064 CPUtime=1782.08 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 14994 0 0 0 178208 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4748142 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 41064
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5596
/proc/meminfo: memFree=30367052/32770624 swapFree=6400/1483352
[pid=5456] ppid=5453 vsize=41064 CPUtime=1842.07 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 15251 0 0 0 184207 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4537289 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 41064
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5604
/proc/meminfo: memFree=30365924/32770624 swapFree=6400/1483380
[pid=5456] ppid=5453 vsize=41064 CPUtime=1902.06 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 15508 0 0 0 190206 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4747880 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 41064
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5605
/proc/meminfo: memFree=30366652/32770624 swapFree=6400/1483412
[pid=5456] ppid=5453 vsize=41064 CPUtime=1962.05 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 15765 0 0 0 196205 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4463708 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 41064
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5606
/proc/meminfo: memFree=30366900/32770624 swapFree=6400/1483432
[pid=5456] ppid=5453 vsize=41064 CPUtime=2022.05 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 16022 0 0 0 202205 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4708141 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 41064
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5607
/proc/meminfo: memFree=30366744/32770624 swapFree=6400/1483452
[pid=5456] ppid=5453 vsize=41064 CPUtime=2082.05 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 16279 0 0 0 208205 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5327250 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 41064
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5608
/proc/meminfo: memFree=30367244/32770624 swapFree=6400/1483484
[pid=5456] ppid=5453 vsize=41064 CPUtime=2142.03 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 16536 0 0 0 214203 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4537357 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 41064
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5609
/proc/meminfo: memFree=30367184/32770624 swapFree=6400/1483504
[pid=5456] ppid=5453 vsize=41064 CPUtime=2202.03 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 16793 0 0 0 220203 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4746981 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 41064
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5610
/proc/meminfo: memFree=30366924/32770624 swapFree=6400/1483524
[pid=5456] ppid=5453 vsize=41064 CPUtime=2262.02 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 17050 0 0 0 226202 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5750486 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2262.02
Current children cumulated vsize (KiB) 41064
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5611
/proc/meminfo: memFree=30367160/32770624 swapFree=6400/1483548
[pid=5456] ppid=5453 vsize=41064 CPUtime=2322.01 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 17308 0 0 0 232201 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 5877540 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 41064
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5612
/proc/meminfo: memFree=30367148/32770624 swapFree=6400/1483580
[pid=5456] ppid=5453 vsize=41064 CPUtime=2382 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 17564 0 0 0 238200 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4463672 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 41064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 5613
/proc/meminfo: memFree=30367104/32770624 swapFree=6400/1483604
[pid=5456] ppid=5453 vsize=41064 CPUtime=2400.01 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 17813 0 0 0 240001 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4466815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 41064
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 5456 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 5613
/proc/meminfo: memFree=30367104/32770624 swapFree=6400/1483604
[pid=5456] ppid=5453 vsize=41064 CPUtime=2400.01 cores=1,3,5,7
/proc/5456/stat : 5456 (MistralXCSP) R 5453 5456 3014 0 -1 4202496 17813 0 0 0 240001 0 0 0 20 0 1 0 17106959 42049536 4035 33554432000 4194304 7402444 140728381331600 140728381326616 4466815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 29716480 140728381338793 140728381338942 140728381338942 140728381341641 0
/proc/5456/statm: 10266 4035 771 784 0 3280 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 41064
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.009998
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 41064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.009998
maximum resident set size= 16164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17856
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= 11
involuntary context switches= 120199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25014 second user time and 7.41181 second system time
The end