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-4240513-1500640655/watcher-4240513-1500640655 -o /tmp/evaluation-result-4240513-1500640655/solver-4240513-1500640655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500623787-3308 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 363423679 HOME/instance-4240513-1500640655.xml
pid=5847
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 3/186 5850
/proc/meminfo: memFree=28837320/32770624 swapFree=7088/3016016
[pid=5850] ppid=5847 vsize=29068 CPUtime=0 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 1036 0 0 0 0 0 0 0 20 0 1 0 17341908 29765632 802 33554432000 4194304 7402444 140723848535600 140723848532648 140636586998757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 7267 802 620 784 0 281 0
[startup+0.100161 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 5850
/proc/meminfo: memFree=28837320/32770624 swapFree=7088/3016016
[pid=5850] ppid=5847 vsize=42260 CPUtime=0.09 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 4462 0 0 0 8 1 0 0 20 0 1 0 17341908 43274240 4209 33554432000 4194304 7402444 140723848535600 140723848530616 4463889 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10565 4209 709 784 0 3579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42260
[startup+0.200356 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 5850
/proc/meminfo: memFree=28837320/32770624 swapFree=7088/3016016
[pid=5850] ppid=5847 vsize=42524 CPUtime=0.19 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 4551 0 0 0 18 1 0 0 20 0 1 0 17341908 43544576 4341 33554432000 4194304 7402444 140723848535600 140723848530616 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10631 4341 709 784 0 3645 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42524
[startup+0.30029 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 5850
/proc/meminfo: memFree=28837320/32770624 swapFree=7088/3016016
[pid=5850] ppid=5847 vsize=42656 CPUtime=0.29 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 4586 0 0 0 28 1 0 0 20 0 1 0 17341908 43679744 4341 33554432000 4194304 7402444 140723848535600 140723848530616 5753280 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10664 4341 709 784 0 3678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42656
[startup+0.70024 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 5850
/proc/meminfo: memFree=28837320/32770624 swapFree=7088/3016016
[pid=5850] ppid=5847 vsize=42920 CPUtime=0.69 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 4631 0 0 0 68 1 0 0 20 0 1 0 17341908 43950080 4407 33554432000 4194304 7402444 140723848535600 140723848530616 5877874 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10730 4407 709 784 0 3744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42920
[startup+1.50023 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28822036/32770624 swapFree=7088/3016024
[pid=5850] ppid=5847 vsize=43052 CPUtime=1.49 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 4653 0 0 0 148 1 0 0 20 0 1 0 17341908 44085248 4407 33554432000 4194304 7402444 140723848535600 140723848530616 4238471 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4407 709 784 0 3777 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43052
[startup+3.10024 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821744/32770624 swapFree=7088/3016000
[pid=5850] ppid=5847 vsize=43052 CPUtime=3.09 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 6278 0 0 0 308 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43052
[startup+6.30023 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821444/32770624 swapFree=7088/3016000
[pid=5850] ppid=5847 vsize=43052 CPUtime=6.29 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 7904 0 0 0 628 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5695885 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43052
[startup+12.7002 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821072/32770624 swapFree=7088/3016000
[pid=5850] ppid=5847 vsize=43052 CPUtime=12.69 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 9532 0 0 0 1268 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4712981 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43052
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821416/32770624 swapFree=7088/3016028
[pid=5850] ppid=5847 vsize=43052 CPUtime=25.49 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 12777 0 0 0 2548 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4708059 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43052
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821292/32770624 swapFree=7088/3016040
[pid=5850] ppid=5847 vsize=43052 CPUtime=51.09 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 14407 0 0 0 5108 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4484776 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43052
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5852
/proc/meminfo: memFree=28820548/32770624 swapFree=7088/3016076
[pid=5850] ppid=5847 vsize=43052 CPUtime=102.29 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 16029 0 0 0 10228 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4463905 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 43052
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 5861
/proc/meminfo: memFree=28819408/32770624 swapFree=7088/3016108
[pid=5850] ppid=5847 vsize=43052 CPUtime=162.28 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 17657 0 0 0 16227 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4747314 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 43052
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5862
/proc/meminfo: memFree=28820028/32770624 swapFree=7088/3016140
[pid=5850] ppid=5847 vsize=43052 CPUtime=222.28 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 18157 0 0 0 22227 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5750704 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 43052
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5863
/proc/meminfo: memFree=28820144/32770624 swapFree=7088/3016168
[pid=5850] ppid=5847 vsize=43052 CPUtime=282.27 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 18657 0 0 0 28226 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4463923 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 43052
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5864
/proc/meminfo: memFree=28820276/32770624 swapFree=7088/3016204
[pid=5850] ppid=5847 vsize=43052 CPUtime=342.27 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 19157 0 0 0 34226 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5871069 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 43052
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5865
/proc/meminfo: memFree=28820248/32770624 swapFree=7088/3016236
[pid=5850] ppid=5847 vsize=43052 CPUtime=402.27 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 19657 0 0 0 40226 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 43052
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5868
/proc/meminfo: memFree=28820752/32770624 swapFree=7088/3016272
[pid=5850] ppid=5847 vsize=43052 CPUtime=462.27 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 20157 0 0 0 46226 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4463919 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 43052
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5869
/proc/meminfo: memFree=28820488/32770624 swapFree=7088/3016300
[pid=5850] ppid=5847 vsize=43052 CPUtime=522.26 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 20657 0 0 0 52225 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5818225 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 43052
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5870
/proc/meminfo: memFree=28820348/32770624 swapFree=7088/3016332
[pid=5850] ppid=5847 vsize=43052 CPUtime=582.26 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 21155 0 0 0 58225 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5818314 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 43052
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 5925
/proc/meminfo: memFree=28819696/32770624 swapFree=7088/3016888
[pid=5850] ppid=5847 vsize=43052 CPUtime=1542.23 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 29164 0 0 0 154222 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4463833 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 43052
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 5926
/proc/meminfo: memFree=28819856/32770624 swapFree=7088/3016916
[pid=5850] ppid=5847 vsize=43052 CPUtime=1602.23 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 29664 0 0 0 160222 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 43052
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5927
/proc/meminfo: memFree=28819600/32770624 swapFree=7088/3016948
[pid=5850] ppid=5847 vsize=43052 CPUtime=1662.22 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 30164 0 0 0 166221 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4466976 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 43052
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5928
/proc/meminfo: memFree=28819104/32770624 swapFree=7088/3016976
[pid=5850] ppid=5847 vsize=43052 CPUtime=1722.22 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 30664 0 0 0 172221 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4747059 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 43052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5929
/proc/meminfo: memFree=28818732/32770624 swapFree=7088/3017004
[pid=5850] ppid=5847 vsize=43052 CPUtime=1782.22 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 31164 0 0 0 178221 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4484499 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 43052
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5930
/proc/meminfo: memFree=28819120/32770624 swapFree=7088/3017044
[pid=5850] ppid=5847 vsize=43052 CPUtime=1842.22 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 31663 0 0 0 184221 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4466912 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 43052
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5931
/proc/meminfo: memFree=28818872/32770624 swapFree=7088/3017072
[pid=5850] ppid=5847 vsize=43052 CPUtime=1902.22 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 32163 0 0 0 190221 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5877912 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 43052
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 5939
/proc/meminfo: memFree=28818252/32770624 swapFree=7088/3017108
[pid=5850] ppid=5847 vsize=43052 CPUtime=1962.21 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 32660 0 0 0 196220 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 43052
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 5940
/proc/meminfo: memFree=28818624/32770624 swapFree=7088/3017140
[pid=5850] ppid=5847 vsize=43052 CPUtime=2022.21 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 33160 0 0 0 202220 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4484656 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 43052
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5941
/proc/meminfo: memFree=28818864/32770624 swapFree=7088/3017168
[pid=5850] ppid=5847 vsize=43052 CPUtime=2082.21 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 33660 0 0 0 208220 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 43052
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 5942
/proc/meminfo: memFree=28818756/32770624 swapFree=7088/3017204
[pid=5850] ppid=5847 vsize=43052 CPUtime=2142.21 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 34160 0 0 0 214220 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 4464643 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 43052
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5943
/proc/meminfo: memFree=28818740/32770624 swapFree=7088/3017236
[pid=5850] ppid=5847 vsize=43052 CPUtime=2202.21 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 34660 0 0 0 220220 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5818000 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 43052
[startup+2262.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 6005
/proc/meminfo: memFree=28939692/32770624 swapFree=7088/3017320
[pid=5850] ppid=5847 vsize=43052 CPUtime=2262.2 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 35160 0 0 0 226219 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5750759 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 43052
[startup+2322.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 6006
/proc/meminfo: memFree=28939320/32770624 swapFree=7088/3017368
[pid=5850] ppid=5847 vsize=43052 CPUtime=2322.2 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 35660 0 0 0 232219 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5750448 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 43052
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 6007
/proc/meminfo: memFree=28939520/32770624 swapFree=7088/3017396
[pid=5850] ppid=5847 vsize=43052 CPUtime=2382.2 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 36160 0 0 0 238219 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5750759 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 43052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 6007
/proc/meminfo: memFree=28939520/32770624 swapFree=7088/3017404
[pid=5850] ppid=5847 vsize=43052 CPUtime=2400 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 36564 0 0 0 239999 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5870996 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 43052
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 5850 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 6007
/proc/meminfo: memFree=28939520/32770624 swapFree=7088/3017404
[pid=5850] ppid=5847 vsize=43052 CPUtime=2400 cores=1,3,5,7
/proc/5850/stat : 5850 (MistralXCSP) R 5847 5850 3276 0 -1 4202496 36564 0 0 0 239999 1 0 0 20 0 1 0 17341908 44085248 4445 33554432000 4194304 7402444 140723848535600 140723848530616 5870996 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 29011968 140723848537257 140723848537406 140723848537406 140723848540105 0
/proc/5850/statm: 10763 4445 709 784 0 3777 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 43052
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.01
CPU user time (s): 2399.99
CPU system time (s): 0.017999
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 43052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.017999
maximum resident set size= 17812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36606
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= 12
involuntary context switches= 120611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72171 second user time and 9.1273 second system time
The end