Trace number 4266790

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco-sat 1.12SAT (TO)7590561 240.00101 240.01199

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-ste36c.xml
MD5SUMd05a87fa530094a27b230f4f9ca3d0a8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4575483
Best CPU time to get the best result obtained on this benchmark252.15401
Satisfiable
(Un)Satisfiability was proved
Number of variables1332
Number of constraints631
Number of domains2
Minimum domain size36
Maximum domain size44
Distribution of domain sizes[{"size":36,"count":36},{"size":44,"count":630}]
Minimum variable degree0
Maximum variable degree36
Distribution of variable degrees[{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":630},{"arity":36,"count":1}]
Number of extensional constraints630
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":630},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.15	c SAT : Variables: 58320 -- Clauses: 1250028
0.10/0.16	c best=?? lower=-711237632 upper=0 
0.10/0.21	c
0.10/0.21	c This is cosoco 1.12 --  
0.10/0.21	c
0.10/0.21	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266790-1502599182.xml 
0.10/0.21	c enable optimization
0.10/0.21	c ========================================[ Problem Statistics ]===========================================
0.10/0.21	c |                                                                                                       
0.10/0.21	c |  Parse time        :         0.13 s 
0.10/0.21	c |
0.10/0.21	c |               Variables: 1332
0.10/0.21	c |            Domain Sizes: 36..44
0.10/0.21	c |
0.10/0.21	c |             Constraints: 632
0.10/0.21	c |                   Arity: 3..630  -- Ternary: 630
0.10/0.21	c | 
0.10/0.21	c |                   Types: 
0.10/0.21	c |                          All Different: 1
0.10/0.21	c |                          Extension: 630  (nb tuples: 1260..1260) -- (shared: 629)
0.10/0.21	c |                          Sum: 1
0.10/0.21	c |                          
0.10/0.21	c =========================================================================================================
0.10/0.21	conflict 69lvl : 35 bt34-1264:0(1657)X5057172
0.21/0.23	conflict 69lvl : 68 bt34-1228:0(3163)X5057244
0.21/0.24	conflict 69lvl : 68 bt35-1265:0(3148)X5057316
0.21/0.25	conflict 135lvl : 34 bt34-1197:0(1671)X5057388
0.21/0.26	conflict 69lvl : 68 bt33-1227:0(3192)X5057526
0.21/0.27	conflict 69lvl : 67 bt66-1230:0(3154)X5057598
0.21/0.28	conflict 102lvl : 66 bt661267:0(3171)X5057670
0.21/0.28	conflict 100lvl : 66 bt34-1271:0(3172)X5057775
0.21/0.29	conflict 69lvl : 66 bt66-1264:0(3173)X5057878
0.21/0.29	conflict 100lvl : 66 bt33-1193:0(3189)X5057950
0.21/0.31	conflict 69lvl : 67 bt66-1229:0(3137)X5058053
0.21/0.31	conflict 100lvl : 66 bt34-1270:0(3151)X5058125
0.31/0.32	conflict 69lvl : 66 bt66-1234:0(3143)X5058228
0.31/0.32	conflict 69lvl : 65 bt65-1235:0(3165)X5058300
0.31/0.33	conflict 69lvl : 67 bt67-1234:0(4391)X5058372
0.31/0.33	conflict 199lvl : 66 bt341194:0(4387)X5058444
0.31/0.34	conflict 101lvl : 66 bt66-1199:0(3181)X5058646
0.31/0.34	conflict 133lvl : 66 bt65-1270:0(3195)X5058750
0.51/0.58	o -7701644
0.51/0.58	c    1 calls to solver: best=-7701644 lower=-7701643 upper=0 
0.79/0.82	conflict 69lvl : 36 bt36-560:0(2822)X5062891
0.79/0.83	conflict 69lvl : 36 bt35-1087:0(2849)X5062963
0.79/0.83	conflict 69lvl : 38 bt35-550:0(3976)X5063035
0.89/0.98	conflict 69lvl : 38 bt38-668:0(4154)X5063674
0.89/0.98	conflict 69lvl : 38 bt37-1230:0(4181)X5063746
0.89/0.99	conflict 69lvl : 41 bt37-655:0(5406)X5063818
1.29/1.33	conflict 69lvl : 36 bt36-740:0(2822)X5068882
1.29/1.33	conflict 69lvl : 36 bt35-331:0(2849)X5068954
1.29/1.33	conflict 69lvl : 38 bt35-733:0(3976)X5069026
1.49/1.51	conflict 69lvl : 38 bt37-1124:0(4154)X5070649
1.49/1.51	conflict 69lvl : 41 bt37-1124:0(5407)X5070721
1.79/1.86	conflict 101lvl : 36 bt36-1206:0(2822)X5075447
1.79/1.86	conflict 69lvl : 36 bt35-547:0(2849)X5075551
1.79/1.86	conflict 132lvl : 35 bt34-619:0(2842)X5075623
1.79/1.87	conflict 69lvl : 38 bt38-630:0(3974)X5075758
1.79/1.87	conflict 69lvl : 38 bt37-1196:0(4001)X5075830
1.79/1.87	conflict 69lvl : 41 bt37-625:0(5170)X5075902
2.00/2.03	conflict 69lvl : 36 bt35-560:0(2822)X5077479
2.00/2.04	conflict 69lvl : 38 bt35-560:0(3977)X5077551
2.10/2.18	conflict 69lvl : 36 bt36-704:0(2822)X5078048
2.10/2.18	conflict 69lvl : 36 bt35-1051:0(2849)X5078120
2.10/2.18	conflict 69lvl : 38 bt35-1052:0(3976)X5078192
2.29/2.31	conflict 69lvl : 38 bt37-654:0(4154)X5078464
2.29/2.31	conflict 69lvl : 41 bt37-656:0(5406)X5078536
2.39/2.46	conflict 101lvl : 38 bt38-1165:0(4154)X5079850
2.39/2.46	conflict 69lvl : 38 bt37-654:0(4181)X5079954
2.39/2.47	conflict 69lvl : 41 bt37-1160:0(5406)X5080026
2.59/2.62	conflict 101lvl : 38 bt38-1050:0(4154)X5081420
2.59/2.62	conflict 69lvl : 38 bt37-1158:0(4181)X5081524
2.59/2.62	conflict 69lvl : 41 bt37-1052:0(5405)X5081596
2.89/2.96	conflict 69lvl : 36 bt35-1052:0(2822)X5086363
2.89/2.96	conflict 69lvl : 38 bt35-1052:0(3977)X5086435
3.10/3.12	conflict 101lvl : 36 bt36-126:0(2822)X5088021
3.10/3.12	conflict 69lvl : 36 bt35-1051:0(2849)X5088125
3.10/3.12	conflict 101lvl : 38 bt35-128:0(3976)X5088197
3.29/3.30	conflict 69lvl : 38 bt37-1050:0(4154)X5090368
3.29/3.30	conflict 69lvl : 41 bt37-1051:0(5406)X5090440
3.39/3.45	conflict 69lvl : 38 bt38-656:0(4154)X5091834
3.39/3.46	conflict 102lvl : 38 bt37-1050:0(4181)X5091906
3.39/3.46	conflict 69lvl : 41 bt37-1051:0(5406)X5092011
3.59/3.61	conflict 133lvl : 38 bt38-1244:0(4154)X5093405
3.59/3.61	conflict 69lvl : 38 bt37-1050:0(4181)X5093541
3.59/3.61	conflict 69lvl : 41 bt37-1237:0(5406)X5093613
3.89/3.95	conflict 69lvl : 36 bt35-584:0(2822)X5098123
3.89/3.95	conflict 69lvl : 38 bt35-584:0(3977)X5098195
4.10/4.14	conflict 69lvl : 38 bt38-944:0(4154)X5100334
4.10/4.14	conflict 69lvl : 38 bt37-1266:0(4181)X5100406
4.10/4.14	conflict 69lvl : 41 bt37-943:0(5406)X5100478
4.19/4.21	conflict 101lvl : 38 bt38-56:0(4154)X5100680
4.19/4.21	conflict 69lvl : 38 bt37-942:0(4181)X5100784
4.19/4.22	conflict 69lvl : 41 bt37-44:0(5406)X5100856
4.29/4.37	conflict 101lvl : 38 bt38-402:0(4154)X5102053
4.29/4.37	conflict 69lvl : 38 bt37-42:0(4181)X5102157
4.29/4.37	conflict 69lvl : 41 bt37-409:0(5405)X5102229
4.49/4.52	conflict 101lvl : 38 bt38-78:0(4154)X5103623
4.49/4.52	conflict 69lvl : 38 bt37-402:0(4181)X5103727
4.49/4.53	conflict 69lvl : 41 bt37-85:0(5405)X5103799
4.59/4.68	conflict 101lvl : 38 bt38-1194:0(4154)X5105193
4.59/4.68	conflict 69lvl : 38 bt37-78:0(4181)X5105297
4.59/4.68	conflict 69lvl : 41 bt37-1201:0(5405)X5105369
4.79/4.83	conflict 101lvl : 38 bt38-222:0(4154)X5106763
4.79/4.84	conflict 69lvl : 38 bt37-1194:0(4181)X5106867
4.79/4.84	conflict 69lvl : 41 bt37-229:0(5405)X5106939
5.19/5.20	conflict 69lvl : 38 bt37-690:0(4154)X5110518
5.19/5.20	conflict 69lvl : 41 bt37-691:0(5406)X5110590
5.29/5.36	conflict 69lvl : 38 bt38-510:0(4154)X5111984
5.29/5.36	conflict 69lvl : 38 bt37-150:0(4181)X5112056
5.29/5.36	conflict 69lvl : 41 bt37-151:0(5405)X5112128
5.49/5.51	conflict 69lvl : 38 bt38-656:0(4154)X5113522
5.49/5.51	conflict 101lvl : 38 bt37-150:0(4181)X5113594
5.49/5.52	conflict 69lvl : 41 bt37-151:0(5406)X5113698
5.79/5.88	conflict 101lvl : 38 bt37-726:0(4181)X5115529
5.79/5.88	conflict 69lvl : 41 bt37-164:0(5406)X5115633
6.00/6.03	conflict 101lvl : 38 bt38-596:0(4154)X5117027
6.00/6.03	conflict 69lvl : 38 bt37-1194:0(4181)X5117131
6.00/6.04	conflict 69lvl : 41 bt37-1195:0(5406)X5117203
6.10/6.19	conflict 101lvl : 38 bt38-114:0(4154)X5118597
6.10/6.19	conflict 69lvl : 38 bt37-1194:0(4181)X5118701
6.10/6.19	conflict 69lvl : 41 bt37-1195:0(5405)X5118773
6.19/6.28	conflict 101lvl : 38 bt37-157:0(4154)X5119060
6.19/6.29	conflict 69lvl : 41 bt37-157:0(5407)X5119164
6.39/6.43	conflict 101lvl : 38 bt37-114:0(4154)X5120174
6.39/6.43	conflict 166lvl : 37 bt36-1194:0(4175)X5120278
6.39/6.43	conflict 102lvl : 40 bt40157:0(5403)X5120447
6.39/6.44	conflict 69lvl : 45 bt40-116:0(6505)X5120552
6.49/6.59	conflict 101lvl : 38 bt37-438:0(4181)X5122070
6.49/6.59	conflict 69lvl : 41 bt37-151:0(5406)X5122174
6.89/6.93	conflict 134lvl : 37 bt37690:0(4152)X5126856
6.89/6.93	conflict 101lvl : 41 bt37116:0(5406)X5126993
7.00/7.08	conflict 69lvl : 37 bt37-150:0(4151)X5128419
7.00/7.08	conflict 100lvl : 37 bt36-114:0(4175)X5128491
7.00/7.09	conflict 135lvl : 40 bt40692:0(5401)X5128594
7.00/7.09	conflict 101lvl : 45 bt40121:0(6505)X5128732
7.19/7.24	conflict 69lvl : 38 bt38-1196:0(4154)X5130282
7.19/7.24	conflict 100lvl : 38 bt36-690:0(4181)X5130354
7.19/7.25	conflict 68lvl : 41 bt41-1195:0(5404)X5130457
7.19/7.25	conflict 69lvl : 41 bt40-691:0(5431)X5130528
7.59/7.60	conflict 133lvl : 36 bt36-114:0(4146)X5135685
7.59/7.60	conflict 100lvl : 40 bt36-151:0(5426)X5135821
7.69/7.76	conflict 69lvl : 37 bt37-151:0(4151)X5137244
7.69/7.76	conflict 100lvl : 37 bt36-6:0(4175)X5137316
7.69/7.76	conflict 102lvl : 40 bt4013:0(5402)X5137419
7.89/7.91	conflict 69lvl : 38 bt38-1195:0(4154)X5138927
7.89/7.91	conflict 100lvl : 38 bt37-6:0(4181)X5138999
7.89/7.92	conflict 69lvl : 41 bt37-8:0(5406)X5139102
8.00/8.07	conflict 69lvl : 38 bt38-1165:0(4154)X5140496
8.00/8.07	conflict 101lvl : 38 bt37-6:0(4181)X5140568
8.00/8.07	conflict 69lvl : 41 bt37-7:0(5406)X5140672
8.19/8.22	conflict 101lvl : 37 bt37-114:0(4152)X5142066
8.19/8.22	conflict 101lvl : 41 bt37-7:0(5405)X5142170
8.49/8.58	conflict 165lvl : 36 bt366:0(4146)X5145775
8.49/8.58	conflict 101lvl : 40 bt36-164:0(5401)X5145943
8.59/8.69	conflict 134lvl : 37 bt37-114:0(4149)X5146549
8.69/8.70	conflict 133lvl : 37 bt36-1194:0(4175)X5146686
8.69/8.70	conflict 101lvl : 40 bt40-115:0(5399)X5146822
9.00/9.06	conflict 103lvl : 37 bt377:0(4151)X5152259
9.00/9.06	conflict 132lvl : 37 bt36-6:0(4175)X5152365
9.00/9.07	conflict 69lvl : 40 bt40-1196:0(5401)X5152500
9.00/9.07	conflict 69lvl : 45 bt40-1196:0(6505)X5152572
9.19/9.22	conflict 131lvl : 37 bt36-6:0(4175)X5154090
9.19/9.23	conflict 69lvl : 41 bt40-152:0(5404)X5154224
9.49/9.58	conflict 135lvl : 37 bt37548:0(4150)X5158314
9.49/9.58	conflict 100lvl : 37 bt36-546:0(4175)X5158452
9.49/9.59	conflict 69lvl : 41 bt40-115:0(5404)X5158555
9.49/9.59	conflict 169lvl : 45 bt40553:0(6504)X5158627
9.69/9.75	conflict 132lvl : 37 bt36-1230:0(4175)X5160245
9.69/9.75	conflict 102lvl : 41 bt40-1195:0(5404)X5160380
9.69/9.75	conflict 69lvl : 45 bt40-1201:0(6504)X5160485
9.89/9.90	conflict 69lvl : 37 bt37-8:0(4151)X5162003
9.89/9.90	conflict 100lvl : 37 bt36-1230:0(4175)X5162075
9.89/9.91	conflict 69lvl : 41 bt40-152:0(5404)X5162178
9.89/9.91	conflict 102lvl : 45 bt40-152:0(6505)X5162250
10.00/10.06	conflict 101lvl : 37 bt37-6:0(4152)X5163801
10.00/10.06	conflict 69lvl : 41 bt37-7:0(5405)X5163905
10.39/10.43	conflict 101lvl : 38 bt38-1172:0(4154)X5169623
10.39/10.43	conflict 101lvl : 38 bt37-402:0(4181)X5169727
10.39/10.43	conflict 69lvl : 41 bt37-1159:0(5406)X5169831
10.69/10.79	conflict 101lvl : 38 bt38-1208:0(4154)X5172973
10.79/10.80	conflict 101lvl : 38 bt37-1050:0(4181)X5173077
10.79/10.80	conflict 69lvl : 41 bt37-1195:0(5406)X5173181
10.89/10.95	conflict 69lvl : 38 bt38-1159:0(4151)X5174575
10.89/10.95	conflict 101lvl : 38 bt37-582:0(4178)X5174647
10.89/10.96	conflict 69lvl : 41 bt37-583:0(5403)X5174751
11.19/11.28	o -7590561
11.69/11.77	conflict 69lvl : 38 bt38-800:0(4154)X5180238
11.69/11.77	conflict 69lvl : 38 bt37-402:0(4181)X5180310
11.69/11.77	conflict 69lvl : 41 bt37-799:0(5406)X5180382
11.89/11.92	conflict 101lvl : 38 bt38-776:0(4154)X5181776
11.89/11.93	conflict 69lvl : 38 bt37-42:0(4181)X5181880
11.89/11.93	conflict 69lvl : 41 bt37-763:0(5406)X5181952
12.00/12.08	conflict 69lvl : 38 bt38-416:0(4154)X5183346
12.00/12.08	conflict 101lvl : 38 bt37-978:0(4181)X5183418
12.00/12.08	conflict 69lvl : 41 bt37-403:0(5406)X5183522
12.19/12.23	conflict 69lvl : 38 bt37-763:0(4154)X5184916
12.19/12.24	conflict 69lvl : 41 bt37-763:0(5407)X5184988
12.49/12.59	conflict 101lvl : 38 bt38-805:0(4154)X5190902
12.49/12.59	conflict 101lvl : 38 bt37-1122:0(4181)X5191006
12.59/12.60	conflict 69lvl : 41 bt37-799:0(5406)X5191110
12.69/12.75	conflict 69lvl : 38 bt38-596:0(4154)X5192504
12.69/12.75	conflict 101lvl : 38 bt37-186:0(4181)X5192576
12.69/12.75	conflict 69lvl : 41 bt37-583:0(5406)X5192680
12.89/12.90	conflict 132lvl : 38 bt38-308:0(4154)X5194074
12.89/12.90	conflict 69lvl : 38 bt37-978:0(4181)X5194209
12.89/12.91	conflict 69lvl : 41 bt37-295:0(5406)X5194281
13.00/13.06	conflict 131lvl : 38 bt38-1136:0(4154)X5195675
13.00/13.06	conflict 101lvl : 38 bt37-6:0(4181)X5195809
13.00/13.06	conflict 69lvl : 41 bt37-1123:0(5406)X5195913
13.39/13.42	conflict 101lvl : 38 bt37-150:0(4181)X5201463
13.39/13.42	conflict 69lvl : 41 bt37-152:0(5406)X5201567
13.49/13.57	conflict 101lvl : 38 bt38-704:0(4154)X5202961
13.49/13.57	conflict 100lvl : 38 bt37-42:0(4181)X5203065
13.49/13.58	conflict 69lvl : 41 bt37-691:0(5406)X5203168
13.69/13.73	conflict 69lvl : 38 bt38-295:0(4154)X5204562
13.69/13.73	conflict 101lvl : 38 bt37-798:0(4181)X5204634
13.69/13.73	conflict 69lvl : 41 bt37-296:0(5406)X5204738
14.00/14.09	conflict 133lvl : 36 bt36-114:0(4146)X5210669
14.00/14.10	conflict 102lvl : 45 bt40-128:0(6501)X5210805
14.19/14.25	conflict 101lvl : 38 bt37-150:0(4154)X5212356
14.19/14.26	conflict 101lvl : 41 bt37-164:0(5406)X5212460
14.29/14.33	conflict 101lvl : 38 bt37-150:0(4154)X5212694
14.29/14.33	conflict 69lvl : 41 bt37-151:0(5406)X5212798
14.39/14.47	conflict 101lvl : 38 bt37-114:0(4154)X5213995
14.39/14.48	conflict 69lvl : 41 bt37-115:0(5406)X5214099
14.59/14.63	conflict 100lvl : 38 bt37-978:0(4151)X5215493
14.59/14.63	conflict 69lvl : 41 bt37-979:0(5403)X5215596
15.10/15.19	conflict 132lvl : 38 bt38-1172:0(4154)X5222943
15.19/15.20	conflict 101lvl : 38 bt37-726:0(4181)X5223078
15.19/15.20	conflict 69lvl : 41 bt37-1159:0(5406)X5223182
15.29/15.36	conflict 101lvl : 38 bt37-582:0(4154)X5224576
15.29/15.36	conflict 69lvl : 41 bt37-583:0(5406)X5224680
15.49/15.51	conflict 69lvl : 38 bt38-727:0(4154)X5226074
15.49/15.51	conflict 101lvl : 38 bt37-402:0(4181)X5226146
15.49/15.52	conflict 101lvl : 41 bt37-740:0(5406)X5226250
15.59/15.66	conflict 132lvl : 38 bt38-236:0(4154)X5227676
15.59/15.67	conflict 101lvl : 38 bt37-186:0(4181)X5227811
15.59/15.67	conflict 69lvl : 41 bt37-223:0(5406)X5227915
15.79/15.82	conflict 69lvl : 38 bt38-1231:0(4151)X5229309
15.79/15.82	conflict 101lvl : 38 bt37-582:0(4178)X5229381
15.79/15.83	conflict 69lvl : 41 bt37-583:0(5403)X5229485
16.10/16.17	conflict 102lvl : 37 bt37187:0(4151)X5234589
16.10/16.18	conflict 100lvl : 37 bt36-186:0(4175)X5234694
16.10/16.18	conflict 100lvl : 41 bt36-200:0(5404)X5234797
16.29/16.33	conflict 69lvl : 38 bt38-619:0(4154)X5236220
16.29/16.34	conflict 69lvl : 38 bt37-978:0(4181)X5236292
16.29/16.34	conflict 69lvl : 41 bt37-992:0(5406)X5236364
16.39/16.49	conflict 101lvl : 38 bt38-301:0(4154)X5237758
16.39/16.49	conflict 101lvl : 38 bt37-582:0(4181)X5237862
16.39/16.49	conflict 136lvl : 41 bt37584:0(5406)X5237966
16.59/16.64	conflict 134lvl : 38 bt37-43:0(4154)X5239427
16.59/16.64	conflict 133lvl : 37 bt36-1122:0(4175)X5239564
16.59/16.65	conflict 69lvl : 41 bt41-43:0(5405)X5239700
16.59/16.65	conflict 69lvl : 41 bt40-799:0(5432)X5239772
16.59/16.66	conflict 69lvl : 45 bt40-805:0(6504)X5239844
16.79/16.80	conflict 69lvl : 38 bt38-224:0(4151)X5241362
16.79/16.80	conflict 101lvl : 38 bt37-1122:0(4178)X5241434
16.79/16.81	conflict 69lvl : 41 bt37-223:0(5403)X5241538
17.10/17.17	conflict 101lvl : 38 bt38-1028:0(4154)X5245564
17.10/17.17	conflict 69lvl : 38 bt37-402:0(4181)X5245668
17.10/17.18	conflict 69lvl : 41 bt37-1015:0(5406)X5245740
17.29/17.31	conflict 101lvl : 38 bt38-740:0(4154)X5246572
17.29/17.31	conflict 101lvl : 38 bt37-1014:0(4181)X5246676
17.29/17.31	conflict 132lvl : 37 bt36-618:0(4175)X5246780
17.29/17.32	conflict 69lvl : 41 bt40-1016:0(5404)X5246915
17.39/17.42	conflict 69lvl : 38 bt38-1195:0(4154)X5247310
17.39/17.42	conflict 100lvl : 38 bt37-726:0(4181)X5247382
17.39/17.42	conflict 69lvl : 41 bt37-1208:0(5406)X5247485
17.49/17.57	conflict 132lvl : 38 bt38-632:0(4154)X5248879
17.49/17.57	conflict 69lvl : 38 bt37-1194:0(4181)X5249014
17.49/17.58	conflict 69lvl : 41 bt37-620:0(5406)X5249086
17.69/17.73	conflict 101lvl : 38 bt38-1122:0(4154)X5250480
17.69/17.73	conflict 100lvl : 38 bt37-618:0(4181)X5250584
17.69/17.73	conflict 69lvl : 41 bt37-1124:0(5405)X5250687
17.79/17.88	conflict 69lvl : 38 bt38-907:0(4151)X5252081
17.79/17.88	conflict 69lvl : 38 bt37-78:0(4178)X5252153
17.79/17.89	conflict 69lvl : 41 bt37-92:0(5403)X5252225
18.19/18.24	conflict 69lvl : 38 bt38-812:0(4154)X5256772
18.19/18.25	conflict 101lvl : 38 bt37-366:0(4181)X5256844
18.19/18.25	conflict 69lvl : 41 bt37-799:0(5406)X5256948
18.39/18.40	conflict 101lvl : 38 bt38-445:0(4154)X5258342
18.39/18.40	conflict 69lvl : 38 bt37-798:0(4181)X5258446
18.39/18.40	conflict 69lvl : 41 bt37-799:0(5406)X5258518
18.49/18.55	conflict 101lvl : 38 bt38-656:0(4154)X5259912
18.49/18.56	conflict 101lvl : 38 bt37-798:0(4181)X5260016
18.49/18.56	conflict 69lvl : 41 bt37-799:0(5406)X5260120
18.69/18.71	conflict 132lvl : 38 bt38-1172:0(4154)X5261514
18.69/18.71	conflict 101lvl : 38 bt37-798:0(4181)X5261649
18.69/18.72	conflict 69lvl : 41 bt37-1165:0(5406)X5261753
19.00/19.03	conflict 131lvl : 38 bt37-236:0(4154)X5263353
19.00/19.03	conflict 101lvl : 41 bt37-236:0(5407)X5263487
19.10/19.18	conflict 136lvl : 37 bt37979:0(4152)X5264913
19.10/19.19	conflict 100lvl : 37 bt36-978:0(4175)X5265052
19.10/19.19	conflict 102lvl : 40 bt40985:0(5402)X5265155
19.10/19.19	conflict 69lvl : 45 bt40-44:0(6504)X5265260
19.29/19.34	conflict 69lvl : 38 bt38-764:0(4154)X5266778
19.29/19.34	conflict 101lvl : 38 bt37-978:0(4181)X5266850
19.29/19.35	conflict 69lvl : 41 bt37-763:0(5406)X5266954
19.69/19.70	conflict 101lvl : 38 bt38-164:0(4154)X5272244
19.69/19.70	conflict 100lvl : 38 bt36-222:0(4181)X5272348
19.69/19.70	conflict 69lvl : 41 bt40-151:0(5404)X5272451
19.69/19.71	conflict 101lvl : 45 bt40229:0(6504)X5272523
19.79/19.86	conflict 134lvl : 38 bt37-764:0(4154)X5274073
19.79/19.86	conflict 166lvl : 37 bt36-42:0(4175)X5274210
19.79/19.86	conflict 69lvl : 40 bt40-43:0(5403)X5274379
20.00/20.02	conflict 100lvl : 37 bt36-582:0(4175)X5275854
20.10/20.16	conflict 100lvl : 37 bt36-78:0(4175)X5277360
20.10/20.17	conflict 69lvl : 41 bt40-43:0(5404)X5277463
20.10/20.17	conflict 101lvl : 45 bt4085:0(6504)X5277535
20.29/20.32	conflict 101lvl : 40 bt40-776:0(6743)X5279085
20.79/20.84	conflict 131lvl : 38 bt38-992:0(4154)X5284571
20.79/20.85	conflict 101lvl : 38 bt37-78:0(4181)X5284705
20.79/20.85	conflict 69lvl : 41 bt37-979:0(5406)X5284809
20.89/20.99	conflict 136lvl : 37 bt3779:0(4152)X5286203
20.89/21.00	conflict 69lvl : 41 bt37-151:0(5406)X5286342
21.10/21.14	conflict 101lvl : 37 bt37-79:0(4151)X5287736
21.10/21.14	conflict 132lvl : 37 bt36-762:0(4175)X5287840
21.10/21.15	conflict 134lvl : 40 bt4085:0(5399)X5287975
21.10/21.15	conflict 69lvl : 45 bt40-44:0(6502)X5288112
21.39/21.48	conflict 101lvl : 38 bt38-85:0(4154)X5293590
21.39/21.48	conflict 102lvl : 38 bt37-222:0(4181)X5293694
21.39/21.49	conflict 69lvl : 41 bt37-79:0(5406)X5293799
21.59/21.63	conflict 69lvl : 38 bt37-871:0(4154)X5295193
21.59/21.63	conflict 69lvl : 41 bt37-871:0(5407)X5295265
21.69/21.78	conflict 100lvl : 38 bt37-222:0(4154)X5296659
21.69/21.78	conflict 69lvl : 41 bt37-224:0(5406)X5296762
21.89/21.92	conflict 102lvl : 38 bt37-114:0(4181)X5298156
21.89/21.93	conflict 69lvl : 41 bt37-589:0(5406)X5298261
22.19/22.25	conflict 69lvl : 41 bt37-85:0(5405)X5301969
22.39/22.40	conflict 167lvl : 37 bt37763:0(4152)X5303363
22.39/22.40	conflict 132lvl : 37 bt36-762:0(4175)X5303533
22.39/22.40	conflict 102lvl : 40 bt40188:0(5401)X5303668
22.39/22.41	conflict 100lvl : 40 bt36-187:0(5426)X5303773
22.49/22.55	conflict 101lvl : 38 bt38-798:0(4154)X5305196
22.49/22.55	conflict 101lvl : 38 bt37-582:0(4181)X5305300
22.49/22.55	conflict 101lvl : 41 bt37-812:0(5405)X5305404
22.59/22.70	conflict 168lvl : 37 bt37224:0(4150)X5306830
22.69/22.70	conflict 100lvl : 37 bt36-222:0(4175)X5307001
22.69/22.70	conflict 69lvl : 40 bt40-44:0(5402)X5307104
22.69/22.71	conflict 101lvl : 45 bt40224:0(6505)X5307176
22.79/22.85	conflict 103lvl : 37 bt37583:0(4152)X5308726
22.79/22.85	conflict 100lvl : 37 bt36-582:0(4175)X5308832
22.79/22.85	conflict 69lvl : 41 bt40-764:0(5404)X5308935
22.79/22.86	conflict 69lvl : 45 bt40-764:0(6505)X5309007
23.10/23.19	conflict 134lvl : 37 bt37193:0(4151)X5314287
23.10/23.19	conflict 131lvl : 37 bt36-186:0(4175)X5314424
23.19/23.20	conflict 69lvl : 45 bt40-121:0(6504)X5314558
23.29/23.34	conflict 69lvl : 38 bt38-80:0(4154)X5316076
23.29/23.34	conflict 101lvl : 38 bt37-186:0(4181)X5316148
23.29/23.35	conflict 69lvl : 41 bt37-79:0(5406)X5316252
23.39/23.49	conflict 69lvl : 40 bt40-979:0(5401)X5317646
23.59/23.63	conflict 101lvl : 38 bt37-151:0(4154)X5319082
23.59/23.64	conflict 132lvl : 37 bt36-42:0(4175)X5319186
23.59/23.64	conflict 69lvl : 41 bt40-157:0(5404)X5319321
23.89/23.98	conflict 69lvl : 37 bt37-79:0(4151)X5322533
23.89/23.99	conflict 100lvl : 37 bt36-114:0(4175)X5322605
23.89/23.99	conflict 102lvl : 40 bt40121:0(5402)X5322708
23.89/23.99	conflict 69lvl : 45 bt40-92:0(6503)X5322813
24.00/24.08	conflict 131lvl : 37 bt36-582:0(4175)X5323155
24.00/24.09	conflict 69lvl : 40 bt40-121:0(5401)X5323289
24.00/24.09	conflict 101lvl : 45 bt40116:0(6505)X5323361
24.39/24.42	conflict 101lvl : 37 bt37-762:0(4152)X5327809
24.39/24.42	conflict 69lvl : 41 bt37-769:0(5405)X5327913
24.49/24.56	conflict 100lvl : 37 bt36-474:0(4175)X5329307
24.49/24.57	conflict 134lvl : 40 bt40476:0(5400)X5329410
24.49/24.57	conflict 133lvl : 40 bt36-475:0(5426)X5329547
24.69/24.71	conflict 102lvl : 37 bt37979:0(4151)X5331003
24.69/24.71	conflict 100lvl : 37 bt36-978:0(4175)X5331108
24.79/24.86	conflict 131lvl : 37 bt36-978:0(4175)X5332614
24.79/24.87	conflict 69lvl : 40 bt40-56:0(5401)X5332748
24.79/24.87	conflict 101lvl : 40 bt36-763:0(5426)X5332820
25.00/25.01	conflict 101lvl : 38 bt38-85:0(4151)X5334244
25.00/25.01	conflict 100lvl : 38 bt37-582:0(4178)X5334348
25.00/25.02	conflict 101lvl : 41 bt37-583:0(5404)X5334451
25.29/25.35	conflict 135lvl : 37 bt37121:0(4151)X5339679
25.29/25.35	conflict 132lvl : 37 bt36-114:0(4175)X5339817
25.29/25.36	conflict 69lvl : 45 bt40-776:0(6504)X5339952
25.49/25.50	conflict 100lvl : 37 bt37-78:0(4152)X5341470
25.49/25.50	conflict 101lvl : 41 bt37-115:0(5405)X5341573
25.59/25.64	conflict 101lvl : 37 bt37-150:0(4151)X5342999
25.59/25.65	conflict 133lvl : 37 bt36-114:0(4175)X5343103
25.59/25.65	conflict 134lvl : 40 bt40116:0(5400)X5343239
25.59/25.65	conflict 69lvl : 45 bt40-596:0(6503)X5343376
25.79/25.80	conflict 101lvl : 38 bt37-979:0(5436)X5344894
25.79/25.80	conflict 69lvl : 41 bt37-114:0(5280)X5344998
26.10/26.14	conflict 131lvl : 37 bt37-78:0(4152)X5350784
26.10/26.14	conflict 101lvl : 41 bt37-157:0(5406)X5350918
26.19/26.29	conflict 133lvl : 37 bt36-222:0(4175)X5352344
26.19/26.29	conflict 101lvl : 41 bt41-596:0(5404)X5352480
26.19/26.29	conflict 101lvl : 41 bt40-223:0(5431)X5352584
26.39/26.43	conflict 136lvl : 37 bt3743:0(4151)X5354091
26.39/26.43	conflict 133lvl : 37 bt36-42:0(4175)X5354230
26.39/26.44	conflict 102lvl : 40 bt40152:0(5401)X5354366
26.39/26.44	conflict 69lvl : 45 bt40-56:0(6503)X5354471
26.49/26.58	conflict 69lvl : 37 bt37-763:0(4151)X5355989
26.49/26.58	conflict 133lvl : 37 bt36-582:0(4175)X5356061
26.49/26.59	conflict 102lvl : 40 bt40769:0(5401)X5356197
26.49/26.59	conflict 100lvl : 40 bt36-763:0(5426)X5356302
26.69/26.73	conflict 101lvl : 38 bt38-121:0(4151)X5357725
26.69/26.74	conflict 100lvl : 38 bt37-42:0(4178)X5357829
26.69/26.74	conflict 101lvl : 41 bt37-43:0(5403)X5357932
27.00/27.07	conflict 69lvl : 37 bt37-151:0(4151)X5362513
27.00/27.08	conflict 100lvl : 37 bt36-78:0(4175)X5362585
27.00/27.08	conflict 102lvl : 40 bt4085:0(5401)X5362688
27.19/27.22	conflict 101lvl : 38 bt37-835:0(4151)X5364196
27.19/27.23	conflict 133lvl : 37 bt36-582:0(4172)X5364300
27.19/27.23	conflict 100lvl : 41 bt40-848:0(5401)X5364436
27.49/27.55	conflict 101lvl : 37 bt37-223:0(4151)X5369006
27.49/27.56	conflict 133lvl : 37 bt36-114:0(4175)X5369110
27.49/27.56	conflict 102lvl : 40 bt40121:0(5401)X5369246
27.69/27.70	conflict 101lvl : 38 bt38-1015:0(4154)X5370754
27.69/27.71	conflict 101lvl : 38 bt37-114:0(4181)X5370858
27.69/27.71	conflict 69lvl : 41 bt37-121:0(5406)X5370962
27.79/27.82	conflict 100lvl : 37 bt36-762:0(4175)X5371538
27.79/27.82	conflict 69lvl : 45 bt40-128:0(6505)X5371641
27.89/27.93	conflict 135lvl : 40 bt4044:0(5400)X5372293
28.19/28.21	conflict 101lvl : 38 bt37-439:0(4151)X5375159
28.19/28.22	conflict 133lvl : 37 bt36-42:0(4172)X5375263
28.19/28.22	conflict 69lvl : 41 bt40-440:0(5401)X5375399
28.19/28.23	conflict 69lvl : 45 bt40-440:0(6502)X5375471
28.49/28.56	conflict 100lvl : 37 bt37-222:0(4152)X5380713
28.49/28.56	conflict 100lvl : 41 bt37-128:0(5405)X5380816
28.69/28.70	conflict 167lvl : 37 bt37224:0(4150)X5382241
28.69/28.70	conflict 131lvl : 37 bt36-222:0(4175)X5382411
28.69/28.71	conflict 100lvl : 40 bt36-223:0(5426)X5382545
28.79/28.85	conflict 167lvl : 37 bt37224:0(4146)X5383968
28.79/28.86	conflict 166lvl : 37 bt36-223:0(4172)X5384138
28.79/28.86	conflict 134lvl : 40 bt40224:0(5397)X5384307
29.09/29.19	conflict 132lvl : 37 bt37-115:0(4150)X5387726
29.09/29.19	conflict 133lvl : 37 bt36-114:0(4175)X5387861
29.29/29.34	conflict 69lvl : 37 bt37-128:0(4150)X5389400
29.29/29.34	conflict 101lvl : 37 bt36-582:0(4175)X5389472
29.29/29.35	conflict 101lvl : 40 bt36-835:0(5426)X5389576
29.39/29.49	conflict 69lvl : 38 bt38-1016:0(4154)X5391000
29.39/29.49	conflict 101lvl : 38 bt37-42:0(4181)X5391072
29.49/29.50	conflict 69lvl : 41 bt37-43:0(5406)X5391176
29.59/29.64	conflict 168lvl : 37 bt37548:0(4147)X5392570
29.59/29.64	conflict 100lvl : 37 bt36-546:0(4172)X5392741
29.59/29.65	conflict 101lvl : 41 bt40-547:0(5428)X5392844
29.59/29.65	conflict 133lvl : 45 bt40553:0(6501)X5392948
29.89/29.99	conflict 69lvl : 38 bt38-121:0(4154)X5396840
29.89/29.99	conflict 100lvl : 38 bt37-438:0(4181)X5396912
29.89/30.00	conflict 101lvl : 41 bt37-115:0(5406)X5397015
30.09/30.14	conflict 165lvl : 36 bt36439:0(4146)X5398441
30.09/30.15	conflict 135lvl : 40 bt40224:0(5401)X5398609
30.18/30.29	conflict 69lvl : 38 bt38-439:0(4154)X5400150
30.18/30.29	conflict 101lvl : 38 bt37-222:0(4181)X5400222
30.18/30.29	conflict 101lvl : 41 bt37-236:0(5406)X5400326
30.38/30.44	conflict 102lvl : 37 bt3779:0(4148)X5401752
30.38/30.44	conflict 100lvl : 37 bt36-78:0(4172)X5401857
30.38/30.45	conflict 101lvl : 45 bt40-56:0(6502)X5401960
30.68/30.78	conflict 100lvl : 37 bt36-402:0(4172)X5407619
30.68/30.79	conflict 69lvl : 45 bt40-229:0(6500)X5407722
30.88/30.93	conflict 103lvl : 37 bt37332:0(4149)X5409240
30.88/30.94	conflict 100lvl : 37 bt36-330:0(4172)X5409346
30.88/30.94	conflict 69lvl : 41 bt40-409:0(5401)X5409449
30.88/30.94	conflict 101lvl : 45 bt40337:0(6502)X5409521
31.18/31.28	conflict 101lvl : 37 bt37-187:0(4148)X5413261
31.18/31.28	conflict 132lvl : 37 bt36-798:0(4172)X5413365
31.18/31.29	conflict 102lvl : 40 bt40805:0(5398)X5413500
31.18/31.29	conflict 69lvl : 45 bt40-200:0(6500)X5413605
31.38/31.43	conflict 69lvl : 37 bt37-800:0(4151)X5415123
31.38/31.44	conflict 100lvl : 37 bt36-186:0(4175)X5415195
31.38/31.44	conflict 101lvl : 41 bt41188:0(5404)X5415298
31.38/31.44	conflict 101lvl : 41 bt40188:0(5431)X5415402
31.38/31.45	conflict 102lvl : 45 bt40-800:0(6505)X5415506
31.48/31.59	conflict 101lvl : 38 bt37-150:0(4151)X5417057
31.48/31.59	conflict 69lvl : 41 bt37-157:0(5403)X5417161
31.68/31.73	conflict 101lvl : 38 bt38-589:0(4151)X5418555
31.68/31.73	conflict 100lvl : 38 bt37-1266:0(4178)X5418659
31.68/31.74	conflict 101lvl : 41 bt37-1267:0(5403)X5418762
32.18/32.25	conflict 133lvl : 40 bt36-223:0(5423)X5424097
32.38/32.40	conflict 69lvl : 38 bt38-259:0(4151)X5425553
32.38/32.40	conflict 69lvl : 38 bt37-870:0(4178)X5425625
32.38/32.41	conflict 102lvl : 41 bt37-272:0(5403)X5425697
32.68/32.73	conflict 69lvl : 38 bt37-476:0(4151)X5430836
32.68/32.74	conflict 69lvl : 41 bt37-476:0(5404)X5430908
32.78/32.88	conflict 101lvl : 38 bt38-403:0(4151)X5432302
32.78/32.88	conflict 101lvl : 38 bt37-114:0(4178)X5432406
32.78/32.88	conflict 100lvl : 41 bt37-416:0(5403)X5432510
32.99/33.03	conflict 101lvl : 38 bt37-475:0(4151)X5433935
32.99/33.03	conflict 133lvl : 37 bt36-222:0(4172)X5434039
32.99/33.03	conflict 101lvl : 41 bt41-475:0(5401)X5434175
32.99/33.03	conflict 69lvl : 41 bt40-223:0(5428)X5434279
32.99/33.04	conflict 69lvl : 45 bt40-476:0(6500)X5434351
33.09/33.18	conflict 102lvl : 37 bt3749:0(4147)X5435869
33.09/33.18	conflict 100lvl : 37 bt36-42:0(4172)X5435974
33.09/33.19	conflict 133lvl : 45 bt40152:0(6501)X5436077
33.48/33.51	conflict 101lvl : 38 bt38-344:0(4154)X5441155
33.48/33.51	conflict 69lvl : 38 bt37-870:0(4181)X5441259
33.48/33.52	conflict 69lvl : 41 bt37-337:0(5406)X5441331
33.58/33.66	conflict 101lvl : 38 bt37-727:0(4151)X5442725
33.58/33.66	conflict 133lvl : 37 bt36-1194:0(4172)X5442829
33.58/33.67	conflict 136lvl : 40 bt401201:0(5399)X5442965
33.78/33.81	conflict 131lvl : 38 bt37-474:0(4151)X5444507
33.78/33.81	conflict 69lvl : 41 bt37-481:0(5403)X5444641
33.88/33.96	conflict 101lvl : 38 bt37-871:0(4151)X5446035
33.88/33.96	conflict 132lvl : 37 bt36-582:0(4172)X5446139
33.88/33.96	conflict 102lvl : 40 bt401196:0(5399)X5446274
33.88/33.97	conflict 101lvl : 45 bt40877:0(6501)X5446379
34.18/34.29	conflict 132lvl : 38 bt37-474:0(4154)X5451449
34.28/34.30	conflict 69lvl : 41 bt37-475:0(5406)X5451584
34.38/34.44	conflict 69lvl : 38 bt38-1051:0(4151)X5452978
34.38/34.44	conflict 101lvl : 38 bt37-870:0(4178)X5453050
34.38/34.45	conflict 69lvl : 41 bt37-1057:0(5403)X5453154
34.48/34.59	conflict 163lvl : 37 bt37-596:0(4147)X5454548
34.48/34.59	conflict 163lvl : 37 bt36-596:0(4172)X5454714
34.48/34.60	conflict 100lvl : 40 bt36-763:0(5423)X5454880
34.68/34.74	conflict 101lvl : 38 bt38-632:0(4151)X5456303
34.68/34.74	conflict 101lvl : 38 bt37-1158:0(4178)X5456407
34.68/34.74	conflict 69lvl : 41 bt37-619:0(5403)X5456511
34.78/34.89	conflict 101lvl : 37 bt37-583:0(4148)X5457905
34.78/34.89	conflict 133lvl : 37 bt36-726:0(4172)X5458009
34.78/34.89	conflict 136lvl : 40 bt40733:0(5399)X5458145
34.78/34.89	conflict 69lvl : 45 bt40-476:0(6500)X5458284
35.18/35.23	conflict 69lvl : 38 bt38-800:0(4151)X5461852
35.18/35.23	conflict 102lvl : 38 bt37-726:0(4178)X5461924
35.18/35.23	conflict 100lvl : 41 bt37-740:0(5403)X5462029
35.28/35.38	conflict 102lvl : 37 bt3779:0(4148)X5463454
35.28/35.38	conflict 100lvl : 37 bt36-78:0(4172)X5463559
35.28/35.39	conflict 69lvl : 45 bt40-20:0(6502)X5463662
35.48/35.53	conflict 132lvl : 38 bt37-656:0(4151)X5465180
35.48/35.53	conflict 165lvl : 37 bt36-582:0(4172)X5465315
35.48/35.53	conflict 102lvl : 40 bt4079:0(5400)X5465483
35.48/35.54	conflict 69lvl : 45 bt40-656:0(6503)X5465588
35.58/35.68	conflict 101lvl : 37 bt37-763:0(4148)X5467106
35.58/35.68	conflict 133lvl : 37 bt36-78:0(4172)X5467210
35.58/35.68	conflict 101lvl : 41 bt41-475:0(5401)X5467346
35.58/35.69	conflict 101lvl : 41 bt40-79:0(5428)X5467450
35.58/35.69	conflict 102lvl : 45 bt40-488:0(6500)X5467554
35.99/36.01	conflict 136lvl : 37 bt378:0(4151)X5472478
35.99/36.02	conflict 133lvl : 37 bt36-6:0(4175)X5472617
35.99/36.02	conflict 69lvl : 45 bt40-584:0(6504)X5472753
36.09/36.17	conflict 100lvl : 38 bt37-1086:0(4151)X5474271
36.09/36.17	conflict 69lvl : 41 bt37-1093:0(5403)X5474374
36.28/36.31	conflict 69lvl : 38 bt38-223:0(4151)X5475768
36.28/36.32	conflict 100lvl : 38 bt37-258:0(4178)X5475840
36.28/36.32	conflict 69lvl : 41 bt37-236:0(5403)X5475943
36.38/36.46	conflict 101lvl : 38 bt38-92:0(4151)X5477337
36.38/36.46	conflict 100lvl : 38 bt37-510:0(4178)X5477441
36.38/36.47	conflict 69lvl : 41 bt37-79:0(5403)X5477544
36.48/36.55	conflict 132lvl : 38 bt37-438:0(4151)X5477831
36.48/36.56	conflict 101lvl : 41 bt37-439:0(5403)X5477966
36.58/36.69	conflict 101lvl : 38 bt37-619:0(4151)X5479008
36.58/36.69	conflict 133lvl : 37 bt36-78:0(4172)X5479112
36.68/36.70	conflict 101lvl : 41 bt41-625:0(5401)X5479248
36.68/36.70	conflict 69lvl : 41 bt40-79:0(5428)X5479352
36.68/36.70	conflict 69lvl : 45 bt40-625:0(6501)X5479424
36.99/37.04	conflict 101lvl : 38 bt38-56:0(4154)X5482264
36.99/37.05	conflict 100lvl : 38 bt37-1158:0(4181)X5482368
36.99/37.05	conflict 69lvl : 41 bt37-43:0(5406)X5482471
37.09/37.19	conflict 101lvl : 38 bt37-943:0(4151)X5483865
37.18/37.20	conflict 132lvl : 37 bt36-906:0(4172)X5483969
37.18/37.20	conflict 69lvl : 41 bt40-943:0(5401)X5484104
37.18/37.21	conflict 69lvl : 45 bt40-949:0(6501)X5484176
37.28/37.35	conflict 102lvl : 37 bt371051:0(4148)X5485694
37.28/37.35	conflict 100lvl : 37 bt36-1050:0(4172)X5485799
37.28/37.36	conflict 69lvl : 45 bt40-476:0(6502)X5485902
37.48/37.50	conflict 101lvl : 38 bt38-1064:0(4151)X5487420
37.48/37.50	conflict 101lvl : 38 bt37-942:0(4178)X5487524
37.48/37.50	conflict 69lvl : 41 bt37-1052:0(5403)X5487628
37.58/37.65	conflict 101lvl : 38 bt38-1159:0(4151)X5489022
37.58/37.65	conflict 101lvl : 38 bt37-78:0(4178)X5489126
37.58/37.65	conflict 133lvl : 37 bt36-582:0(4172)X5489230
37.58/37.66	conflict 101lvl : 40 bt40-1159:0(5398)X5489366
37.58/37.66	conflict 69lvl : 45 bt40-589:0(6500)X5489470
37.88/37.96	conflict 169lvl : 38 bt38128:0(4154)X5491398
37.88/37.96	conflict 133lvl : 38 bt37-114:0(4181)X5491570
37.88/37.96	conflict 101lvl : 41 bt37-476:0(5406)X5491706
38.09/38.11	conflict 169lvl : 37 bt37548:0(4152)X5493132
38.09/38.11	conflict 132lvl : 37 bt36-546:0(4175)X5493304
38.09/38.12	conflict 69lvl : 40 bt40-1267:0(5401)X5493439
38.09/38.12	conflict 69lvl : 45 bt40-1268:0(6503)X5493511
38.18/38.26	conflict 136lvl : 37 bt371268:0(4151)X5495029
38.18/38.26	conflict 133lvl : 37 bt36-1266:0(4175)X5495168
38.18/38.27	conflict 69lvl : 41 bt40-548:0(5404)X5495304
38.18/38.27	conflict 69lvl : 45 bt40-548:0(6505)X5495376
38.38/38.41	conflict 136lvl : 37 bt371015:0(4148)X5496894
38.38/38.41	conflict 133lvl : 37 bt36-1014:0(4172)X5497033
38.48/38.56	conflict 101lvl : 38 bt37-906:0(4178)X5498572
38.48/38.56	conflict 69lvl : 41 bt37-907:0(5403)X5498676
38.68/38.71	conflict 69lvl : 38 bt38-1051:0(4151)X5500070
38.68/38.71	conflict 101lvl : 38 bt37-1014:0(4178)X5500142
38.68/38.71	conflict 69lvl : 41 bt37-1052:0(5403)X5500246
38.78/38.86	conflict 133lvl : 37 bt36-762:0(4172)X5501640
38.78/38.86	conflict 69lvl : 45 bt40-80:0(6502)X5501776
39.09/39.18	conflict 135lvl : 37 bt37691:0(4148)X5505971
39.09/39.18	conflict 133lvl : 37 bt36-690:0(4172)X5506109
39.09/39.19	conflict 136lvl : 40 bt40697:0(5399)X5506245
39.09/39.19	conflict 69lvl : 45 bt40-116:0(6501)X5506384
39.28/39.33	conflict 136lvl : 37 bt37691:0(4148)X5507902
39.28/39.34	conflict 133lvl : 37 bt36-690:0(4172)X5508041
39.28/39.34	conflict 101lvl : 41 bt40691:0(5401)X5508177
39.28/39.35	conflict 69lvl : 45 bt40-409:0(6502)X5508281
39.38/39.49	conflict 101lvl : 37 bt37-726:0(4149)X5509799
39.38/39.49	conflict 69lvl : 41 bt37-620:0(5402)X5509903
39.58/39.63	conflict 101lvl : 38 bt37-439:0(4151)X5511297
39.58/39.63	conflict 133lvl : 37 bt36-78:0(4172)X5511401
39.58/39.64	conflict 136lvl : 40 bt40956:0(5399)X5511537
39.58/39.64	conflict 69lvl : 45 bt40-92:0(6501)X5511676
39.68/39.78	conflict 69lvl : 38 bt38-224:0(4151)X5513194
39.68/39.78	conflict 100lvl : 38 bt37-942:0(4178)X5513266
39.68/39.79	conflict 101lvl : 41 bt37-223:0(5403)X5513369
40.09/40.12	conflict 136lvl : 37 bt37121:0(4149)X5518531
40.09/40.12	conflict 133lvl : 37 bt36-114:0(4172)X5518670
40.09/40.13	conflict 69lvl : 45 bt40-92:0(6500)X5518806
40.18/40.27	conflict 101lvl : 38 bt38-656:0(4151)X5520324
40.18/40.27	conflict 100lvl : 38 bt37-114:0(4178)X5520428
40.18/40.28	conflict 101lvl : 41 bt37-655:0(5403)X5520531
40.38/40.42	conflict 101lvl : 38 bt37-619:0(4151)X5521957
40.38/40.42	conflict 133lvl : 37 bt36-78:0(4172)X5522061
40.38/40.42	conflict 136lvl : 40 bt40944:0(5399)X5522197
40.38/40.43	conflict 100lvl : 40 bt36-943:0(5423)X5522336
40.48/40.57	conflict 137lvl : 41 bt3780:0(5278)X5523759
40.88/40.91	conflict 100lvl : 38 bt37-920:0(4154)X5527190
40.88/40.91	conflict 133lvl : 37 bt36-1194:0(4175)X5527293
40.88/40.92	conflict 136lvl : 40 bt401201:0(5402)X5527429
40.99/41.06	conflict 100lvl : 38 bt37-1158:0(4151)X5528971
40.99/41.07	conflict 69lvl : 41 bt37-1159:0(5403)X5529074
41.18/41.21	conflict 131lvl : 38 bt38-380:0(4151)X5530468
41.18/41.21	conflict 69lvl : 38 bt37-1158:0(4178)X5530602
41.18/41.21	conflict 69lvl : 41 bt37-368:0(5403)X5530674
41.28/41.36	conflict 101lvl : 38 bt38-330:0(4151)X5532068
41.28/41.36	conflict 101lvl : 38 bt37-366:0(4178)X5532172
41.28/41.36	conflict 69lvl : 41 bt37-367:0(5402)X5532276
41.38/41.43	conflict 69lvl : 38 bt38-769:0(4151)X5532478
41.38/41.43	conflict 131lvl : 38 bt37-366:0(4178)X5532550
41.38/41.43	conflict 101lvl : 41 bt37-367:0(5403)X5532684
41.48/41.57	conflict 101lvl : 38 bt37-1280:0(4151)X5533913
41.48/41.57	conflict 133lvl : 37 bt36-1086:0(4172)X5534017
41.48/41.58	conflict 136lvl : 40 bt401093:0(5399)X5534153
41.48/41.58	conflict 69lvl : 45 bt40-368:0(6502)X5534292
41.88/41.92	conflict 69lvl : 38 bt37-439:0(4151)X5539276
41.88/41.92	conflict 69lvl : 41 bt37-439:0(5404)X5539348
42.18/42.28	conflict 101lvl : 38 bt37-1123:0(4154)X5544867
42.18/42.28	conflict 132lvl : 37 bt36-330:0(4175)X5544971
42.18/42.28	conflict 69lvl : 41 bt41-1124:0(5404)X5545106
42.18/42.28	conflict 69lvl : 41 bt40-331:0(5431)X5545178
42.18/42.29	conflict 69lvl : 45 bt40-1124:0(6504)X5545250
42.38/42.43	conflict 136lvl : 37 bt371124:0(4151)X5546768
42.38/42.44	conflict 133lvl : 37 bt36-1122:0(4175)X5546907
42.38/42.44	conflict 69lvl : 45 bt40-80:0(6505)X5547043
42.48/42.59	conflict 167lvl : 37 bt37367:0(4149)X5548561
42.48/42.59	conflict 166lvl : 37 bt36-366:0(4172)X5548731
42.48/42.59	conflict 136lvl : 40 bt40368:0(5400)X5548900
42.58/42.60	conflict 69lvl : 45 bt40-764:0(6502)X5549039
42.68/42.74	conflict 69lvl : 41 bt37-366:0(5276)X5550557
42.78/42.88	conflict 133lvl : 37 bt36-762:0(4172)X5551911
42.78/42.89	conflict 100lvl : 40 bt36-763:0(5423)X5552047
42.99/43.03	conflict 101lvl : 38 bt37-763:0(4151)X5553470
42.99/43.03	conflict 133lvl : 37 bt36-1266:0(4172)X5553574
42.99/43.04	conflict 136lvl : 40 bt40949:0(5399)X5553710
42.99/43.04	conflict 101lvl : 45 bt40764:0(6501)X5553849
43.28/43.39	conflict 101lvl : 38 bt37-668:0(4154)X5559885
43.28/43.39	conflict 133lvl : 37 bt36-1194:0(4175)X5559989
43.28/43.39	conflict 136lvl : 40 bt401201:0(5402)X5560125
43.38/43.40	conflict 69lvl : 45 bt40-668:0(6505)X5560264
43.48/43.54	conflict 133lvl : 38 bt36-222:0(4151)X5561782
43.48/43.55	conflict 69lvl : 41 bt40-224:0(5401)X5561918
43.48/43.55	conflict 69lvl : 45 bt40-224:0(6502)X5561990
43.58/43.69	conflict 135lvl : 37 bt37224:0(4148)X5563508
43.58/43.69	conflict 132lvl : 37 bt36-222:0(4172)X5563646
43.68/43.70	conflict 69lvl : 41 bt40-368:0(5401)X5563781
43.68/43.70	conflict 69lvl : 45 bt40-224:0(6502)X5563853
43.78/43.84	conflict 69lvl : 38 bt38-116:0(4151)X5565371
43.78/43.84	conflict 100lvl : 38 bt37-330:0(4178)X5565443
43.78/43.85	conflict 101lvl : 41 bt37-331:0(5403)X5565546
43.88/43.99	conflict 100lvl : 37 bt37-330:0(4149)X5566972
43.88/43.99	conflict 101lvl : 41 bt37-331:0(5402)X5567075
44.28/44.34	conflict 101lvl : 37 bt37-943:0(4149)X5572410
44.28/44.34	conflict 133lvl : 37 bt36-366:0(4172)X5572514
44.28/44.34	conflict 136lvl : 40 bt40368:0(5399)X5572650
44.28/44.35	conflict 69lvl : 45 bt40-949:0(6500)X5572789
44.38/44.49	conflict 133lvl : 37 bt36-942:0(4172)X5574307
44.48/44.50	conflict 100lvl : 40 bt36-943:0(5423)X5574443
44.58/44.64	conflict 133lvl : 38 bt38-330:0(4151)X5575866
44.58/44.64	conflict 132lvl : 38 bt37-942:0(4178)X5576002
44.58/44.65	conflict 68lvl : 41 bt37-337:0(5402)X5576137
44.88/45.00	conflict 69lvl : 38 bt37-1122:0(4154)X5579838
44.88/45.00	conflict 69lvl : 41 bt37-1129:0(5406)X5579910
45.09/45.15	conflict 101lvl : 38 bt37-1015:0(4151)X5581304
45.09/45.15	conflict 132lvl : 37 bt36-366:0(4172)X5581408
45.09/45.16	conflict 69lvl : 41 bt40-1021:0(5401)X5581543
45.09/45.16	conflict 69lvl : 45 bt40-1021:0(6502)X5581615
45.28/45.30	conflict 69lvl : 38 bt38-620:0(4151)X5583133
45.28/45.30	conflict 101lvl : 38 bt37-1266:0(4178)X5583205
45.28/45.31	conflict 101lvl : 41 bt37-1267:0(5403)X5583309
45.38/45.45	conflict 169lvl : 37 bt37337:0(4149)X5584735
45.38/45.45	conflict 100lvl : 37 bt36-330:0(4172)X5584907
45.38/45.46	conflict 130lvl : 41 bt41-1280:0(5401)X5585010
45.38/45.46	conflict 102lvl : 41 bt40-331:0(5428)X5585143
45.38/45.46	conflict 69lvl : 45 bt40-1273:0(6501)X5585248
45.58/45.60	conflict 136lvl : 37 bt371268:0(4148)X5586766
45.58/45.60	conflict 133lvl : 37 bt36-1266:0(4172)X5586905
45.58/45.61	conflict 69lvl : 40 bt40-1268:0(5399)X5587041
45.58/45.61	conflict 100lvl : 40 bt36-943:0(5423)X5587113
45.68/45.75	conflict 133lvl : 38 bt37-726:0(4178)X5588536
45.68/45.76	conflict 69lvl : 41 bt37-728:0(5403)X5588672
45.98/46.10	conflict 170lvl : 37 bt37331:0(4149)X5594496
46.08/46.11	conflict 69lvl : 41 bt37-728:0(5403)X5594669
46.18/46.25	conflict 101lvl : 37 bt37-344:0(4147)X5596063
46.18/46.26	conflict 133lvl : 37 bt36-1266:0(4172)X5596167
46.18/46.26	conflict 135lvl : 40 bt401268:0(5399)X5596303
46.18/46.26	conflict 133lvl : 40 bt36-1267:0(5423)X5596441
46.58/46.61	conflict 170lvl : 37 bt371267:0(4149)X5602013
46.58/46.61	conflict 100lvl : 37 bt36-1266:0(4172)X5602186
46.58/46.61	conflict 102lvl : 40 bt401273:0(5399)X5602289
46.58/46.62	conflict 69lvl : 45 bt40-1160:0(6502)X5602394
46.68/46.76	conflict 133lvl : 37 bt36-1158:0(4172)X5603912
46.68/46.77	conflict 69lvl : 41 bt40-1268:0(5401)X5604048
46.68/46.77	conflict 69lvl : 45 bt40-1268:0(6502)X5604120
46.88/46.91	conflict 69lvl : 38 bt38-332:0(4151)X5605638
46.88/46.92	conflict 101lvl : 38 bt37-618:0(4178)X5605710
46.88/46.92	conflict 137lvl : 41 bt37331:0(5403)X5605814
46.88/46.99	conflict 133lvl : 37 bt37-114:0(4149)X5606084
46.88/46.99	conflict 101lvl : 41 bt37-115:0(5402)X5606220
47.08/47.13	conflict 101lvl : 37 bt37-115:0(4148)X5607449
47.08/47.13	conflict 133lvl : 37 bt36-690:0(4172)X5607553
47.08/47.13	conflict 69lvl : 41 bt41-115:0(5401)X5607689
47.08/47.14	conflict 101lvl : 41 bt40-691:0(5428)X5607761
47.08/47.14	conflict 69lvl : 45 bt40-116:0(6500)X5607865
47.38/47.48	conflict 136lvl : 37 bt37620:0(4148)X5613504
47.38/47.49	conflict 133lvl : 37 bt36-618:0(4172)X5613643
47.38/47.49	conflict 69lvl : 45 bt40-944:0(6501)X5613779
47.58/47.64	conflict 136lvl : 37 bt37944:0(4148)X5615297
47.58/47.64	conflict 133lvl : 37 bt36-942:0(4172)X5615436
47.58/47.65	conflict 101lvl : 45 bt40620:0(6501)X5615572
47.68/47.79	conflict 169lvl : 37 bt371268:0(4148)X5617122
47.68/47.79	conflict 166lvl : 37 bt36-1266:0(4172)X5617294
47.78/47.80	conflict 102lvl : 40 bt40337:0(5399)X5617463
47.78/47.80	conflict 69lvl : 45 bt40-944:0(6502)X5617568
48.08/48.14	conflict 100lvl : 37 bt37-42:0(4149)X5622674
48.08/48.14	conflict 69lvl : 41 bt37-44:0(5402)X5622777
48.18/48.29	conflict 100lvl : 38 bt37-42:0(4178)X5624171
48.18/48.29	conflict 101lvl : 41 bt37-43:0(5403)X5624274
48.38/48.44	conflict 133lvl : 37 bt37-42:0(4149)X5625700
48.38/48.44	conflict 101lvl : 41 bt37-43:0(5402)X5625836
48.68/48.78	conflict 100lvl : 37 bt37-366:0(4149)X5631349
48.68/48.79	conflict 69lvl : 41 bt37-116:0(5402)X5631452
48.88/48.93	conflict 100lvl : 38 bt37-618:0(4178)X5632846
48.88/48.94	conflict 99lvl : 41 bt37-128:0(5403)X5632949
48.98/49.08	conflict 101lvl : 37 bt37-1267:0(4148)X5634373
48.98/49.08	conflict 133lvl : 37 bt36-330:0(4172)X5634477
48.98/49.09	conflict 136lvl : 40 bt401268:0(5399)X5634613
48.98/49.09	conflict 69lvl : 45 bt40-337:0(6501)X5634752
49.18/49.23	conflict 136lvl : 40 bt40956:0(5399)X5636270
49.48/49.55	conflict 168lvl : 37 bt37625:0(4147)X5640712
49.48/49.56	conflict 133lvl : 37 bt36-618:0(4172)X5640883
49.48/49.56	conflict 100lvl : 40 bt36-619:0(5423)X5641019
49.68/49.71	conflict 136lvl : 37 bt371267:0(4149)X5642442
49.68/49.71	conflict 101lvl : 37 bt37-331:0(5094)X5642581
49.68/49.71	conflict 166lvl : 41 bt37330:0(5277)X5642685
49.78/49.85	conflict 100lvl : 37 bt36-618:0(4144)X5644216
49.78/49.86	conflict 69lvl : 40 bt40-620:0(5397)X5644319
49.78/49.86	conflict 100lvl : 40 bt36-943:0(5422)X5644391
49.88/50.00	conflict 169lvl : 37 bt371267:0(4149)X5645814
49.98/50.01	conflict 100lvl : 41 bt37-200:0(5403)X5645986
50.08/50.15	conflict 100lvl : 37 bt36-186:0(4172)X5647411
50.08/50.15	conflict 101lvl : 41 bt41-187:0(5401)X5647514
50.08/50.16	conflict 101lvl : 41 bt40-943:0(5428)X5647618
50.08/50.16	conflict 101lvl : 45 bt40-200:0(6500)X5647722
50.48/50.50	conflict 133lvl : 38 bt37-186:0(4151)X5653416
50.48/50.51	conflict 100lvl : 41 bt37-200:0(5403)X5653552
50.78/50.86	conflict 100lvl : 37 bt36-380:0(4148)X5659010
50.78/50.86	conflict 101lvl : 40 bt40-200:0(5398)X5659113
50.78/50.86	conflict 133lvl : 40 bt36-223:0(5424)X5659217
50.99/51.01	conflict 133lvl : 38 bt37-222:0(4178)X5660673
50.99/51.02	conflict 69lvl : 41 bt37-620:0(5403)X5660809
51.09/51.16	conflict 101lvl : 37 bt37-367:0(4148)X5662203
51.09/51.16	conflict 131lvl : 37 bt36-330:0(4172)X5662307
51.09/51.16	conflict 134lvl : 40 bt40337:0(5399)X5662441
51.09/51.17	conflict 69lvl : 45 bt40-368:0(6500)X5662578
51.48/51.51	conflict 100lvl : 37 bt36-6:0(4172)X5667944
51.48/51.52	conflict 101lvl : 41 bt41-7:0(5401)X5668047
51.48/51.52	conflict 101lvl : 41 bt40-223:0(5428)X5668151
51.48/51.52	conflict 102lvl : 45 bt40-20:0(6500)X5668255
51.58/51.67	conflict 169lvl : 37 bt377:0(4147)X5669806
51.58/51.67	conflict 133lvl : 37 bt36-6:0(4172)X5669978
51.58/51.68	conflict 100lvl : 40 bt36-7:0(5423)X5670114
52.18/52.20	conflict 133lvl : 37 bt36-618:0(4172)X5676734
52.18/52.20	conflict 136lvl : 40 bt40632:0(5399)X5676870
52.18/52.20	conflict 69lvl : 45 bt40-236:0(6500)X5677009
52.28/52.35	conflict 166lvl : 37 bt36-223:0(4172)X5678527
52.28/52.36	conflict 133lvl : 40 bt36-223:0(5423)X5678696
52.68/52.70	conflict 101lvl : 38 bt37-776:0(4151)X5684235
52.68/52.71	conflict 101lvl : 41 bt37-776:0(5404)X5684339
52.99/53.06	conflict 168lvl : 37 bt37373:0(4148)X5689850
52.99/53.06	conflict 165lvl : 37 bt36-366:0(4172)X5690021
52.99/53.06	conflict 69lvl : 40 bt40-331:0(5398)X5690189
52.99/53.07	conflict 69lvl : 45 bt40-344:0(6501)X5690261
53.09/53.16	conflict 132lvl : 37 bt37-380:0(4146)X5690603
53.09/53.16	conflict 133lvl : 37 bt36-330:0(4172)X5690738
53.09/53.16	conflict 100lvl : 40 bt36-331:0(5423)X5690874
53.28/53.30	conflict 69lvl : 37 bt37-625:0(4146)X5691913
53.28/53.30	conflict 102lvl : 37 bt36-1266:0(4172)X5691985
53.28/53.31	conflict 101lvl : 40 bt40-619:0(5398)X5692090
53.28/53.31	conflict 99lvl : 45 bt40-632:0(6501)X5692194
53.38/53.45	conflict 101lvl : 37 bt37-1266:0(4146)X5693742
53.38/53.45	conflict 134lvl : 37 bt36-618:0(4172)X5693846
53.38/53.46	conflict 69lvl : 45 bt40-1273:0(6534)X5693983
53.78/53.81	conflict 100lvl : 38 bt37-762:0(4178)X5699584
53.78/53.81	conflict 101lvl : 41 bt37-763:0(5430)X5699687
53.88/53.96	conflict 131lvl : 37 bt36-6:0(4172)X5701113
53.88/53.97	conflict 69lvl : 45 bt37-236:0(6499)X5701247
54.28/54.31	conflict 133lvl : 37 bt36-1158:0(4172)X5706648
54.28/54.32	conflict 136lvl : 40 bt401165:0(5398)X5706784
54.28/54.32	conflict 100lvl : 40 bt36-1159:0(5423)X5706923
54.38/54.47	conflict 101lvl : 37 bt37-1160:0(4147)X5708346
54.38/54.47	conflict 133lvl : 37 bt36-618:0(4172)X5708450
54.38/54.47	conflict 135lvl : 40 bt40625:0(5398)X5708586
54.38/54.47	conflict 133lvl : 40 bt36-619:0(5422)X5708724
54.58/54.62	conflict 167lvl : 37 bt371165:0(4147)X5710180
54.58/54.62	conflict 165lvl : 37 bt36-1158:0(4172)X5710350
54.58/54.62	conflict 136lvl : 40 bt40224:0(5400)X5710518
54.58/54.63	conflict 69lvl : 45 bt40-1165:0(6501)X5710657
54.68/54.77	conflict 133lvl : 37 bt36-1158:0(4172)X5712175
54.68/54.77	conflict 101lvl : 41 bt40-223:0(5428)X5712311
54.68/54.78	conflict 69lvl : 45 bt40-224:0(6501)X5712415
54.88/54.92	conflict 133lvl : 37 bt36-366:0(4172)X5713933
54.88/54.93	conflict 100lvl : 40 bt36-367:0(5423)X5714069
55.18/55.25	conflict 168lvl : 37 bt371160:0(4147)X5718760
55.18/55.25	conflict 133lvl : 37 bt36-1158:0(4172)X5718931
55.18/55.26	conflict 100lvl : 40 bt36-1159:0(5422)X5719067
55.38/55.41	conflict 102lvl : 37 bt371273:0(4147)X5720490
55.38/55.41	conflict 100lvl : 37 bt36-1266:0(4172)X5720595
55.38/55.41	conflict 100lvl : 40 bt36-223:0(5423)X5720698
55.68/55.75	conflict 133lvl : 37 bt36-726:0(4172)X5724782
55.68/55.76	conflict 100lvl : 40 bt36-727:0(5423)X5724918
55.88/55.91	conflict 132lvl : 37 bt36-726:0(4172)X5726341
55.88/55.91	conflict 136lvl : 40 bt401160:0(5399)X5726476
55.88/55.92	conflict 101lvl : 45 bt401268:0(6501)X5726615
55.99/56.06	conflict 100lvl : 37 bt36-726:0(4172)X5728165
55.99/56.06	conflict 102lvl : 40 bt40733:0(5398)X5728268
55.99/56.06	conflict 100lvl : 40 bt36-727:0(5423)X5728373
56.18/56.21	conflict 133lvl : 37 bt36-726:0(4172)X5729796
56.18/56.21	conflict 135lvl : 40 bt40229:0(5399)X5729932
56.18/56.22	conflict 69lvl : 45 bt40-728:0(6501)X5730070
56.28/56.36	conflict 133lvl : 37 bt36-726:0(4172)X5731588
56.28/56.36	conflict 69lvl : 41 bt40-224:0(5401)X5731724
56.28/56.37	conflict 69lvl : 45 bt40-224:0(6502)X5731796
56.68/56.71	conflict 133lvl : 37 bt36-6:0(4172)X5737226
56.68/56.72	conflict 101lvl : 40 bt40-7:0(5399)X5737362
56.68/56.72	conflict 69lvl : 45 bt40-380:0(6500)X5737466
56.78/56.87	conflict 132lvl : 37 bt36-1266:0(4147)X5738984
56.78/56.87	conflict 69lvl : 45 bt40-1273:0(6500)X5739119
56.99/57.02	conflict 100lvl : 37 bt36-366:0(4172)X5740637
56.99/57.02	conflict 100lvl : 40 bt36-223:0(5422)X5740740
57.48/57.51	conflict 167lvl : 37 bt37733:0(4147)X5745367
57.48/57.52	conflict 165lvl : 37 bt36-726:0(4172)X5745537
57.48/57.52	conflict 134lvl : 40 bt40728:0(5400)X5745705
57.48/57.52	conflict 69lvl : 45 bt40-128:0(6501)X5745842
57.58/57.67	conflict 132lvl : 37 bt36-114:0(4172)X5747360
57.58/57.68	conflict 101lvl : 41 bt40-115:0(5428)X5747495
57.58/57.68	conflict 102lvl : 45 bt40-116:0(6501)X5747599
57.78/57.82	conflict 100lvl : 37 bt36-114:0(4172)X5749150
57.78/57.83	conflict 100lvl : 40 bt36-115:0(5423)X5749253
57.88/57.97	conflict 69lvl : 37 bt37-625:0(4148)X5750676
57.88/57.97	conflict 133lvl : 37 bt36-114:0(4172)X5750748
57.88/57.98	conflict 100lvl : 40 bt36-115:0(5423)X5750884
58.28/58.32	conflict 100lvl : 37 bt37-690:0(4149)X5756409
58.28/58.32	conflict 100lvl : 41 bt37-704:0(5402)X5756512
58.38/58.47	conflict 131lvl : 38 bt36-690:0(4150)X5757937
58.38/58.48	conflict 102lvl : 41 bt41-620:0(5401)X5758071
58.38/58.48	conflict 101lvl : 41 bt40-691:0(5428)X5758176
58.38/58.48	conflict 69lvl : 45 bt40-692:0(6501)X5758280
58.58/58.62	conflict 169lvl : 37 bt37697:0(4147)X5759798
58.58/58.63	conflict 133lvl : 37 bt36-690:0(4172)X5759970
58.58/58.63	conflict 69lvl : 41 bt41-368:0(5401)X5760106
58.58/58.63	conflict 101lvl : 41 bt40-691:0(5428)X5760178
58.58/58.64	conflict 69lvl : 45 bt40-373:0(6501)X5760282
58.68/58.78	conflict 134lvl : 37 bt36-115:0(4172)X5761800
58.68/58.78	conflict 100lvl : 40 bt36-115:0(5423)X5761937
58.88/58.93	conflict 103lvl : 40 bt401159:0(5399)X5763360
59.18/59.27	conflict 131lvl : 38 bt37-1086:0(4151)X5767023
59.18/59.28	conflict 69lvl : 41 bt37-1088:0(5403)X5767157
59.38/59.43	conflict 101lvl : 37 bt37-366:0(4149)X5768551
59.38/59.43	conflict 100lvl : 41 bt37-1087:0(5429)X5768655
59.48/59.57	conflict 131lvl : 38 bt37-1086:0(4178)X5770080
59.48/59.58	conflict 101lvl : 41 bt37-1087:0(5403)X5770214
59.88/59.90	conflict 132lvl : 38 bt37-294:0(4151)X5771946
59.88/59.90	conflict 100lvl : 41 bt37-308:0(5403)X5772081
60.18/60.25	conflict 133lvl : 37 bt36-366:0(4172)X5777426
60.18/60.25	conflict 100lvl : 40 bt36-619:0(5423)X5777562
60.38/60.40	conflict 166lvl : 37 bt37367:0(4149)X5778985
60.38/60.40	conflict 133lvl : 37 bt36-366:0(4172)X5779154
60.38/60.41	conflict 136lvl : 40 bt40380:0(5399)X5779290
60.38/60.41	conflict 69lvl : 45 bt40-625:0(6501)X5779429
60.48/60.55	conflict 131lvl : 37 bt36-726:0(4172)X5780947
60.48/60.56	conflict 133lvl : 40 bt36-727:0(5423)X5781081
60.68/60.70	conflict 132lvl : 37 bt36-1086:0(4172)X5782537
60.68/60.71	conflict 103lvl : 40 bt401087:0(5399)X5782672
60.68/60.71	conflict 69lvl : 45 bt40-728:0(6501)X5782778
60.78/60.85	conflict 69lvl : 38 bt38-404:0(4151)X5784296
60.78/60.85	conflict 133lvl : 38 bt36-1086:0(4178)X5784368
60.78/60.86	conflict 69lvl : 41 bt41-403:0(5401)X5784504
60.78/60.86	conflict 101lvl : 41 bt40-1087:0(5428)X5784576
60.88/61.00	conflict 168lvl : 37 bt371093:0(4147)X5786083
60.88/61.00	conflict 133lvl : 37 bt36-1086:0(4172)X5786254
60.99/61.01	conflict 100lvl : 40 bt36-1087:0(5423)X5786390
61.28/61.34	conflict 133lvl : 37 bt36-402:0(4172)X5791340
61.28/61.35	conflict 101lvl : 40 bt40-128:0(5399)X5791476
61.28/61.35	conflict 69lvl : 45 bt40-416:0(6502)X5791580
61.48/61.50	conflict 69lvl : 40 bt40-620:0(5397)X5793098
61.58/61.64	conflict 131lvl : 38 bt37-402:0(4178)X5794534
61.58/61.65	conflict 101lvl : 38 bt37-403:0(5434)X5794668
61.58/61.65	conflict 101lvl : 41 bt37-6:0(5277)X5794772
61.68/61.79	conflict 133lvl : 37 bt36-726:0(4172)X5796238
61.78/61.80	conflict 101lvl : 41 bt40-7:0(5401)X5796374
61.78/61.80	conflict 102lvl : 45 bt40-20:0(6501)X5796478
62.09/62.15	conflict 136lvl : 40 bt40121:0(5397)X5802472
62.28/62.30	conflict 131lvl : 37 bt36-618:0(4172)X5803975
62.28/62.30	conflict 101lvl : 40 bt40-619:0(5399)X5804109
62.28/62.31	conflict 69lvl : 45 bt40-116:0(6500)X5804213
62.38/62.45	conflict 131lvl : 38 bt36-1014:0(4178)X5805731
62.38/62.45	conflict 101lvl : 41 bt41-7:0(5401)X5805865
62.38/62.45	conflict 101lvl : 41 bt40-1015:0(5428)X5805969
62.38/62.46	conflict 69lvl : 45 bt40-8:0(6500)X5806073
62.58/62.60	conflict 136lvl : 37 bt378:0(4148)X5807591
62.58/62.60	conflict 133lvl : 37 bt36-6:0(4172)X5807730
62.58/62.61	conflict 100lvl : 40 bt36-43:0(5423)X5807866
62.68/62.75	conflict 136lvl : 37 bt3756:0(4148)X5809289
62.68/62.75	conflict 133lvl : 37 bt36-42:0(4172)X5809428
62.68/62.76	conflict 136lvl : 40 bt4044:0(5399)X5809564
62.68/62.76	conflict 69lvl : 45 bt40-13:0(6501)X5809703
62.88/62.90	conflict 133lvl : 37 bt36-1086:0(4172)X5811221
62.88/62.91	conflict 136lvl : 40 bt401100:0(5399)X5811357
62.88/62.91	conflict 69lvl : 45 bt40-8:0(6501)X5811496
63.18/63.25	conflict 136lvl : 37 bt37373:0(4148)X5815064
63.18/63.25	conflict 133lvl : 37 bt36-366:0(4172)X5815203
63.18/63.26	conflict 69lvl : 45 bt40-56:0(6501)X5815339
63.38/63.40	conflict 135lvl : 37 bt3744:0(4148)X5816857
63.38/63.41	conflict 132lvl : 37 bt36-42:0(4172)X5816995
63.38/63.41	conflict 69lvl : 45 bt40-116:0(6501)X5817130
63.48/63.56	conflict 133lvl : 37 bt37-56:0(4146)X5818648
63.48/63.56	conflict 133lvl : 37 bt36-114:0(4172)X5818784
63.48/63.56	conflict 100lvl : 40 bt36-115:0(5396)X5818920
63.88/63.91	conflict 133lvl : 37 bt36-42:0(4172)X5824616
63.88/63.92	conflict 100lvl : 40 bt36-43:0(5423)X5824752
63.99/64.07	conflict 133lvl : 37 bt36-726:0(4172)X5826175
63.99/64.07	conflict 102lvl : 40 bt40728:0(5398)X5826311
63.99/64.08	conflict 100lvl : 40 bt36-727:0(5423)X5826416
64.18/64.22	conflict 170lvl : 37 bt3743:0(4149)X5827839
64.18/64.22	conflict 133lvl : 37 bt36-42:0(4172)X5828012
64.18/64.22	conflict 136lvl : 40 bt4049:0(5399)X5828148
64.18/64.23	conflict 69lvl : 45 bt40-121:0(6501)X5828287
64.28/64.37	conflict 133lvl : 37 bt36-366:0(4172)X5829805
64.28/64.38	conflict 137lvl : 45 bt4044:0(6499)X5829941
64.68/64.72	conflict 133lvl : 38 bt37-762:0(4178)X5835638
64.68/64.72	conflict 101lvl : 41 bt37-769:0(5403)X5835774
64.78/64.87	conflict 136lvl : 40 bt40632:0(5398)X5837200
64.99/65.01	conflict 133lvl : 37 bt37-762:0(4149)X5838703
64.99/65.02	conflict 100lvl : 41 bt37-763:0(5402)X5838839
65.28/65.37	conflict 101lvl : 37 bt36-366:0(4144)X5844542
65.28/65.37	conflict 100lvl : 40 bt36-619:0(5396)X5844646
65.48/65.52	conflict 168lvl : 37 bt37368:0(4147)X5846069
65.48/65.52	conflict 100lvl : 37 bt36-367:0(4172)X5846240
65.48/65.53	conflict 102lvl : 45 bt4056:0(6535)X5846343
65.58/65.67	conflict 131lvl : 37 bt36-222:0(4172)X5847894
65.58/65.68	conflict 100lvl : 40 bt36-223:0(5423)X5848028
65.78/65.82	conflict 169lvl : 37 bt37619:0(4149)X5849451
65.78/65.82	conflict 133lvl : 37 bt36-618:0(4172)X5849623
65.78/65.82	conflict 134lvl : 40 bt40121:0(5399)X5849759
65.78/65.83	conflict 100lvl : 40 bt36-115:0(5423)X5849896
65.88/65.97	conflict 132lvl : 37 bt36-618:0(4172)X5851319
65.88/65.98	conflict 100lvl : 40 bt36-763:0(5423)X5851454
66.09/66.12	conflict 133lvl : 36 bt36-222:0(4143)X5852877
66.09/66.12	conflict 69lvl : 40 bt40-224:0(5396)X5853013
66.09/66.13	conflict 100lvl : 40 bt36-7:0(5421)X5853085
66.38/66.47	conflict 101lvl : 41 bt41-7:0(5311)X5858655
66.58/66.62	conflict 167lvl : 37 bt37229:0(4146)X5860124
66.58/66.62	conflict 166lvl : 37 bt36-222:0(4172)X5860294
66.58/66.63	conflict 100lvl : 40 bt36-223:0(5424)X5860463
66.88/66.98	conflict 100lvl : 37 bt36-1086:0(4172)X5866218
66.88/66.98	conflict 100lvl : 41 bt40-1100:0(5401)X5866321
66.88/66.98	conflict 69lvl : 45 bt40-1100:0(6502)X5866424
67.09/67.13	conflict 100lvl : 37 bt36-1087:0(4172)X5867942
67.09/67.14	conflict 69lvl : 45 bt40-373:0(6533)X5868045
67.18/67.21	conflict 101lvl : 37 bt37-236:0(4148)X5868297
67.18/67.21	conflict 133lvl : 37 bt36-6:0(4172)X5868401
67.18/67.22	conflict 102lvl : 40 bt40229:0(5399)X5868537
67.18/67.22	conflict 69lvl : 45 bt40-1088:0(6502)X5868642
67.28/67.36	conflict 100lvl : 37 bt36-1086:0(4172)X5869952
67.28/67.36	conflict 136lvl : 40 bt40733:0(5399)X5870055
67.28/67.37	conflict 69lvl : 45 bt40-1088:0(6502)X5870194
67.48/67.51	conflict 136lvl : 37 bt371088:0(4148)X5871712
67.48/67.51	conflict 133lvl : 37 bt36-1086:0(4172)X5871851
67.48/67.51	conflict 136lvl : 40 bt40776:0(5399)X5871987
67.48/67.52	conflict 69lvl : 45 bt40-1088:0(6501)X5872126
67.78/67.86	conflict 131lvl : 38 bt37-510:0(4151)X5877391
67.78/67.86	conflict 100lvl : 41 bt37-511:0(5403)X5877525
67.99/68.01	conflict 131lvl : 37 bt36-510:0(4172)X5878950
67.99/68.01	conflict 69lvl : 41 bt41-512:0(5401)X5879084
67.99/68.01	conflict 69lvl : 41 bt40-619:0(5428)X5879156
67.99/68.02	conflict 69lvl : 45 bt40-625:0(6501)X5879228
68.09/68.16	conflict 133lvl : 37 bt36-618:0(4172)X5880746
68.09/68.17	conflict 102lvl : 40 bt40-368:0(5397)X5880882
68.09/68.17	conflict 133lvl : 40 bt36-43:0(5423)X5880987
68.28/68.31	conflict 168lvl : 37 bt37625:0(4147)X5882443
68.28/68.31	conflict 132lvl : 37 bt36-618:0(4172)X5882614
68.28/68.32	conflict 136lvl : 45 bt40625:0(6535)X5882749
68.38/68.46	conflict 133lvl : 37 bt36-762:0(4172)X5884334
68.38/68.47	conflict 100lvl : 40 bt36-7:0(5423)X5884470
68.78/68.82	conflict 135lvl : 40 bt40373:0(5396)X5889227
68.88/68.96	conflict 129lvl : 36 bt35-1014:0(4166)X5890729
68.88/68.97	conflict 102lvl : 40 bt401021:0(5396)X5890861
68.88/68.97	conflict 69lvl : 45 bt40-56:0(6499)X5890966
69.28/69.31	conflict 101lvl : 37 bt37-1028:0(4148)X5896377
69.28/69.32	conflict 133lvl : 37 bt36-294:0(4172)X5896481
69.28/69.32	conflict 136lvl : 40 bt40296:0(5399)X5896617
69.28/69.32	conflict 69lvl : 45 bt40-740:0(6502)X5896756
69.38/69.47	conflict 100lvl : 38 bt37-294:0(4178)X5898274
69.38/69.47	conflict 100lvl : 41 bt37-295:0(5403)X5898377
69.58/69.62	conflict 101lvl : 37 bt37-726:0(4149)X5899802
69.58/69.62	conflict 101lvl : 41 bt37-295:0(5402)X5899906
69.68/69.76	conflict 101lvl : 37 bt37-295:0(4148)X5901332
69.68/69.76	conflict 132lvl : 37 bt36-618:0(4172)X5901436
69.68/69.77	conflict 135lvl : 40 bt40625:0(5399)X5901571
69.68/69.77	conflict 69lvl : 45 bt40-121:0(6500)X5901709
70.09/70.11	conflict 133lvl : 37 bt36-1086:0(4172)X5907444
70.09/70.12	conflict 136lvl : 40 bt40229:0(5399)X5907580
70.09/70.12	conflict 102lvl : 45 bt40-1100:0(6501)X5907719
70.18/70.27	conflict 100lvl : 37 bt36-1086:0(4172)X5909270
70.18/70.28	conflict 69lvl : 45 bt40-44:0(6501)X5909373
70.38/70.42	conflict 100lvl : 38 bt37-690:0(4178)X5910891
70.38/70.43	conflict 101lvl : 41 bt37-1087:0(5403)X5910994
70.48/70.57	conflict 167lvl : 37 bt37116:0(4147)X5912420
70.48/70.57	conflict 165lvl : 37 bt36-114:0(4172)X5912590
70.48/70.57	conflict 100lvl : 40 bt40-56:0(5400)X5912758
70.48/70.58	conflict 100lvl : 40 bt36-115:0(5424)X5912861
70.68/70.72	conflict 168lvl : 37 bt3743:0(4149)X5914284
70.68/70.72	conflict 100lvl : 37 bt36-42:0(4172)X5914455
70.68/70.72	conflict 102lvl : 40 bt4044:0(5398)X5914558
70.68/70.73	conflict 69lvl : 45 bt40-1028:0(6502)X5914663
70.78/70.87	conflict 100lvl : 37 bt36-1015:0(4172)X5916181
70.78/70.87	conflict 101lvl : 40 bt40620:0(5398)X5916284
70.99/71.01	conflict 102lvl : 37 bt3756:0(4147)X5917791
70.99/71.02	conflict 100lvl : 37 bt36-42:0(4172)X5917896
70.99/71.02	conflict 100lvl : 40 bt36-511:0(5423)X5917999
71.28/71.37	conflict 131lvl : 37 bt37-1014:0(4149)X5923905
71.28/71.38	conflict 69lvl : 41 bt37-1021:0(5402)X5924039
71.48/71.53	conflict 100lvl : 37 bt36-1014:0(4172)X5925433
71.48/71.53	conflict 100lvl : 40 bt36-1015:0(5423)X5925536
71.58/71.68	conflict 169lvl : 37 bt3743:0(4149)X5926959
71.58/71.68	conflict 136lvl : 41 bt37229:0(5403)X5927131
71.78/71.82	conflict 135lvl : 37 bt37620:0(4147)X5928592
71.78/71.82	conflict 100lvl : 37 bt36-618:0(4172)X5928730
71.78/71.83	conflict 100lvl : 40 bt36-619:0(5423)X5928833
72.09/72.18	conflict 133lvl : 37 bt36-870:0(4172)X5934810
72.09/72.18	conflict 136lvl : 40 bt40872:0(5399)X5934946
72.09/72.18	conflict 100lvl : 40 bt36-871:0(5423)X5935085
72.28/72.33	conflict 132lvl : 38 bt37-870:0(4178)X5936508
72.28/72.33	conflict 100lvl : 37 bt36-884:0(4172)X5936643
72.28/72.34	conflict 69lvl : 40 bt40-380:0(5399)X5936746
72.28/72.34	conflict 101lvl : 40 bt36-1159:0(5424)X5936818
72.38/72.49	conflict 133lvl : 37 bt36-870:0(4200)X5938242
72.38/72.49	conflict 69lvl : 40 bt40-619:0(5399)X5938378
72.38/72.49	conflict 69lvl : 45 bt40-632:0(6500)X5938450
72.58/72.63	conflict 136lvl : 37 bt37620:0(4148)X5939968
72.58/72.64	conflict 133lvl : 37 bt36-618:0(4172)X5940107
72.58/72.64	conflict 69lvl : 40 bt40-56:0(5397)X5940243
72.58/72.64	conflict 100lvl : 40 bt36-619:0(5422)X5940315
72.68/72.79	conflict 100lvl : 41 bt36-187:0(5404)X5941738
73.09/73.14	conflict 132lvl : 38 bt37-690:0(4178)X5947508
73.09/73.15	conflict 69lvl : 41 bt37-697:0(5403)X5947643
73.18/73.29	conflict 133lvl : 37 bt371015:0(4148)X5949037
73.18/73.30	conflict 130lvl : 37 bt36-1014:0(4172)X5949173
73.28/73.30	conflict 101lvl : 41 bt41-691:0(5401)X5949306
73.28/73.30	conflict 101lvl : 41 bt40-1015:0(5428)X5949410
73.28/73.31	conflict 69lvl : 45 bt40-697:0(6500)X5949514
73.38/73.45	conflict 130lvl : 38 bt36-870:0(4178)X5951032
73.38/73.45	conflict 101lvl : 41 bt40-871:0(5428)X5951165
73.38/73.46	conflict 69lvl : 45 bt40-13:0(6501)X5951269
73.58/73.60	conflict 136lvl : 37 bt378:0(4148)X5952787
73.58/73.60	conflict 133lvl : 37 bt36-6:0(4172)X5952926
73.58/73.61	conflict 69lvl : 45 bt40-8:0(6502)X5953062
73.68/73.75	conflict 133lvl : 37 bt36-222:0(4172)X5954580
73.68/73.75	conflict 133lvl : 39 bt36-223:0(5423)X5954716
73.99/74.10	conflict 100lvl : 37 bt36-294:0(4172)X5958346
74.09/74.11	conflict 133lvl : 40 bt36-295:0(5423)X5958449
74.18/74.26	conflict 132lvl : 38 bt36-6:0(4151)X5959905
74.18/74.26	conflict 101lvl : 41 bt40-295:0(5401)X5960040
74.18/74.27	conflict 69lvl : 45 bt40-13:0(6501)X5960144
74.38/74.41	conflict 131lvl : 37 bt36-690:0(4172)X5961662
74.38/74.41	conflict 100lvl : 40 bt36-691:0(5423)X5961796
74.48/74.56	conflict 169lvl : 37 bt377:0(4149)X5963219
74.48/74.56	conflict 101lvl : 41 bt37-691:0(5403)X5963391
74.88/74.90	conflict 132lvl : 38 bt36-762:0(4151)X5969012
74.88/74.91	conflict 69lvl : 41 bt41-769:0(5401)X5969147
74.88/74.91	conflict 101lvl : 41 bt40-295:0(5428)X5969219
74.88/74.91	conflict 69lvl : 45 bt40-769:0(6501)X5969323
74.99/75.06	conflict 133lvl : 37 bt36-6:0(4172)X5970841
74.99/75.06	conflict 136lvl : 40 bt4020:0(5399)X5970977
74.99/75.07	conflict 69lvl : 45 bt40-764:0(6500)X5971116
75.09/75.16	conflict 133lvl : 37 bt36-330:0(4172)X5971554
75.09/75.16	conflict 136lvl : 40 bt40337:0(5399)X5971690
75.09/75.17	conflict 69lvl : 45 bt40-764:0(6500)X5971829
75.18/75.29	conflict 100lvl : 37 bt37-331:0(4148)X5972755
75.18/75.29	conflict 133lvl : 37 bt36-690:0(4172)X5972858
75.28/75.30	conflict 101lvl : 41 bt40-691:0(5428)X5972994
75.28/75.30	conflict 69lvl : 45 bt40-692:0(6501)X5973098
75.58/75.65	conflict 132lvl : 38 bt36-870:0(4151)X5978405
75.58/75.65	conflict 69lvl : 41 bt41-872:0(5401)X5978540
75.58/75.66	conflict 69lvl : 41 bt40-295:0(5428)X5978612
75.58/75.66	conflict 69lvl : 45 bt40-877:0(6501)X5978684
75.78/75.81	conflict 131lvl : 37 bt36-870:0(4172)X5980202
75.78/75.81	conflict 100lvl : 40 bt36-871:0(5423)X5980336
75.88/75.96	conflict 135lvl : 37 bt377:0(4149)X5981759
75.88/75.96	conflict 133lvl : 37 bt36-6:0(4172)X5981897
75.88/75.96	conflict 136lvl : 40 bt401165:0(5399)X5982033
75.88/75.96	conflict 100lvl : 40 bt36-1159:0(5423)X5982172
76.09/76.11	conflict 133lvl : 37 bt37-690:0(4148)X5983595
76.09/76.11	conflict 100lvl : 41 bt37-704:0(5402)X5983731
76.38/76.45	conflict 133lvl : 38 bt37-294:0(4178)X5989186
76.38/76.46	conflict 69lvl : 41 bt37-1267:0(5403)X5989322
76.58/76.61	conflict 133lvl : 37 bt36-6:0(4200)X5990716
76.58/76.61	conflict 136lvl : 40 bt4013:0(5399)X5990852
76.58/76.61	conflict 69lvl : 45 bt40-1273:0(6500)X5990991
76.99/77.10	conflict 132lvl : 37 bt37-330:0(4149)X5998230
76.99/77.10	conflict 69lvl : 41 bt37-331:0(5402)X5998365
77.18/77.25	conflict 69lvl : 38 bt38-512:0(4151)X5999759
77.18/77.25	conflict 131lvl : 38 bt37-330:0(4178)X5999831
77.18/77.26	conflict 69lvl : 41 bt37-517:0(5403)X5999965
77.38/77.40	conflict 131lvl : 37 bt36-510:0(4172)X6001359
77.38/77.41	conflict 69lvl : 41 bt41-517:0(5401)X6001493
77.38/77.41	conflict 100lvl : 41 bt40-115:0(5428)X6001565
77.38/77.41	conflict 69lvl : 45 bt40-128:0(6501)X6001668
77.68/77.76	conflict 100lvl : 37 bt37-1086:0(4149)X6007510
77.68/77.76	conflict 100lvl : 41 bt37-884:0(5402)X6007613
77.88/77.91	conflict 101lvl : 40 bt40-115:0(5399)X6009038
77.99/78.05	conflict 102lvl : 37 bt37884:0(4147)X6010506
77.99/78.05	conflict 100lvl : 37 bt36-870:0(4172)X6010611
77.99/78.06	conflict 100lvl : 40 bt36-871:0(5423)X6010714
78.18/78.20	conflict 132lvl : 37 bt36-510:0(4172)X6012137
78.18/78.21	conflict 69lvl : 40 bt40-301:0(5398)X6012272
78.18/78.21	conflict 100lvl : 40 bt36-511:0(5423)X6012344
78.48/78.55	conflict 133lvl : 38 bt37-1086:0(4178)X6016678
78.48/78.55	conflict 100lvl : 41 bt37-344:0(5403)X6016814
78.88/78.91	conflict 133lvl : 38 bt37-294:0(4206)X6022628
78.88/78.91	conflict 69lvl : 41 bt37-944:0(5403)X6022764
78.99/79.06	conflict 133lvl : 37 bt36-510:0(4172)X6024158
78.99/79.07	conflict 101lvl : 41 bt41-956:0(5401)X6024294
78.99/79.07	conflict 101lvl : 41 bt40-511:0(5428)X6024398
78.99/79.07	conflict 69lvl : 45 bt40-524:0(6501)X6024502
79.18/79.21	conflict 136lvl : 37 bt37512:0(4148)X6026020
79.18/79.22	conflict 133lvl : 37 bt36-510:0(4172)X6026159
79.18/79.22	conflict 69lvl : 45 bt40-116:0(6502)X6026295
79.28/79.36	conflict 101lvl : 37 bt37-6:0(4149)X6027813
79.28/79.37	conflict 100lvl : 41 bt37-511:0(5402)X6027917
79.48/79.51	conflict 167lvl : 37 bt37224:0(4147)X6029342
79.48/79.51	conflict 165lvl : 37 bt36-222:0(4172)X6029512
79.48/79.52	conflict 136lvl : 40 bt40128:0(5400)X6029680
79.48/79.52	conflict 69lvl : 45 bt40-224:0(6502)X6029819
79.58/79.66	conflict 133lvl : 37 bt36-222:0(4172)X6031337
79.58/79.67	conflict 136lvl : 40 bt40769:0(5399)X6031473
79.58/79.67	conflict 69lvl : 45 bt40-224:0(6501)X6031612
79.78/79.82	conflict 133lvl : 45 bt3643:0(6504)X6033130
80.09/80.16	conflict 100lvl : 37 bt36-294:0(4172)X6038242
80.09/80.16	conflict 100lvl : 40 bt36-295:0(5423)X6038345
80.28/80.31	conflict 167lvl : 37 bt371087:0(4149)X6039768
80.28/80.31	conflict 133lvl : 37 bt36-1086:0(4172)X6039938
80.28/80.32	conflict 133lvl : 40 bt40512:0(5399)X6040074
80.28/80.32	conflict 69lvl : 45 bt40-1088:0(6501)X6040210
80.38/80.46	conflict 136lvl : 37 bt371088:0(4148)X6041728
80.38/80.46	conflict 133lvl : 37 bt36-1086:0(4172)X6041867
80.38/80.47	conflict 69lvl : 41 bt40-512:0(5401)X6042003
80.38/80.47	conflict 137lvl : 45 bt401088:0(6502)X6042075
80.58/80.62	conflict 134lvl : 37 bt36-511:0(4172)X6043661
80.58/80.62	conflict 69lvl : 40 bt40-121:0(5398)X6043798
80.58/80.62	conflict 100lvl : 40 bt36-187:0(5423)X6043870
80.88/80.97	conflict 100lvl : 38 bt37-186:0(4178)X6047753
80.88/80.97	conflict 101lvl : 41 bt37-187:0(5403)X6047856
81.09/81.12	conflict 132lvl : 38 bt37-186:0(4150)X6049282
81.09/81.12	conflict 134lvl : 41 bt37-308:0(5403)X6049417
81.18/81.27	conflict 100lvl : 37 bt36-510:0(4172)X6050876
81.18/81.27	conflict 69lvl : 40 bt40-524:0(5398)X6050979
81.18/81.28	conflict 69lvl : 45 bt40-301:0(6502)X6051051
81.38/81.42	conflict 133lvl : 37 bt36-294:0(4172)X6052569
81.38/81.42	conflict 100lvl : 40 bt36-223:0(5423)X6052705
81.68/81.77	conflict 101lvl : 37 bt37-1267:0(4148)X6058517
81.68/81.77	conflict 133lvl : 37 bt36-294:0(4172)X6058621
81.68/81.78	conflict 69lvl : 40 bt40-1087:0(5398)X6058757
81.68/81.78	conflict 69lvl : 45 bt40-1280:0(6500)X6058829
81.88/81.93	conflict 100lvl : 37 bt36-294:0(4172)X6060347
81.88/81.93	conflict 100lvl : 40 bt36-295:0(5423)X6060450
81.99/82.08	conflict 69lvl : 37 bt37-956:0(4146)X6061873
81.99/82.08	conflict 133lvl : 37 bt36-1266:0(4172)X6061945
81.99/82.08	conflict 135lvl : 40 bt401268:0(5397)X6062081
81.99/82.08	conflict 133lvl : 40 bt36-1267:0(5422)X6062219
82.18/82.23	conflict 168lvl : 37 bt37193:0(4147)X6063675
82.18/82.23	conflict 166lvl : 37 bt36-186:0(4172)X6063846
82.18/82.23	conflict 135lvl : 40 bt40188:0(5399)X6064015
82.18/82.24	conflict 100lvl : 40 bt36-187:0(5423)X6064153
82.28/82.38	conflict 133lvl : 38 bt37-942:0(4178)X6065576
82.28/82.38	conflict 101lvl : 41 bt37-943:0(5403)X6065712
82.48/82.53	conflict 132lvl : 37 bt36-222:0(4144)X6067138
82.48/82.53	conflict 69lvl : 45 bt40-944:0(6499)X6067273
82.78/82.87	conflict 133lvl : 37 bt36-294:0(4172)X6072450
82.78/82.88	conflict 100lvl : 40 bt36-619:0(5399)X6072586
82.99/83.03	conflict 136lvl : 40 bt401088:0(5398)X6074009
83.09/83.17	conflict 100lvl : 36 bt36-7:0(4142)X6075512
83.09/83.17	conflict 129lvl : 36 bt35-222:0(4166)X6075615
83.09/83.17	conflict 132lvl : 39 bt39236:0(5392)X6075747
83.09/83.18	conflict 102lvl : 44 bt4413:0(6495)X6075882
83.99/84.05	conflict 101lvl : 36 bt35-956:0(2822)X6085098
83.99/84.06	conflict 69lvl : 38 bt35-956:0(3977)X6085202
85.78/85.82	conflict 69lvl : 38 bt38-944:0(4154)X6091502
85.78/85.82	conflict 133lvl : 38 bt37-1014:0(4181)X6091574
85.78/85.83	conflict 69lvl : 41 bt37-1016:0(5406)X6091710
86.99/87.08	conflict 136lvl : 35 bt35224:0(2818)X6104928
86.99/87.09	conflict 133lvl : 35 bt34-223:0(2842)X6105067
86.99/87.09	conflict 69lvl : 37 bt37-697:0(3971)X6105203
86.99/87.09	conflict 69lvl : 41 bt37-697:0(5171)X6105275
87.78/87.86	conflict 131lvl : 38 bt38-920:0(4154)X6113217
87.78/87.86	conflict 133lvl : 38 bt37-222:0(4181)X6113351
87.78/87.86	conflict 134lvl : 41 bt37-908:0(5406)X6113487
88.48/88.56	conflict 170lvl : 37 bt37583:0(4149)X6122573
88.48/88.56	conflict 132lvl : 37 bt36-582:0(4172)X6122746
88.48/88.57	conflict 102lvl : 40 bt40589:0(5398)X6122881
88.48/88.57	conflict 69lvl : 45 bt40-625:0(6501)X6122986
90.38/90.43	conflict 100lvl : 38 bt37-488:0(4154)X6142428
90.38/90.43	conflict 133lvl : 37 bt36-294:0(4175)X6142531
90.38/90.44	conflict 100lvl : 41 bt41-308:0(5404)X6142667
90.38/90.44	conflict 100lvl : 41 bt40-475:0(5431)X6142770
90.38/90.44	conflict 69lvl : 45 bt40-301:0(6504)X6142873
92.28/92.33	conflict 168lvl : 35 bt35764:0(2818)X6161119
92.28/92.33	conflict 166lvl : 35 bt34-763:0(2842)X6161290
92.28/92.34	conflict 136lvl : 37 bt37121:0(3972)X6161459
92.28/92.34	conflict 69lvl : 41 bt37-13:0(5171)X6161598
93.28/93.33	conflict 136lvl : 37 bt37224:0(4151)X6168862
93.28/93.33	conflict 133lvl : 37 bt36-222:0(4175)X6169001
93.28/93.34	conflict 102lvl : 40 bt40229:0(5401)X6169137
93.28/93.34	conflict 100lvl : 40 bt36-223:0(5426)X6169242
95.48/95.50	conflict 69lvl : 38 bt38-1268:0(4155)X6183174
95.48/95.50	conflict 100lvl : 38 bt37-258:0(4180)X6183246
95.48/95.50	conflict 102lvl : 41 bt41265:0(5408)X6183349
95.48/95.50	conflict 100lvl : 41 bt37-259:0(5432)X6183454
96.78/96.80	conflict 131lvl : 38 bt37-186:0(4154)X6189938
96.78/96.80	conflict 101lvl : 41 bt37-259:0(5406)X6190072
99.18/99.28	conflict 168lvl : 35 bt351195:0(2820)X6207407
99.18/99.28	conflict 100lvl : 38 bt35-342:0(3977)X6207578
100.88/101.00	conflict 136lvl : 37 bt37440:0(4152)X6216672
100.99/101.01	conflict 132lvl : 37 bt36-438:0(4175)X6216811
100.99/101.01	conflict 101lvl : 40 bt40-1195:0(5402)X6216946
100.99/101.01	conflict 69lvl : 45 bt40-692:0(6503)X6217050
104.88/104.98	conflict 168lvl : 37 bt37800:0(4150)X6232393
104.88/104.99	conflict 166lvl : 37 bt36-798:0(4175)X6232564
104.88/104.99	conflict 135lvl : 40 bt40805:0(5403)X6232733
104.88/104.99	conflict 100lvl : 40 bt36-799:0(5427)X6232871
110.38/110.48	conflict 133lvl : 37 bt37-1266:0(4152)X6244435
110.38/110.48	conflict 100lvl : 41 bt37-704:0(5405)X6244571
112.99/113.07	conflict 133lvl : 37 bt37-690:0(4152)X6253020
112.99/113.07	conflict 101lvl : 41 bt37-691:0(5405)X6253156
123.09/123.14	conflict 100lvl : 35 bt35-403:0(2819)X6275642
123.09/123.14	conflict 68lvl : 38 bt35-414:0(3975)X6275745
127.09/127.11	conflict 168lvl : 37 bt371051:0(4152)X6285253
127.09/127.11	conflict 132lvl : 37 bt36-1050:0(4175)X6285424
127.09/127.11	conflict 102lvl : 40 bt401057:0(5401)X6285559
133.88/134.00	conflict 101lvl : 38 bt35-1170:0(3975)X6300814
144.48/144.56	conflict 100lvl : 38 bt38-294:0(4154)X6309369
144.48/144.56	conflict 100lvl : 38 bt37-1122:0(4181)X6309472
144.48/144.56	conflict 69lvl : 41 bt37-1129:0(5405)X6309575
149.99/150.04	conflict 69lvl : 38 bt38-1160:0(4154)X6317306
149.99/150.04	conflict 100lvl : 38 bt37-1122:0(4181)X6317378
149.99/150.05	conflict 100lvl : 41 bt37-1123:0(5406)X6317481
163.28/163.31	conflict 131lvl : 38 bt38-1050:0(4154)X6337957
163.28/163.31	conflict 101lvl : 38 bt37-618:0(4181)X6338091
163.28/163.31	conflict 101lvl : 41 bt37-632:0(5405)X6338195
170.78/170.89	conflict 100lvl : 37 bt36-582:0(4172)X6345272
170.88/170.90	conflict 69lvl : 45 bt40-56:0(6502)X6345375
184.99/185.06	conflict 101lvl : 38 bt38-877:0(4154)X6359297
184.99/185.07	conflict 100lvl : 38 bt37-1266:0(4181)X6359401
184.99/185.07	conflict 101lvl : 41 bt37-871:0(5406)X6359504
194.68/194.73	conflict 101lvl : 38 bt37-871:0(4154)X6370501
194.68/194.74	conflict 133lvl : 37 bt36-690:0(4175)X6370605
194.68/194.74	conflict 136lvl : 40 bt40193:0(5402)X6370741
194.68/194.74	conflict 69lvl : 45 bt40-872:0(6505)X6370880
213.88/214.00	conflict 136lvl : 37 bt37943:0(4151)X6385650
213.88/214.00	conflict 133lvl : 37 bt36-942:0(4175)X6385789
213.99/214.01	conflict 102lvl : 40 bt40944:0(5401)X6385925
213.99/214.01	conflict 69lvl : 45 bt40-1172:0(6504)X6386030
225.88/225.99	conflict 102lvl : 37 bt37943:0(4151)X6396323
225.88/226.00	conflict 100lvl : 37 bt36-942:0(4175)X6396428
225.88/226.00	conflict 101lvl : 41 bt41-1159:0(5404)X6396531
225.88/226.00	conflict 100lvl : 41 bt40-943:0(5431)X6396635
239.99/240.00	
239.99/240.00	c *** INTERRUPTED ***
239.99/240.00	c restarts              : 558         
239.99/240.00	c conflicts             : 268504       (1119 /sec)
239.99/240.00	c decisions             : 790742       (3296 /sec)
239.99/240.00	c propagations          : 224674392   (936409 /sec)
239.99/240.00	c root propagations     : 54924       
239.99/240.00	c filter calls          : 94034185       (391920 /sec)
239.99/240.00	c useless filter calls  : 79706338       (84 %)
239.99/240.00	c
239.99/240.00	c clauses               : 1257081
239.99/240.00	c SAT propagations      : 669
239.99/240.00	c SAT conflicts         : 0 (1259 learnts)
239.99/240.00	c Memory used           : 114.83 MB
239.99/240.00	c CPU time              : 239.932 s
239.99/240.00	
239.99/240.00	c nb Solutions = 2
239.99/240.00	s SATISFIABLE
239.99/240.00	c Best value found: -7590561
239.99/240.00	
239.99/240.00	
239.99/240.00	v <instantiation type='solution' cost='-7590561'>
239.99/240.00	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
239.99/240.01	v <values>* 0 0 3 0 1 0 0 0 0 2 0 0 0 0 5 8 0 0 0 0 4 2 1 8 5 25 11 21 7 0 5 1 0 0 3 * * 0 0 0 0 0 0 8 35 26 * 0 0 0 2 0 0 0 0 0 0 * 0 0 0 22 0 0 * * * * * * * * * * 0 5 2 0 0 0 0 0 * 0 4 1 0 23 0 18 0 0 0 * 0 4 0 2 19 19 * * * * * * * * * * * 0 3 0 0 0 0 0 * 19 0 0 0 6 0 0 22 0 8 * 0 0 5 0 0 10 * * * * * * * * * * * * 0 0 0 0 0 0 * 0 0 2 0 4 0 29 0 0 0 * 0 18 0 0 48 25 * * * * * * * * * * * * * 0 0 9 0 0 * 16 0 0 0 8 7 0 27 0 4 * 0 4 0 0 0 13 * * * * * * * * * * * * * * 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 * 0 8 0 0 0 1 * * * * * * * * * * * * * * * 0 0 0 * 0 0 8 0 0 0 0 0 0 0 * 0 4 0 0 16 4 * * * * * * * * * * * * * * * * 0 0 * 0 0 0 2 0 6 0 0 0 0 * 36 0 0 0 8 11 * * * * * * * * * * * * * * * * * 0 * 0 0 0 4 0 12 0 0 0 0 * 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * 0 0 0 5 0 0 0 0 0 0 * 0 0 0 0 0 0 * * * * * * * * 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * 0 0 0 0 0 0 10 0 0 * 0 8 0 0 2 9 * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 0 0 0 * 0 16 0 0 20 4 * * * * * * * * * * * * * * * * * * * * * * 0 11 0 0 0 0 0 * 0 72 0 1 17 15 * * * * * * * * * * * * * * * * * * * * * * * 10 9 0 0 0 0 * 4 0 0 1 9 16 * * * * * * * * * * * * * * * * * * * * * * * * 6 4 0 0 0 * 0 7 0 316 33 34 * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 * 0 0 0 0 10 36 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 * 3 12 0 0 25 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 12 * 0 28 4 0 11 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 20 0 0 2 * * * * * * * * 0 0 19 0 0 0 0 0 0 0 * 12 0 0 0 0 0 0 4 0 13 * 0 0 3 0 0 1 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 8 39 7 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 157 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 7 0 2 0 0 0 0 0 0 * 0 0 75 0 7 0 1 0 0 0 * 0 9 0 12 22 23 * 0 0 0 0 4 1 * 0 2 0 47 0 0 16 0 0 0 * 0 20 71 7 2 0 25 8 0 0 * 0 0 0 0 0 0 * * 0 41 0 10 0 * 0 0 4 0 20 0 0 0 0 0 * 0 0 0 0 0 0 0 6 0 24 * 0 0 18 0 1 28 * * * 0 0 0 0 * 0 0 0 0 0 6 6 0 0 0 * 0 0 17 0 0 0 0 0 0 0 * 0 8 0 1 6 26 * * * * 40 0 2 * 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 * * * * * 0 0 * 0 0 0 23 0 0 0 0 0 0 * 0 0 14 0 0 0 0 0 0 0 * 0 14 0 0 18 0 * * * * * * 0 * 0 0 0 4 2 19 0 0 0 0 * 3 0 1 0 2 0 3 7 0 0 * 0 40 0 4 6 12 * * * * * * * 13 24 5 29 3 18 15 1 20 25 23 34 28 2 9 26 10 22 4 27 35 33 30 21 6 32 11 12 19 0 7 31 17 16 8 14 </values>
239.99/240.01	v </instantiation>
239.99/240.01

Verifier Data 

OK	7590561

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15353 MiB free)
  memory of node 1: 16384 MiB (15654 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266790-1502599182/watcher-4266790-1502599182 -o /tmp/evaluation-result-4266790-1502599182/solver-4266790-1502599182 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502598081-28307 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266790-1502599182.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28528, runsolver pid=28525
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 1.98 1.55 1.49 3/187 28529
/proc/meminfo: memFree=31707764/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=76404 memory=50152 CPUtime=0.1 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 11717 0 0 0 9 1 0 0 20 0 1 0 93006476 78237696 12538 33554432000 4194304 5972588 140736305025200 140736305020408 140329237093349 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 19101 12538 766 435 0 12464 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76404 KiB
Current children cumulated memory: 50152 KiB

[startup+0.209712 s]*
/proc/loadavg: 1.98 1.55 1.49 3/187 28529
/proc/meminfo: memFree=31677564/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=112452 memory=77380 CPUtime=0.21 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 17011 0 0 0 19 2 0 0 20 0 1 0 93006476 115150848 19345 33554432000 4194304 5972588 140736305025200 140736305020408 4935657 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 28113 19345 766 435 0 21476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112452 KiB
Current children cumulated memory: 77380 KiB

[startup+0.309616 s]*
/proc/loadavg: 1.98 1.55 1.49 3/187 28529
/proc/meminfo: memFree=31677192/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=112584 memory=77644 CPUtime=0.31 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 17072 0 0 0 29 2 0 0 20 0 1 0 93006476 115286016 19411 33554432000 4194304 5972588 140736305025200 140736305020408 5046292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 28146 19411 790 435 0 21509 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112584 KiB
Current children cumulated memory: 77644 KiB

[startup+0.700342 s]
/proc/loadavg: 1.98 1.55 1.49 3/187 28529
/proc/meminfo: memFree=31676076/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=115084 memory=80020 CPUtime=0.69 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 17677 0 0 0 67 2 0 0 20 0 1 0 93006476 117846016 20005 33554432000 4194304 5972588 140736305025200 140736305020408 5139338 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 28771 20005 791 435 0 22134 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115084 KiB
Current children cumulated memory: 80020 KiB

[startup+1.50034 s]
/proc/loadavg: 1.98 1.55 1.49 3/187 28529
/proc/meminfo: memFree=31674300/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=115612 memory=80548 CPUtime=1.49 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 17810 0 0 0 147 2 0 0 20 0 1 0 93006476 118386688 20137 33554432000 4194304 5972588 140736305025200 140736305020408 5139329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 28903 20137 792 435 0 22266 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115612 KiB
Current children cumulated memory: 80548 KiB

[startup+3.10981 s]
/proc/loadavg: 1.98 1.56 1.49 3/187 28529
/proc/meminfo: memFree=31670740/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=115876 memory=81088 CPUtime=3.1 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 24430 0 0 0 307 3 0 0 20 0 1 0 93006476 118657024 20272 33554432000 4194304 5972588 140736305025200 140736305022424 4975784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 28969 20272 792 435 0 22332 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 115876 KiB
Current children cumulated memory: 81088 KiB

[startup+6.30031 s]
/proc/loadavg: 1.98 1.56 1.49 3/187 28529
/proc/meminfo: memFree=31670524/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=116536 memory=81692 CPUtime=6.29 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 32265 0 0 0 626 3 0 0 20 0 1 0 93006476 119332864 20423 33554432000 4194304 5972588 140736305025200 140736305022424 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29134 20423 792 435 0 22497 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116536 KiB
Current children cumulated memory: 81692 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 1.57 1.50 3/187 28529
/proc/meminfo: memFree=31670104/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117064 memory=82220 CPUtime=12.69 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 41016 0 0 0 1265 4 0 0 20 0 1 0 93006476 119873536 20555 33554432000 4194304 5972588 140736305025200 140736305022424 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29266 20555 792 435 0 22629 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 117064 KiB
Current children cumulated memory: 82220 KiB

[startup+25.5004 s]
/proc/loadavg: 1.91 1.57 1.50 3/187 28529
/proc/meminfo: memFree=31669632/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117188 memory=82324 CPUtime=25.49 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 53727 0 0 0 2544 5 0 0 20 0 1 0 93006476 120000512 20581 33554432000 4194304 5972588 140736305025200 140736305022424 4935456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29297 20581 792 435 0 22660 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 117188 KiB
Current children cumulated memory: 82324 KiB

[startup+51.1093 s]
/proc/loadavg: 1.94 1.61 1.51 3/187 28529
/proc/meminfo: memFree=31667372/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117188 memory=84540 CPUtime=51.09 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 57657 0 0 0 5103 6 0 0 20 0 1 0 93006476 120000512 21135 33554432000 4194304 5972588 140736305025200 140736305022424 5048486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29297 21135 792 435 0 22660 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 117188 KiB
Current children cumulated memory: 84540 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.67 1.54 3/187 28530
/proc/meminfo: memFree=31664848/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117448 memory=86700 CPUtime=102.28 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 59155 0 0 0 10222 6 0 0 20 0 1 0 93006476 120266752 21675 33554432000 4194304 5972588 140736305025200 140736305022424 5139327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29362 21675 792 435 0 22725 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 86700 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.73 1.57 3/187 28532
/proc/meminfo: memFree=31664524/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117580 memory=86944 CPUtime=162.28 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 60657 0 0 0 16222 6 0 0 20 0 1 0 93006476 120401920 21736 33554432000 4194304 5972588 140736305025200 140736305022424 5099674 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29395 21736 792 435 0 22758 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 86944 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.78 1.60 3/187 28533
/proc/meminfo: memFree=31664484/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117580 memory=86968 CPUtime=222.28 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 62144 0 0 0 22222 6 0 0 20 0 1 0 93006476 120401920 21742 33554432000 4194304 5972588 140736305025200 140736305022424 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29395 21742 792 435 0 22758 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 86968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240 s]*
/proc/loadavg: 2.00 1.79 1.60 3/187 28597
/proc/meminfo: memFree=30918096/32770624 swapFree=67108860/67108860
[pid=28528] ppid=28525 vsize=117580 memory=87008 CPUtime=239.99 cores=1,3,5,7
/proc/28528/stat : 28528 (cosoco) R 28525 28528 24168 0 -1 4202496 63564 0 0 0 23993 6 0 0 20 0 1 0 93006476 120401920 21752 33554432000 4194304 5972588 140736305025200 140736305022424 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29749248 140736305030335 140736305030435 140736305030435 140736305033166 0
/proc/28528/statm: 29395 21752 792 435 0 22758 0
Current children cumulated CPU time: 239.99 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 87008 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.012 s]
# the end of solver process 28528 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=239.933 s, system=0.068 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 240.012
CPU time (s): 240.001
CPU user time (s): 239.933
CPU system time (s): 0.068
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 117580
Max. memory (cumulated for all children) (KiB): 87008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.933
system time used= 0.068
maximum resident set size= 87084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63611
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= 18
involuntary context switches= 137


