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-4242619-1500657820/watcher-4242619-1500657820 -o /tmp/evaluation-result-4242619-1500657820/solver-4242619-1500657820 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500648178-9856 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2097186914 HOME/instance-4242619-1500657820.xml
pid=11325
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: 1.94 2.00 2.04 3/243 11328
/proc/meminfo: memFree=32030280/32770624 swapFree=5920/189644
[pid=11328] ppid=11325 vsize=31140 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1611 0 0 0 0 0 0 0 20 0 1 0 1050934 31887360 1396 33554432000 4194304 7402444 140735618089744 140735618086792 140078723299232 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7785 1396 663 784 0 799 0
[startup+0.100148 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 11328
/proc/meminfo: memFree=32030280/32770624 swapFree=5920/189644
[pid=11328] ppid=11325 vsize=31560 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1761 0 0 0 9 0 0 0 20 0 1 0 1050934 32317440 1528 33554432000 4194304 7402444 140735618089744 140735618084760 4378985 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1528 699 784 0 904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31560
[startup+0.200276 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 11328
/proc/meminfo: memFree=32030280/32770624 swapFree=5920/189644
[pid=11328] ppid=11325 vsize=31560 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1762 0 0 0 19 0 0 0 20 0 1 0 1050934 32317440 1528 33554432000 4194304 7402444 140735618089744 140735618084760 5763552 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1528 699 784 0 904 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31560
[startup+0.30023 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 11328
/proc/meminfo: memFree=32030280/32770624 swapFree=5920/189644
[pid=11328] ppid=11325 vsize=31560 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1762 0 0 0 29 0 0 0 20 0 1 0 1050934 32317440 1528 33554432000 4194304 7402444 140735618089744 140735618084760 4484790 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1528 699 784 0 904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31560
[startup+0.70021 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 11328
/proc/meminfo: memFree=32030280/32770624 swapFree=5920/189644
[pid=11328] ppid=11325 vsize=31560 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1762 0 0 0 69 0 0 0 20 0 1 0 1050934 32317440 1528 33554432000 4194304 7402444 140735618089744 140735618084760 4712981 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1528 699 784 0 904 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31560
[startup+1.50021 s]
/proc/loadavg: 1.94 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32026112/32770624 swapFree=5920/189616
[pid=11328] ppid=11325 vsize=31560 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 1762 0 0 0 149 0 0 0 20 0 1 0 1050934 32317440 1528 33554432000 4194304 7402444 140735618089744 140735618084760 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1528 699 784 0 904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31560
[startup+3.10023 s]
/proc/loadavg: 1.94 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32025300/32770624 swapFree=5920/189656
[pid=11328] ppid=11325 vsize=31560 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 2133 0 0 0 309 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5758736 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31560
[startup+6.3002 s]
/proc/loadavg: 1.95 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32025660/32770624 swapFree=5920/189664
[pid=11328] ppid=11325 vsize=31560 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 2504 0 0 0 629 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5753338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31560
[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32025412/32770624 swapFree=5920/189660
[pid=11328] ppid=11325 vsize=31560 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 2875 0 0 0 1269 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4484203 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31560
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32025412/32770624 swapFree=5920/189668
[pid=11328] ppid=11325 vsize=31560 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 3612 0 0 0 2549 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5698155 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31560
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/244 11329
/proc/meminfo: memFree=32025412/32770624 swapFree=5920/189692
[pid=11328] ppid=11325 vsize=31560 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 3978 0 0 0 5108 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4529237 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31560
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 11331
/proc/meminfo: memFree=32024876/32770624 swapFree=5920/189736
[pid=11328] ppid=11325 vsize=31560 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 4344 0 0 0 10228 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4377716 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 31560
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/243 11332
/proc/meminfo: memFree=32024644/32770624 swapFree=5920/189772
[pid=11328] ppid=11325 vsize=31560 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 4710 0 0 0 16226 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5754000 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31560
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 11333
/proc/meminfo: memFree=32024664/32770624 swapFree=5920/189804
[pid=11328] ppid=11325 vsize=31560 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 5076 0 0 0 22226 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 31560
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11335
/proc/meminfo: memFree=32024716/32770624 swapFree=5920/189844
[pid=11328] ppid=11325 vsize=31560 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 5443 0 0 0 28224 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31560
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11336
/proc/meminfo: memFree=32024568/32770624 swapFree=5920/189892
[pid=11328] ppid=11325 vsize=31560 CPUtime=342.23 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 5809 0 0 0 34223 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5698127 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31560
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11344
/proc/meminfo: memFree=32024332/32770624 swapFree=5920/189924
[pid=11328] ppid=11325 vsize=31560 CPUtime=402.22 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 6175 0 0 0 40222 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 5763568 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31560
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11345
/proc/meminfo: memFree=32024472/32770624 swapFree=5920/189960
[pid=11328] ppid=11325 vsize=31560 CPUtime=462.21 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 6541 0 0 0 46221 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4377734 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 31560
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11346
/proc/meminfo: memFree=32024688/32770624 swapFree=5920/190004
[pid=11328] ppid=11325 vsize=31560 CPUtime=522.2 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 6908 0 0 0 52220 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4747338 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 31560
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11347
/proc/meminfo: memFree=32024372/32770624 swapFree=5920/190044
[pid=11328] ppid=11325 vsize=31560 CPUtime=582.19 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 7274 0 0 0 58219 0 0 0 20 0 1 0 1050934 32317440 1594 33554432000 4194304 7402444 140735618089744 140735618084760 4378136 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1594 709 784 0 904 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 31560
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11371
/proc/meminfo: memFree=32020388/32770624 swapFree=5920/190468
[pid=11328] ppid=11325 vsize=31560 CPUtime=1542.04 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 13139 0 0 0 154204 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5818318 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 31560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11380
/proc/meminfo: memFree=32020904/32770624 swapFree=5920/190480
[pid=11328] ppid=11325 vsize=31560 CPUtime=1602.02 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 13507 0 0 0 160202 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5820872 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 31560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11381
/proc/meminfo: memFree=32021396/32770624 swapFree=5920/190516
[pid=11328] ppid=11325 vsize=31560 CPUtime=1662.01 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 13874 0 0 0 166201 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4463708 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 31560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11382
/proc/meminfo: memFree=32021020/32770624 swapFree=5920/190560
[pid=11328] ppid=11325 vsize=31560 CPUtime=1722 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 14241 0 0 0 172200 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484528 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 31560
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 11383
/proc/meminfo: memFree=32020884/32770624 swapFree=5920/190596
[pid=11328] ppid=11325 vsize=31560 CPUtime=1781.99 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 14610 0 0 0 178199 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484790 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 31560
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 11384
/proc/meminfo: memFree=32021828/32770624 swapFree=5920/190644
[pid=11328] ppid=11325 vsize=31560 CPUtime=1841.98 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 14977 0 0 0 184198 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5754048 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 31560
[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11386
/proc/meminfo: memFree=32021040/32770624 swapFree=5920/190688
[pid=11328] ppid=11325 vsize=31560 CPUtime=1901.97 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 15343 0 0 0 190197 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5754037 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 31560
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11387
/proc/meminfo: memFree=32020624/32770624 swapFree=5920/190720
[pid=11328] ppid=11325 vsize=31560 CPUtime=1961.96 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 15688 0 0 0 196196 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484571 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 1961.96
Current children cumulated vsize (KiB) 31560
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11388
/proc/meminfo: memFree=32021428/32770624 swapFree=5920/190764
[pid=11328] ppid=11325 vsize=31560 CPUtime=2021.95 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 16041 0 0 0 202195 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484504 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2021.95
Current children cumulated vsize (KiB) 31560
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11390
/proc/meminfo: memFree=32021204/32770624 swapFree=5920/190804
[pid=11328] ppid=11325 vsize=31560 CPUtime=2081.95 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 16380 0 0 0 208195 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484439 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 31560
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11391
/proc/meminfo: memFree=32021748/32770624 swapFree=5920/190852
[pid=11328] ppid=11325 vsize=31560 CPUtime=2141.93 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 16747 0 0 0 214193 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5877655 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2141.93
Current children cumulated vsize (KiB) 31560
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11400
/proc/meminfo: memFree=32021280/32770624 swapFree=5920/190900
[pid=11328] ppid=11325 vsize=31560 CPUtime=2201.93 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 17114 0 0 0 220193 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4249159 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2201.93
Current children cumulated vsize (KiB) 31560
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11423
/proc/meminfo: memFree=32020028/32770624 swapFree=5920/190904
[pid=11328] ppid=11325 vsize=31560 CPUtime=2261.91 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 17482 0 0 0 226191 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5820800 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2261.91
Current children cumulated vsize (KiB) 31560
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11424
/proc/meminfo: memFree=32020380/32770624 swapFree=5920/190944
[pid=11328] ppid=11325 vsize=31560 CPUtime=2321.9 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 17849 0 0 0 232190 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5753335 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2321.9
Current children cumulated vsize (KiB) 31560
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11425
/proc/meminfo: memFree=32019880/32770624 swapFree=5920/190976
[pid=11328] ppid=11325 vsize=31560 CPUtime=2381.89 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 18216 0 0 0 238189 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 4484566 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2381.89
Current children cumulated vsize (KiB) 31560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11557
/proc/meminfo: memFree=31920172/32770624 swapFree=5920/191096
[pid=11328] ppid=11325 vsize=31560 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 18583 0 0 0 240008 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5877893 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 31560
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 11328 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11557
/proc/meminfo: memFree=31920172/32770624 swapFree=5920/191096
[pid=11328] ppid=11325 vsize=31560 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/11328/stat : 11328 (MistralXCSP) R 11325 11328 9824 0 -1 4202496 18583 0 0 0 240008 0 0 0 20 0 1 0 1050934 32317440 1595 33554432000 4194304 7402444 140735618089744 140735618084760 5877893 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 38359040 140735618094248 140735618094398 140735618094398 140735618097097 0
/proc/11328/statm: 7890 1595 709 784 0 904 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 31560
Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.005998
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 31560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.005998
maximum resident set size= 6412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18622
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= 6
involuntary context switches= 120627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78062 second user time and 10.7737 second system time
The end