# summary of solver processes directly reported to runsolver:
#   pid: 28528
#   total CPU time (s): 240.001
#   total CPU user time (s): 239.933
#   total CPU system time (s): 0.068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.909281 second user time and 1.75733 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 06:25:24
IDJOB=4266790
IDBENCH=123151
IDSOLVER=2656
FILE ID=node103/4266790-1502599182
RUNJOBID= node103-1502598081-28307
PBS_JOBID= 20628288
Free space on /tmp= 61792 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-ste36c.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266790-1502599182/watcher-4266790-1502599182 -o /tmp/evaluation-result-4266790-1502599182/solver-4266790-1502599182 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502598081-28307 --watchdog 300  cosoco -lc -model -restarts -sat HOME/instance-4266790-1502599182.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8
RANDOM SEED=4396013

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31752144 kB
MemAvailable:   31991788 kB
Buffers:           79368 kB
Cached:           454780 kB
SwapCached:            0 kB
Active:           485268 kB
Inactive:         108728 kB
Active(anon):       6320 kB
Inactive(anon):    81188 kB
Active(file):     478948 kB
Inactive(file):    27540 kB
Unevictable:        6344 kB
Mlocked:            6344 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2812 kB
Writeback:             0 kB
AnonPages:         73524 kB
Mapped:            43668 kB
Shmem:             25228 kB
Slab:             124204 kB
SReclaimable:      97984 kB
SUnreclaim:        26220 kB
KernelStack:        3168 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-13 06:29:24