Trace number 4265800

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 2520.01 2520.01

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 benchmark4280744
Best CPU time to get the best result obtained on this benchmark2400.02
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.04/0.21	c SAT : Variables: 58320 -- Clauses: 1250028
0.04/0.21	c best=?? lower=-711237632 upper=0 
0.15/0.27	c
0.15/0.27	c This is cosoco 1.12 --  
0.15/0.27	c
0.15/0.27	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265800-1502571089.xml 
0.15/0.27	c enable optimization
0.15/0.27	c ========================================[ Problem Statistics ]===========================================
0.15/0.27	c |                                                                                                       
0.15/0.27	c |  Parse time        :         0.13 s 
0.15/0.27	c |
0.15/0.27	c |               Variables: 1332
0.15/0.27	c |            Domain Sizes: 36..44
0.15/0.27	c |
0.15/0.27	c |             Constraints: 632
0.15/0.27	c |                   Arity: 3..630  -- Ternary: 630
0.15/0.27	c | 
0.15/0.27	c |                   Types: 
0.15/0.27	c |                          All Different: 1
0.15/0.27	c |                          Extension: 630  (nb tuples: 1260..1260) -- (shared: 629)
0.15/0.27	c |                          Sum: 1
0.15/0.27	c |                          
0.15/0.27	c =========================================================================================================
0.15/0.27	conflict 69lvl : 35 bt34-1264:0(1657)X5057172
0.15/0.29	conflict 69lvl : 68 bt34-1228:0(3163)X5057244
0.15/0.30	conflict 69lvl : 68 bt35-1265:0(3148)X5057316
0.15/0.30	conflict 135lvl : 34 bt34-1197:0(1671)X5057388
0.25/0.32	conflict 69lvl : 68 bt33-1227:0(3192)X5057526
0.25/0.33	conflict 69lvl : 67 bt66-1230:0(3154)X5057598
0.25/0.33	conflict 102lvl : 66 bt661267:0(3171)X5057670
0.25/0.34	conflict 100lvl : 66 bt34-1271:0(3172)X5057775
0.25/0.35	conflict 69lvl : 66 bt66-1264:0(3173)X5057878
0.25/0.35	conflict 100lvl : 66 bt33-1193:0(3189)X5057950
0.25/0.37	conflict 69lvl : 67 bt66-1229:0(3137)X5058053
0.25/0.37	conflict 100lvl : 66 bt34-1270:0(3151)X5058125
0.25/0.38	conflict 69lvl : 66 bt66-1234:0(3143)X5058228
0.25/0.38	conflict 69lvl : 65 bt65-1235:0(3165)X5058300
0.25/0.39	conflict 69lvl : 67 bt67-1234:0(4391)X5058372
0.25/0.39	conflict 199lvl : 66 bt341194:0(4387)X5058444
0.25/0.40	conflict 101lvl : 66 bt66-1199:0(3181)X5058646
0.25/0.40	conflict 133lvl : 66 bt65-1270:0(3195)X5058750
0.54/0.64	o -7701644
0.54/0.64	c    1 calls to solver: best=-7701644 lower=-7701643 upper=0 
0.73/0.89	conflict 69lvl : 36 bt36-560:0(2822)X5062891
0.73/0.89	conflict 69lvl : 36 bt35-1087:0(2849)X5062963
0.73/0.89	conflict 69lvl : 38 bt35-550:0(3976)X5063035
0.94/1.04	conflict 69lvl : 38 bt38-668:0(4154)X5063674
0.94/1.05	conflict 69lvl : 38 bt37-1230:0(4181)X5063746
0.94/1.05	conflict 69lvl : 41 bt37-655:0(5406)X5063818
1.23/1.39	conflict 69lvl : 36 bt36-740:0(2822)X5068882
1.23/1.39	conflict 69lvl : 36 bt35-331:0(2849)X5068954
1.33/1.40	conflict 69lvl : 38 bt35-733:0(3976)X5069026
1.43/1.57	conflict 69lvl : 38 bt37-1124:0(4154)X5070649
1.43/1.58	conflict 69lvl : 41 bt37-1124:0(5407)X5070721
1.83/1.93	conflict 101lvl : 36 bt36-1206:0(2822)X5075447
1.83/1.93	conflict 69lvl : 36 bt35-547:0(2849)X5075551
1.83/1.93	conflict 132lvl : 35 bt34-619:0(2842)X5075623
1.83/1.93	conflict 69lvl : 38 bt38-630:0(3974)X5075758
1.83/1.94	conflict 69lvl : 38 bt37-1196:0(4001)X5075830
1.83/1.94	conflict 69lvl : 41 bt37-625:0(5170)X5075902
1.94/2.10	conflict 69lvl : 36 bt35-560:0(2822)X5077479
1.94/2.10	conflict 69lvl : 38 bt35-560:0(3977)X5077551
2.13/2.24	conflict 69lvl : 36 bt36-704:0(2822)X5078048
2.13/2.24	conflict 69lvl : 36 bt35-1051:0(2849)X5078120
2.13/2.25	conflict 69lvl : 38 bt35-1052:0(3976)X5078192
2.23/2.37	conflict 69lvl : 38 bt37-654:0(4154)X5078464
2.23/2.38	conflict 69lvl : 41 bt37-656:0(5406)X5078536
2.43/2.53	conflict 101lvl : 38 bt38-1165:0(4154)X5079850
2.43/2.53	conflict 69lvl : 38 bt37-654:0(4181)X5079954
2.43/2.54	conflict 69lvl : 41 bt37-1160:0(5406)X5080026
2.53/2.69	conflict 101lvl : 38 bt38-1050:0(4154)X5081420
2.53/2.69	conflict 69lvl : 38 bt37-1158:0(4181)X5081524
2.53/2.69	conflict 69lvl : 41 bt37-1052:0(5405)X5081596
2.94/3.03	conflict 69lvl : 36 bt35-1052:0(2822)X5086363
2.94/3.03	conflict 69lvl : 38 bt35-1052:0(3977)X5086435
3.04/3.19	conflict 101lvl : 36 bt36-126:0(2822)X5088021
3.04/3.19	conflict 69lvl : 36 bt35-1051:0(2849)X5088125
3.04/3.19	conflict 101lvl : 38 bt35-128:0(3976)X5088197
3.23/3.37	conflict 69lvl : 38 bt37-1050:0(4154)X5090368
3.23/3.38	conflict 69lvl : 41 bt37-1051:0(5406)X5090440
3.43/3.53	conflict 69lvl : 38 bt38-656:0(4154)X5091834
3.43/3.53	conflict 102lvl : 38 bt37-1050:0(4181)X5091906
3.43/3.54	conflict 69lvl : 41 bt37-1051:0(5406)X5092011
3.53/3.68	conflict 133lvl : 38 bt38-1244:0(4154)X5093405
3.53/3.68	conflict 69lvl : 38 bt37-1050:0(4181)X5093541
3.53/3.69	conflict 69lvl : 41 bt37-1237:0(5406)X5093613
3.94/4.03	conflict 69lvl : 36 bt35-584:0(2822)X5098123
3.94/4.03	conflict 69lvl : 38 bt35-584:0(3977)X5098195
4.13/4.21	conflict 69lvl : 38 bt38-944:0(4154)X5100334
4.13/4.22	conflict 69lvl : 38 bt37-1266:0(4181)X5100406
4.13/4.22	conflict 69lvl : 41 bt37-943:0(5406)X5100478
4.13/4.29	conflict 101lvl : 38 bt38-56:0(4154)X5100680
4.13/4.29	conflict 69lvl : 38 bt37-942:0(4181)X5100784
4.13/4.30	conflict 69lvl : 41 bt37-44:0(5406)X5100856
4.33/4.44	conflict 101lvl : 38 bt38-402:0(4154)X5102053
4.33/4.45	conflict 69lvl : 38 bt37-42:0(4181)X5102157
4.33/4.45	conflict 69lvl : 41 bt37-409:0(5405)X5102229
4.53/4.60	conflict 101lvl : 38 bt38-78:0(4154)X5103623
4.53/4.60	conflict 69lvl : 38 bt37-402:0(4181)X5103727
4.53/4.61	conflict 69lvl : 41 bt37-85:0(5405)X5103799
4.63/4.76	conflict 101lvl : 38 bt38-1194:0(4154)X5105193
4.63/4.76	conflict 69lvl : 38 bt37-78:0(4181)X5105297
4.63/4.76	conflict 69lvl : 41 bt37-1201:0(5405)X5105369
4.83/4.91	conflict 101lvl : 38 bt38-222:0(4154)X5106763
4.83/4.92	conflict 69lvl : 38 bt37-1194:0(4181)X5106867
4.83/4.92	conflict 69lvl : 41 bt37-229:0(5405)X5106939
5.13/5.28	conflict 69lvl : 38 bt37-690:0(4154)X5110518
5.13/5.29	conflict 69lvl : 41 bt37-691:0(5406)X5110590
5.33/5.44	conflict 69lvl : 38 bt38-510:0(4154)X5111984
5.33/5.44	conflict 69lvl : 38 bt37-150:0(4181)X5112056
5.33/5.45	conflict 69lvl : 41 bt37-151:0(5405)X5112128
5.43/5.59	conflict 69lvl : 38 bt38-656:0(4154)X5113522
5.54/5.60	conflict 101lvl : 38 bt37-150:0(4181)X5113594
5.54/5.60	conflict 69lvl : 41 bt37-151:0(5406)X5113698
5.84/5.96	conflict 101lvl : 38 bt37-726:0(4181)X5115529
5.84/5.97	conflict 69lvl : 41 bt37-164:0(5406)X5115633
6.04/6.12	conflict 101lvl : 38 bt38-596:0(4154)X5117027
6.04/6.12	conflict 69lvl : 38 bt37-1194:0(4181)X5117131
6.04/6.12	conflict 69lvl : 41 bt37-1195:0(5406)X5117203
6.14/6.27	conflict 101lvl : 38 bt38-114:0(4154)X5118597
6.14/6.28	conflict 69lvl : 38 bt37-1194:0(4181)X5118701
6.14/6.28	conflict 69lvl : 41 bt37-1195:0(5405)X5118773
6.24/6.37	conflict 101lvl : 38 bt37-157:0(4154)X5119060
6.24/6.38	conflict 69lvl : 41 bt37-157:0(5407)X5119164
6.44/6.52	conflict 101lvl : 38 bt37-114:0(4154)X5120174
6.44/6.52	conflict 166lvl : 37 bt36-1194:0(4175)X5120278
6.44/6.52	conflict 102lvl : 40 bt40157:0(5403)X5120447
6.44/6.53	conflict 69lvl : 45 bt40-116:0(6505)X5120552
6.54/6.68	conflict 101lvl : 38 bt37-438:0(4181)X5122070
6.54/6.68	conflict 69lvl : 41 bt37-151:0(5406)X5122174
6.94/7.02	conflict 134lvl : 37 bt37690:0(4152)X5126856
6.94/7.02	conflict 101lvl : 41 bt37116:0(5406)X5126993
7.04/7.17	conflict 69lvl : 37 bt37-150:0(4151)X5128419
7.04/7.18	conflict 100lvl : 37 bt36-114:0(4175)X5128491
7.04/7.18	conflict 135lvl : 40 bt40692:0(5401)X5128594
7.04/7.18	conflict 101lvl : 45 bt40121:0(6505)X5128732
7.24/7.33	conflict 69lvl : 38 bt38-1196:0(4154)X5130282
7.24/7.33	conflict 100lvl : 38 bt36-690:0(4181)X5130354
7.24/7.34	conflict 68lvl : 41 bt41-1195:0(5404)X5130457
7.24/7.34	conflict 69lvl : 41 bt40-691:0(5431)X5130528
7.53/7.69	conflict 133lvl : 36 bt36-114:0(4146)X5135685
7.63/7.70	conflict 100lvl : 40 bt36-151:0(5426)X5135821
7.73/7.85	conflict 69lvl : 37 bt37-151:0(4151)X5137244
7.73/7.85	conflict 100lvl : 37 bt36-6:0(4175)X5137316
7.73/7.86	conflict 102lvl : 40 bt4013:0(5402)X5137419
7.94/8.01	conflict 69lvl : 38 bt38-1195:0(4154)X5138927
7.94/8.01	conflict 100lvl : 38 bt37-6:0(4181)X5138999
7.94/8.01	conflict 69lvl : 41 bt37-8:0(5406)X5139102
8.04/8.16	conflict 69lvl : 38 bt38-1165:0(4154)X5140496
8.04/8.17	conflict 101lvl : 38 bt37-6:0(4181)X5140568
8.04/8.17	conflict 69lvl : 41 bt37-7:0(5406)X5140672
8.23/8.32	conflict 101lvl : 37 bt37-114:0(4152)X5142066
8.23/8.32	conflict 101lvl : 41 bt37-7:0(5405)X5142170
8.53/8.68	conflict 165lvl : 36 bt366:0(4146)X5145775
8.53/8.68	conflict 101lvl : 40 bt36-164:0(5401)X5145943
8.63/8.80	conflict 134lvl : 37 bt37-114:0(4149)X5146549
8.73/8.80	conflict 133lvl : 37 bt36-1194:0(4175)X5146686
8.73/8.80	conflict 101lvl : 40 bt40-115:0(5399)X5146822
9.04/9.16	conflict 103lvl : 37 bt377:0(4151)X5152259
9.04/9.17	conflict 132lvl : 37 bt36-6:0(4175)X5152365
9.04/9.17	conflict 69lvl : 40 bt40-1196:0(5401)X5152500
9.04/9.17	conflict 69lvl : 45 bt40-1196:0(6505)X5152572
9.23/9.32	conflict 131lvl : 37 bt36-6:0(4175)X5154090
9.23/9.33	conflict 69lvl : 41 bt40-152:0(5404)X5154224
9.53/9.69	conflict 135lvl : 37 bt37548:0(4150)X5158314
9.53/9.69	conflict 100lvl : 37 bt36-546:0(4175)X5158452
9.53/9.69	conflict 69lvl : 41 bt40-115:0(5404)X5158555
9.63/9.70	conflict 169lvl : 45 bt40553:0(6504)X5158627
9.73/9.85	conflict 132lvl : 37 bt36-1230:0(4175)X5160245
9.73/9.86	conflict 102lvl : 41 bt40-1195:0(5404)X5160380
9.73/9.86	conflict 69lvl : 45 bt40-1201:0(6504)X5160485
9.94/10.01	conflict 69lvl : 37 bt37-8:0(4151)X5162003
9.94/10.01	conflict 100lvl : 37 bt36-1230:0(4175)X5162075
9.94/10.02	conflict 69lvl : 41 bt40-152:0(5404)X5162178
9.94/10.02	conflict 102lvl : 45 bt40-152:0(6505)X5162250
10.04/10.17	conflict 101lvl : 37 bt37-6:0(4152)X5163801
10.04/10.17	conflict 69lvl : 41 bt37-7:0(5405)X5163905
10.43/10.54	conflict 101lvl : 38 bt38-1172:0(4154)X5169623
10.43/10.54	conflict 101lvl : 38 bt37-402:0(4181)X5169727
10.43/10.54	conflict 69lvl : 41 bt37-1159:0(5406)X5169831
10.83/10.91	conflict 101lvl : 38 bt38-1208:0(4154)X5172973
10.83/10.91	conflict 101lvl : 38 bt37-1050:0(4181)X5173077
10.83/10.91	conflict 69lvl : 41 bt37-1195:0(5406)X5173181
10.94/11.07	conflict 69lvl : 38 bt38-1159:0(4151)X5174575
10.94/11.07	conflict 101lvl : 38 bt37-582:0(4178)X5174647
10.94/11.07	conflict 69lvl : 41 bt37-583:0(5403)X5174751
11.33/11.40	o -7590561
11.73/11.88	conflict 69lvl : 38 bt38-800:0(4154)X5180238
11.73/11.89	conflict 69lvl : 38 bt37-402:0(4181)X5180310
11.73/11.89	conflict 69lvl : 41 bt37-799:0(5406)X5180382
11.94/12.04	conflict 101lvl : 38 bt38-776:0(4154)X5181776
11.94/12.04	conflict 69lvl : 38 bt37-42:0(4181)X5181880
11.94/12.05	conflict 69lvl : 41 bt37-763:0(5406)X5181952
12.13/12.20	conflict 69lvl : 38 bt38-416:0(4154)X5183346
12.13/12.20	conflict 101lvl : 38 bt37-978:0(4181)X5183418
12.13/12.20	conflict 69lvl : 41 bt37-403:0(5406)X5183522
12.23/12.35	conflict 69lvl : 38 bt37-763:0(4154)X5184916
12.23/12.36	conflict 69lvl : 41 bt37-763:0(5407)X5184988
12.63/12.71	conflict 101lvl : 38 bt38-805:0(4154)X5190902
12.63/12.72	conflict 101lvl : 38 bt37-1122:0(4181)X5191006
12.63/12.72	conflict 69lvl : 41 bt37-799:0(5406)X5191110
12.73/12.87	conflict 69lvl : 38 bt38-596:0(4154)X5192504
12.73/12.87	conflict 101lvl : 38 bt37-186:0(4181)X5192576
12.73/12.88	conflict 69lvl : 41 bt37-583:0(5406)X5192680
12.94/13.03	conflict 132lvl : 38 bt38-308:0(4154)X5194074
12.94/13.03	conflict 69lvl : 38 bt37-978:0(4181)X5194209
12.94/13.03	conflict 69lvl : 41 bt37-295:0(5406)X5194281
13.04/13.18	conflict 131lvl : 38 bt38-1136:0(4154)X5195675
13.04/13.18	conflict 101lvl : 38 bt37-6:0(4181)X5195809
13.04/13.19	conflict 69lvl : 41 bt37-1123:0(5406)X5195913
13.43/13.54	conflict 101lvl : 38 bt37-150:0(4181)X5201463
13.43/13.55	conflict 69lvl : 41 bt37-152:0(5406)X5201567
13.63/13.70	conflict 101lvl : 38 bt38-704:0(4154)X5202961
13.63/13.70	conflict 100lvl : 38 bt37-42:0(4181)X5203065
13.63/13.71	conflict 69lvl : 41 bt37-691:0(5406)X5203168
13.73/13.86	conflict 69lvl : 38 bt38-295:0(4154)X5204562
13.73/13.86	conflict 101lvl : 38 bt37-798:0(4181)X5204634
13.73/13.86	conflict 69lvl : 41 bt37-296:0(5406)X5204738
14.14/14.23	conflict 133lvl : 36 bt36-114:0(4146)X5210669
14.14/14.23	conflict 102lvl : 45 bt40-128:0(6501)X5210805
14.24/14.38	conflict 101lvl : 38 bt37-150:0(4154)X5212356
14.24/14.39	conflict 101lvl : 41 bt37-164:0(5406)X5212460
14.34/14.46	conflict 101lvl : 38 bt37-150:0(4154)X5212694
14.34/14.46	conflict 69lvl : 41 bt37-151:0(5406)X5212798
14.54/14.61	conflict 101lvl : 38 bt37-114:0(4154)X5213995
14.54/14.61	conflict 69lvl : 41 bt37-115:0(5406)X5214099
14.64/14.76	conflict 100lvl : 38 bt37-978:0(4151)X5215493
14.64/14.77	conflict 69lvl : 41 bt37-979:0(5403)X5215596
15.24/15.33	conflict 132lvl : 38 bt38-1172:0(4154)X5222943
15.24/15.33	conflict 101lvl : 38 bt37-726:0(4181)X5223078
15.24/15.34	conflict 69lvl : 41 bt37-1159:0(5406)X5223182
15.34/15.49	conflict 101lvl : 38 bt37-582:0(4154)X5224576
15.44/15.50	conflict 69lvl : 41 bt37-583:0(5406)X5224680
15.54/15.65	conflict 69lvl : 38 bt38-727:0(4154)X5226074
15.54/15.65	conflict 101lvl : 38 bt37-402:0(4181)X5226146
15.54/15.65	conflict 101lvl : 41 bt37-740:0(5406)X5226250
15.74/15.80	conflict 132lvl : 38 bt38-236:0(4154)X5227676
15.74/15.81	conflict 101lvl : 38 bt37-186:0(4181)X5227811
15.74/15.81	conflict 69lvl : 41 bt37-223:0(5406)X5227915
15.84/15.96	conflict 69lvl : 38 bt38-1231:0(4151)X5229309
15.84/15.96	conflict 101lvl : 38 bt37-582:0(4178)X5229381
15.84/15.97	conflict 69lvl : 41 bt37-583:0(5403)X5229485
16.24/16.32	conflict 102lvl : 37 bt37187:0(4151)X5234589
16.24/16.32	conflict 100lvl : 37 bt36-186:0(4175)X5234694
16.24/16.32	conflict 100lvl : 41 bt36-200:0(5404)X5234797
16.34/16.48	conflict 69lvl : 38 bt38-619:0(4154)X5236220
16.34/16.48	conflict 69lvl : 38 bt37-978:0(4181)X5236292
16.34/16.48	conflict 69lvl : 41 bt37-992:0(5406)X5236364
16.54/16.63	conflict 101lvl : 38 bt38-301:0(4154)X5237758
16.54/16.63	conflict 101lvl : 38 bt37-582:0(4181)X5237862
16.54/16.64	conflict 136lvl : 41 bt37584:0(5406)X5237966
16.64/16.79	conflict 134lvl : 38 bt37-43:0(4154)X5239427
16.64/16.79	conflict 133lvl : 37 bt36-1122:0(4175)X5239564
16.64/16.80	conflict 69lvl : 41 bt41-43:0(5405)X5239700
16.74/16.80	conflict 69lvl : 41 bt40-799:0(5432)X5239772
16.74/16.80	conflict 69lvl : 45 bt40-805:0(6504)X5239844
16.84/16.95	conflict 69lvl : 38 bt38-224:0(4151)X5241362
16.84/16.95	conflict 101lvl : 38 bt37-1122:0(4178)X5241434
16.84/16.95	conflict 69lvl : 41 bt37-223:0(5403)X5241538
17.24/17.32	conflict 101lvl : 38 bt38-1028:0(4154)X5245564
17.24/17.32	conflict 69lvl : 38 bt37-402:0(4181)X5245668
17.24/17.32	conflict 69lvl : 41 bt37-1015:0(5406)X5245740
17.34/17.46	conflict 101lvl : 38 bt38-740:0(4154)X5246572
17.34/17.46	conflict 101lvl : 38 bt37-1014:0(4181)X5246676
17.34/17.46	conflict 132lvl : 37 bt36-618:0(4175)X5246780
17.34/17.47	conflict 69lvl : 41 bt40-1016:0(5404)X5246915
17.44/17.56	conflict 69lvl : 38 bt38-1195:0(4154)X5247310
17.44/17.57	conflict 100lvl : 38 bt37-726:0(4181)X5247382
17.44/17.57	conflict 69lvl : 41 bt37-1208:0(5406)X5247485
17.64/17.72	conflict 132lvl : 38 bt38-632:0(4154)X5248879
17.64/17.72	conflict 69lvl : 38 bt37-1194:0(4181)X5249014
17.64/17.73	conflict 69lvl : 41 bt37-620:0(5406)X5249086
17.74/17.88	conflict 101lvl : 38 bt38-1122:0(4154)X5250480
17.74/17.88	conflict 100lvl : 38 bt37-618:0(4181)X5250584
17.74/17.88	conflict 69lvl : 41 bt37-1124:0(5405)X5250687
17.94/18.03	conflict 69lvl : 38 bt38-907:0(4151)X5252081
17.94/18.04	conflict 69lvl : 38 bt37-78:0(4178)X5252153
17.94/18.04	conflict 69lvl : 41 bt37-92:0(5403)X5252225
18.34/18.40	conflict 69lvl : 38 bt38-812:0(4154)X5256772
18.34/18.40	conflict 101lvl : 38 bt37-366:0(4181)X5256844
18.34/18.40	conflict 69lvl : 41 bt37-799:0(5406)X5256948
18.44/18.55	conflict 101lvl : 38 bt38-445:0(4154)X5258342
18.44/18.56	conflict 69lvl : 38 bt37-798:0(4181)X5258446
18.44/18.56	conflict 69lvl : 41 bt37-799:0(5406)X5258518
18.64/18.71	conflict 101lvl : 38 bt38-656:0(4154)X5259912
18.64/18.71	conflict 101lvl : 38 bt37-798:0(4181)X5260016
18.64/18.72	conflict 69lvl : 41 bt37-799:0(5406)X5260120
18.74/18.87	conflict 132lvl : 38 bt38-1172:0(4154)X5261514
18.74/18.87	conflict 101lvl : 38 bt37-798:0(4181)X5261649
18.74/18.87	conflict 69lvl : 41 bt37-1165:0(5406)X5261753
19.04/19.19	conflict 131lvl : 38 bt37-236:0(4154)X5263353
19.04/19.19	conflict 101lvl : 41 bt37-236:0(5407)X5263487
19.23/19.34	conflict 136lvl : 37 bt37979:0(4152)X5264913
19.23/19.34	conflict 100lvl : 37 bt36-978:0(4175)X5265052
19.23/19.35	conflict 102lvl : 40 bt40985:0(5402)X5265155
19.23/19.35	conflict 69lvl : 45 bt40-44:0(6504)X5265260
19.43/19.50	conflict 69lvl : 38 bt38-764:0(4154)X5266778
19.43/19.50	conflict 101lvl : 38 bt37-978:0(4181)X5266850
19.43/19.51	conflict 69lvl : 41 bt37-763:0(5406)X5266954
19.73/19.86	conflict 101lvl : 38 bt38-164:0(4154)X5272244
19.73/19.86	conflict 100lvl : 38 bt36-222:0(4181)X5272348
19.73/19.86	conflict 69lvl : 41 bt40-151:0(5404)X5272451
19.73/19.87	conflict 101lvl : 45 bt40229:0(6504)X5272523
19.94/20.02	conflict 134lvl : 38 bt37-764:0(4154)X5274073
19.94/20.02	conflict 166lvl : 37 bt36-42:0(4175)X5274210
19.94/20.03	conflict 69lvl : 40 bt40-43:0(5403)X5274379
20.04/20.18	conflict 100lvl : 37 bt36-582:0(4175)X5275854
20.23/20.33	conflict 100lvl : 37 bt36-78:0(4175)X5277360
20.23/20.34	conflict 69lvl : 41 bt40-43:0(5404)X5277463
20.23/20.34	conflict 101lvl : 45 bt4085:0(6504)X5277535
20.43/20.50	conflict 101lvl : 40 bt40-776:0(6743)X5279085
20.94/21.05	conflict 131lvl : 38 bt38-992:0(4154)X5284571
20.94/21.06	conflict 101lvl : 38 bt37-78:0(4181)X5284705
20.94/21.06	conflict 69lvl : 41 bt37-979:0(5406)X5284809
21.13/21.21	conflict 136lvl : 37 bt3779:0(4152)X5286203
21.13/21.22	conflict 69lvl : 41 bt37-151:0(5406)X5286342
21.23/21.36	conflict 101lvl : 37 bt37-79:0(4151)X5287736
21.23/21.37	conflict 132lvl : 37 bt36-762:0(4175)X5287840
21.23/21.37	conflict 134lvl : 40 bt4085:0(5399)X5287975
21.23/21.37	conflict 69lvl : 45 bt40-44:0(6502)X5288112
21.63/21.73	conflict 101lvl : 38 bt38-85:0(4154)X5293590
21.63/21.73	conflict 102lvl : 38 bt37-222:0(4181)X5293694
21.63/21.73	conflict 69lvl : 41 bt37-79:0(5406)X5293799
21.73/21.88	conflict 69lvl : 38 bt37-871:0(4154)X5295193
21.73/21.89	conflict 69lvl : 41 bt37-871:0(5407)X5295265
21.94/22.04	conflict 100lvl : 38 bt37-222:0(4154)X5296659
21.94/22.04	conflict 69lvl : 41 bt37-224:0(5406)X5296762
22.04/22.19	conflict 102lvl : 38 bt37-114:0(4181)X5298156
22.04/22.20	conflict 69lvl : 41 bt37-589:0(5406)X5298261
22.43/22.54	conflict 69lvl : 41 bt37-85:0(5405)X5301969
22.53/22.69	conflict 167lvl : 37 bt37763:0(4152)X5303363
22.53/22.69	conflict 132lvl : 37 bt36-762:0(4175)X5303533
22.63/22.70	conflict 102lvl : 40 bt40188:0(5401)X5303668
22.63/22.70	conflict 100lvl : 40 bt36-187:0(5426)X5303773
22.73/22.85	conflict 101lvl : 38 bt38-798:0(4154)X5305196
22.73/22.85	conflict 101lvl : 38 bt37-582:0(4181)X5305300
22.73/22.86	conflict 101lvl : 41 bt37-812:0(5405)X5305404
22.94/23.01	conflict 168lvl : 37 bt37224:0(4150)X5306830
22.94/23.01	conflict 100lvl : 37 bt36-222:0(4175)X5307001
22.94/23.01	conflict 69lvl : 40 bt40-44:0(5402)X5307104
22.94/23.02	conflict 101lvl : 45 bt40224:0(6505)X5307176
23.04/23.17	conflict 103lvl : 37 bt37583:0(4152)X5308726
23.04/23.17	conflict 100lvl : 37 bt36-582:0(4175)X5308832
23.04/23.17	conflict 69lvl : 41 bt40-764:0(5404)X5308935
23.04/23.18	conflict 69lvl : 45 bt40-764:0(6505)X5309007
23.43/23.53	conflict 134lvl : 37 bt37193:0(4151)X5314287
23.43/23.53	conflict 131lvl : 37 bt36-186:0(4175)X5314424
23.43/23.54	conflict 69lvl : 45 bt40-121:0(6504)X5314558
23.53/23.69	conflict 69lvl : 38 bt38-80:0(4154)X5316076
23.53/23.69	conflict 101lvl : 38 bt37-186:0(4181)X5316148
23.63/23.70	conflict 69lvl : 41 bt37-79:0(5406)X5316252
23.73/23.85	conflict 69lvl : 40 bt40-979:0(5401)X5317646
23.83/24.00	conflict 101lvl : 38 bt37-151:0(4154)X5319082
23.83/24.00	conflict 132lvl : 37 bt36-42:0(4175)X5319186
23.83/24.00	conflict 69lvl : 41 bt40-157:0(5404)X5319321
24.23/24.37	conflict 69lvl : 37 bt37-79:0(4151)X5322533
24.23/24.37	conflict 100lvl : 37 bt36-114:0(4175)X5322605
24.23/24.37	conflict 102lvl : 40 bt40121:0(5402)X5322708
24.23/24.38	conflict 69lvl : 45 bt40-92:0(6503)X5322813
24.33/24.47	conflict 131lvl : 37 bt36-582:0(4175)X5323155
24.33/24.48	conflict 69lvl : 40 bt40-121:0(5401)X5323289
24.33/24.48	conflict 101lvl : 45 bt40116:0(6505)X5323361
24.73/24.82	conflict 101lvl : 37 bt37-762:0(4152)X5327809
24.73/24.83	conflict 69lvl : 41 bt37-769:0(5405)X5327913
24.83/24.98	conflict 100lvl : 37 bt36-474:0(4175)X5329307
24.83/24.98	conflict 134lvl : 40 bt40476:0(5400)X5329410
24.83/24.99	conflict 133lvl : 40 bt36-475:0(5426)X5329547
25.04/25.14	conflict 102lvl : 37 bt37979:0(4151)X5331003
25.04/25.14	conflict 100lvl : 37 bt36-978:0(4175)X5331108
25.13/25.29	conflict 131lvl : 37 bt36-978:0(4175)X5332614
25.23/25.30	conflict 69lvl : 40 bt40-56:0(5401)X5332748
25.23/25.30	conflict 101lvl : 40 bt36-763:0(5426)X5332820
25.33/25.45	conflict 101lvl : 38 bt38-85:0(4151)X5334244
25.33/25.45	conflict 100lvl : 38 bt37-582:0(4178)X5334348
25.33/25.46	conflict 101lvl : 41 bt37-583:0(5404)X5334451
25.73/25.80	conflict 135lvl : 37 bt37121:0(4151)X5339679
25.73/25.81	conflict 132lvl : 37 bt36-114:0(4175)X5339817
25.73/25.81	conflict 69lvl : 45 bt40-776:0(6504)X5339952
25.83/25.96	conflict 100lvl : 37 bt37-78:0(4152)X5341470
25.83/25.97	conflict 101lvl : 41 bt37-115:0(5405)X5341573
26.04/26.12	conflict 101lvl : 37 bt37-150:0(4151)X5342999
26.04/26.12	conflict 133lvl : 37 bt36-114:0(4175)X5343103
26.04/26.12	conflict 134lvl : 40 bt40116:0(5400)X5343239
26.04/26.13	conflict 69lvl : 45 bt40-596:0(6503)X5343376
26.13/26.28	conflict 101lvl : 38 bt37-979:0(5436)X5344894
26.13/26.28	conflict 69lvl : 41 bt37-114:0(5280)X5344998
26.53/26.64	conflict 131lvl : 37 bt37-78:0(4152)X5350784
26.53/26.64	conflict 101lvl : 41 bt37-157:0(5406)X5350918
26.73/26.80	conflict 133lvl : 37 bt36-222:0(4175)X5352344
26.73/26.80	conflict 101lvl : 41 bt41-596:0(5404)X5352480
26.73/26.80	conflict 101lvl : 41 bt40-223:0(5431)X5352584
26.83/26.95	conflict 136lvl : 37 bt3743:0(4151)X5354091
26.83/26.95	conflict 133lvl : 37 bt36-42:0(4175)X5354230
26.83/26.96	conflict 102lvl : 40 bt40152:0(5401)X5354366
26.83/26.96	conflict 69lvl : 45 bt40-56:0(6503)X5354471
27.04/27.11	conflict 69lvl : 37 bt37-763:0(4151)X5355989
27.04/27.11	conflict 133lvl : 37 bt36-582:0(4175)X5356061
27.04/27.12	conflict 102lvl : 40 bt40769:0(5401)X5356197
27.04/27.12	conflict 100lvl : 40 bt36-763:0(5426)X5356302
27.13/27.27	conflict 101lvl : 38 bt38-121:0(4151)X5357725
27.13/27.27	conflict 100lvl : 38 bt37-42:0(4178)X5357829
27.13/27.28	conflict 101lvl : 41 bt37-43:0(5403)X5357932
27.53/27.63	conflict 69lvl : 37 bt37-151:0(4151)X5362513
27.53/27.63	conflict 100lvl : 37 bt36-78:0(4175)X5362585
27.53/27.64	conflict 102lvl : 40 bt4085:0(5401)X5362688
27.63/27.79	conflict 101lvl : 38 bt37-835:0(4151)X5364196
27.63/27.79	conflict 133lvl : 37 bt36-582:0(4172)X5364300
27.63/27.79	conflict 100lvl : 41 bt40-848:0(5401)X5364436
28.04/28.13	conflict 101lvl : 37 bt37-223:0(4151)X5369006
28.04/28.14	conflict 133lvl : 37 bt36-114:0(4175)X5369110
28.04/28.14	conflict 102lvl : 40 bt40121:0(5401)X5369246
28.13/28.29	conflict 101lvl : 38 bt38-1015:0(4154)X5370754
28.13/28.29	conflict 101lvl : 38 bt37-114:0(4181)X5370858
28.23/28.30	conflict 69lvl : 41 bt37-121:0(5406)X5370962
28.33/28.41	conflict 100lvl : 37 bt36-762:0(4175)X5371538
28.33/28.42	conflict 69lvl : 45 bt40-128:0(6505)X5371641
28.43/28.53	conflict 135lvl : 40 bt4044:0(5400)X5372293
28.73/28.83	conflict 101lvl : 38 bt37-439:0(4151)X5375159
28.73/28.83	conflict 133lvl : 37 bt36-42:0(4172)X5375263
28.73/28.84	conflict 69lvl : 41 bt40-440:0(5401)X5375399
28.73/28.84	conflict 69lvl : 45 bt40-440:0(6502)X5375471
29.04/29.19	conflict 100lvl : 37 bt37-222:0(4152)X5380713
29.04/29.19	conflict 100lvl : 41 bt37-128:0(5405)X5380816
29.23/29.34	conflict 167lvl : 37 bt37224:0(4150)X5382241
29.23/29.35	conflict 131lvl : 37 bt36-222:0(4175)X5382411
29.23/29.35	conflict 100lvl : 40 bt36-223:0(5426)X5382545
29.43/29.50	conflict 167lvl : 37 bt37224:0(4146)X5383968
29.43/29.50	conflict 166lvl : 37 bt36-223:0(4172)X5384138
29.43/29.51	conflict 134lvl : 40 bt40224:0(5397)X5384307
29.73/29.86	conflict 132lvl : 37 bt37-115:0(4150)X5387726
29.73/29.86	conflict 133lvl : 37 bt36-114:0(4175)X5387861
29.94/30.01	conflict 69lvl : 37 bt37-128:0(4150)X5389400
29.94/30.02	conflict 101lvl : 37 bt36-582:0(4175)X5389472
29.94/30.02	conflict 101lvl : 40 bt36-835:0(5426)X5389576
30.04/30.18	conflict 69lvl : 38 bt38-1016:0(4154)X5391000
30.04/30.18	conflict 101lvl : 38 bt37-42:0(4181)X5391072
30.04/30.18	conflict 69lvl : 41 bt37-43:0(5406)X5391176
30.23/30.33	conflict 168lvl : 37 bt37548:0(4147)X5392570
30.23/30.33	conflict 100lvl : 37 bt36-546:0(4172)X5392741
30.23/30.34	conflict 101lvl : 41 bt40-547:0(5428)X5392844
30.23/30.34	conflict 133lvl : 45 bt40553:0(6501)X5392948
30.63/30.70	conflict 69lvl : 38 bt38-121:0(4154)X5396840
30.63/30.70	conflict 100lvl : 38 bt37-438:0(4181)X5396912
30.63/30.71	conflict 101lvl : 41 bt37-115:0(5406)X5397015
30.73/30.86	conflict 165lvl : 36 bt36439:0(4146)X5398441
30.73/30.86	conflict 135lvl : 40 bt40224:0(5401)X5398609
30.94/31.01	conflict 69lvl : 38 bt38-439:0(4154)X5400150
30.94/31.02	conflict 101lvl : 38 bt37-222:0(4181)X5400222
30.94/31.02	conflict 101lvl : 41 bt37-236:0(5406)X5400326
31.04/31.17	conflict 102lvl : 37 bt3779:0(4148)X5401752
31.04/31.17	conflict 100lvl : 37 bt36-78:0(4172)X5401857
31.04/31.18	conflict 101lvl : 45 bt40-56:0(6502)X5401960
31.43/31.54	conflict 100lvl : 37 bt36-402:0(4172)X5407619
31.43/31.54	conflict 69lvl : 45 bt40-229:0(6500)X5407722
31.53/31.70	conflict 103lvl : 37 bt37332:0(4149)X5409240
31.63/31.70	conflict 100lvl : 37 bt36-330:0(4172)X5409346
31.63/31.70	conflict 69lvl : 41 bt40-409:0(5401)X5409449
31.63/31.71	conflict 101lvl : 45 bt40337:0(6502)X5409521
31.94/32.06	conflict 101lvl : 37 bt37-187:0(4148)X5413261
31.94/32.07	conflict 132lvl : 37 bt36-798:0(4172)X5413365
31.94/32.07	conflict 102lvl : 40 bt40805:0(5398)X5413500
31.94/32.07	conflict 69lvl : 45 bt40-200:0(6500)X5413605
32.13/32.22	conflict 69lvl : 37 bt37-800:0(4151)X5415123
32.13/32.23	conflict 100lvl : 37 bt36-186:0(4175)X5415195
32.13/32.23	conflict 101lvl : 41 bt41188:0(5404)X5415298
32.13/32.23	conflict 101lvl : 41 bt40188:0(5431)X5415402
32.13/32.24	conflict 102lvl : 45 bt40-800:0(6505)X5415506
32.23/32.39	conflict 101lvl : 38 bt37-150:0(4151)X5417057
32.23/32.39	conflict 69lvl : 41 bt37-157:0(5403)X5417161
32.43/32.54	conflict 101lvl : 38 bt38-589:0(4151)X5418555
32.43/32.54	conflict 100lvl : 38 bt37-1266:0(4178)X5418659
32.43/32.55	conflict 101lvl : 41 bt37-1267:0(5403)X5418762
32.94/33.09	conflict 133lvl : 40 bt36-223:0(5423)X5424097
33.13/33.25	conflict 69lvl : 38 bt38-259:0(4151)X5425553
33.13/33.25	conflict 69lvl : 38 bt37-870:0(4178)X5425625
33.13/33.25	conflict 102lvl : 41 bt37-272:0(5403)X5425697
33.53/33.60	conflict 69lvl : 38 bt37-476:0(4151)X5430836
33.53/33.60	conflict 69lvl : 41 bt37-476:0(5404)X5430908
33.63/33.75	conflict 101lvl : 38 bt38-403:0(4151)X5432302
33.63/33.76	conflict 101lvl : 38 bt37-114:0(4178)X5432406
33.63/33.76	conflict 100lvl : 41 bt37-416:0(5403)X5432510
33.83/33.91	conflict 101lvl : 38 bt37-475:0(4151)X5433935
33.83/33.91	conflict 133lvl : 37 bt36-222:0(4172)X5434039
33.83/33.92	conflict 101lvl : 41 bt41-475:0(5401)X5434175
33.83/33.92	conflict 69lvl : 41 bt40-223:0(5428)X5434279
33.83/33.92	conflict 69lvl : 45 bt40-476:0(6500)X5434351
33.94/34.07	conflict 102lvl : 37 bt3749:0(4147)X5435869
33.94/34.07	conflict 100lvl : 37 bt36-42:0(4172)X5435974
33.94/34.08	conflict 133lvl : 45 bt40152:0(6501)X5436077
34.33/34.42	conflict 101lvl : 38 bt38-344:0(4154)X5441155
34.33/34.42	conflict 69lvl : 38 bt37-870:0(4181)X5441259
34.33/34.43	conflict 69lvl : 41 bt37-337:0(5406)X5441331
34.43/34.58	conflict 101lvl : 38 bt37-727:0(4151)X5442725
34.43/34.58	conflict 133lvl : 37 bt36-1194:0(4172)X5442829
34.43/34.59	conflict 136lvl : 40 bt401201:0(5399)X5442965
34.63/34.74	conflict 131lvl : 38 bt37-474:0(4151)X5444507
34.63/34.74	conflict 69lvl : 41 bt37-481:0(5403)X5444641
34.73/34.89	conflict 101lvl : 38 bt37-871:0(4151)X5446035
34.73/34.89	conflict 132lvl : 37 bt36-582:0(4172)X5446139
34.83/34.90	conflict 102lvl : 40 bt401196:0(5399)X5446274
34.83/34.90	conflict 101lvl : 45 bt40877:0(6501)X5446379
35.13/35.25	conflict 132lvl : 38 bt37-474:0(4154)X5451449
35.13/35.25	conflict 69lvl : 41 bt37-475:0(5406)X5451584
35.33/35.40	conflict 69lvl : 38 bt38-1051:0(4151)X5452978
35.33/35.40	conflict 101lvl : 38 bt37-870:0(4178)X5453050
35.33/35.41	conflict 69lvl : 41 bt37-1057:0(5403)X5453154
35.43/35.56	conflict 163lvl : 37 bt37-596:0(4147)X5454548
35.43/35.56	conflict 163lvl : 37 bt36-596:0(4172)X5454714
35.43/35.57	conflict 100lvl : 40 bt36-763:0(5423)X5454880
35.63/35.72	conflict 101lvl : 38 bt38-632:0(4151)X5456303
35.63/35.72	conflict 101lvl : 38 bt37-1158:0(4178)X5456407
35.63/35.72	conflict 69lvl : 41 bt37-619:0(5403)X5456511
35.73/35.87	conflict 101lvl : 37 bt37-583:0(4148)X5457905
35.73/35.87	conflict 133lvl : 37 bt36-726:0(4172)X5458009
35.73/35.88	conflict 136lvl : 40 bt40733:0(5399)X5458145
35.73/35.88	conflict 69lvl : 45 bt40-476:0(6500)X5458284
36.13/36.24	conflict 69lvl : 38 bt38-800:0(4151)X5461852
36.13/36.24	conflict 102lvl : 38 bt37-726:0(4178)X5461924
36.13/36.24	conflict 100lvl : 41 bt37-740:0(5403)X5462029
36.23/36.39	conflict 102lvl : 37 bt3779:0(4148)X5463454
36.23/36.39	conflict 100lvl : 37 bt36-78:0(4172)X5463559
36.33/36.40	conflict 69lvl : 45 bt40-20:0(6502)X5463662
36.43/36.55	conflict 132lvl : 38 bt37-656:0(4151)X5465180
36.43/36.55	conflict 165lvl : 37 bt36-582:0(4172)X5465315
36.43/36.56	conflict 102lvl : 40 bt4079:0(5400)X5465483
36.43/36.56	conflict 69lvl : 45 bt40-656:0(6503)X5465588
36.63/36.71	conflict 101lvl : 37 bt37-763:0(4148)X5467106
36.63/36.71	conflict 133lvl : 37 bt36-78:0(4172)X5467210
36.63/36.72	conflict 101lvl : 41 bt41-475:0(5401)X5467346
36.63/36.72	conflict 101lvl : 41 bt40-79:0(5428)X5467450
36.63/36.72	conflict 102lvl : 45 bt40-488:0(6500)X5467554
36.94/37.06	conflict 136lvl : 37 bt378:0(4151)X5472478
36.94/37.07	conflict 133lvl : 37 bt36-6:0(4175)X5472617
36.94/37.07	conflict 69lvl : 45 bt40-584:0(6504)X5472753
37.13/37.23	conflict 100lvl : 38 bt37-1086:0(4151)X5474271
37.13/37.23	conflict 69lvl : 41 bt37-1093:0(5403)X5474374
37.23/37.38	conflict 69lvl : 38 bt38-223:0(4151)X5475768
37.23/37.38	conflict 100lvl : 38 bt37-258:0(4178)X5475840
37.23/37.39	conflict 69lvl : 41 bt37-236:0(5403)X5475943
37.43/37.53	conflict 101lvl : 38 bt38-92:0(4151)X5477337
37.43/37.54	conflict 100lvl : 38 bt37-510:0(4178)X5477441
37.43/37.54	conflict 69lvl : 41 bt37-79:0(5403)X5477544
37.53/37.63	conflict 132lvl : 38 bt37-438:0(4151)X5477831
37.53/37.64	conflict 101lvl : 41 bt37-439:0(5403)X5477966
37.63/37.78	conflict 101lvl : 38 bt37-619:0(4151)X5479008
37.63/37.78	conflict 133lvl : 37 bt36-78:0(4172)X5479112
37.63/37.78	conflict 101lvl : 41 bt41-625:0(5401)X5479248
37.63/37.79	conflict 69lvl : 41 bt40-79:0(5428)X5479352
37.63/37.79	conflict 69lvl : 45 bt40-625:0(6501)X5479424
38.04/38.15	conflict 101lvl : 38 bt38-56:0(4154)X5482264
38.04/38.15	conflict 100lvl : 38 bt37-1158:0(4181)X5482368
38.04/38.16	conflict 69lvl : 41 bt37-43:0(5406)X5482471
38.23/38.31	conflict 101lvl : 38 bt37-943:0(4151)X5483865
38.23/38.31	conflict 132lvl : 37 bt36-906:0(4172)X5483969
38.23/38.32	conflict 69lvl : 41 bt40-943:0(5401)X5484104
38.23/38.32	conflict 69lvl : 45 bt40-949:0(6501)X5484176
38.33/38.47	conflict 102lvl : 37 bt371051:0(4148)X5485694
38.33/38.47	conflict 100lvl : 37 bt36-1050:0(4172)X5485799
38.33/38.48	conflict 69lvl : 45 bt40-476:0(6502)X5485902
38.53/38.63	conflict 101lvl : 38 bt38-1064:0(4151)X5487420
38.53/38.63	conflict 101lvl : 38 bt37-942:0(4178)X5487524
38.53/38.63	conflict 69lvl : 41 bt37-1052:0(5403)X5487628
38.63/38.79	conflict 101lvl : 38 bt38-1159:0(4151)X5489022
38.63/38.79	conflict 101lvl : 38 bt37-78:0(4178)X5489126
38.63/38.79	conflict 133lvl : 37 bt36-582:0(4172)X5489230
38.63/38.79	conflict 101lvl : 40 bt40-1159:0(5398)X5489366
38.73/38.80	conflict 69lvl : 45 bt40-589:0(6500)X5489470
39.04/39.11	conflict 169lvl : 38 bt38128:0(4154)X5491398
39.04/39.12	conflict 133lvl : 38 bt37-114:0(4181)X5491570
39.04/39.12	conflict 101lvl : 41 bt37-476:0(5406)X5491706
39.13/39.27	conflict 169lvl : 37 bt37548:0(4152)X5493132
39.13/39.28	conflict 132lvl : 37 bt36-546:0(4175)X5493304
39.13/39.28	conflict 69lvl : 40 bt40-1267:0(5401)X5493439
39.13/39.28	conflict 69lvl : 45 bt40-1268:0(6503)X5493511
39.33/39.43	conflict 136lvl : 37 bt371268:0(4151)X5495029
39.33/39.43	conflict 133lvl : 37 bt36-1266:0(4175)X5495168
39.33/39.44	conflict 69lvl : 41 bt40-548:0(5404)X5495304
39.33/39.44	conflict 69lvl : 45 bt40-548:0(6505)X5495376
39.43/39.59	conflict 136lvl : 37 bt371015:0(4148)X5496894
39.43/39.59	conflict 133lvl : 37 bt36-1014:0(4172)X5497033
39.63/39.75	conflict 101lvl : 38 bt37-906:0(4178)X5498572
39.63/39.75	conflict 69lvl : 41 bt37-907:0(5403)X5498676
39.83/39.91	conflict 69lvl : 38 bt38-1051:0(4151)X5500070
39.83/39.91	conflict 101lvl : 38 bt37-1014:0(4178)X5500142
39.83/39.91	conflict 69lvl : 41 bt37-1052:0(5403)X5500246
39.94/40.06	conflict 133lvl : 37 bt36-762:0(4172)X5501640
39.94/40.07	conflict 69lvl : 45 bt40-80:0(6502)X5501776
40.33/40.41	conflict 135lvl : 37 bt37691:0(4148)X5505971
40.33/40.41	conflict 133lvl : 37 bt36-690:0(4172)X5506109
40.33/40.41	conflict 136lvl : 40 bt40697:0(5399)X5506245
40.33/40.42	conflict 69lvl : 45 bt40-116:0(6501)X5506384
40.43/40.57	conflict 136lvl : 37 bt37691:0(4148)X5507902
40.43/40.57	conflict 133lvl : 37 bt36-690:0(4172)X5508041
40.43/40.58	conflict 101lvl : 41 bt40691:0(5401)X5508177
40.43/40.58	conflict 69lvl : 45 bt40-409:0(6502)X5508281
40.63/40.73	conflict 101lvl : 37 bt37-726:0(4149)X5509799
40.63/40.73	conflict 69lvl : 41 bt37-620:0(5402)X5509903
40.73/40.88	conflict 101lvl : 38 bt37-439:0(4151)X5511297
40.73/40.88	conflict 133lvl : 37 bt36-78:0(4172)X5511401
40.73/40.89	conflict 136lvl : 40 bt40956:0(5399)X5511537
40.73/40.89	conflict 69lvl : 45 bt40-92:0(6501)X5511676
40.94/41.04	conflict 69lvl : 38 bt38-224:0(4151)X5513194
40.94/41.04	conflict 100lvl : 38 bt37-942:0(4178)X5513266
40.94/41.04	conflict 101lvl : 41 bt37-223:0(5403)X5513369
41.23/41.39	conflict 136lvl : 37 bt37121:0(4149)X5518531
41.23/41.39	conflict 133lvl : 37 bt36-114:0(4172)X5518670
41.33/41.40	conflict 69lvl : 45 bt40-92:0(6500)X5518806
41.43/41.55	conflict 101lvl : 38 bt38-656:0(4151)X5520324
41.43/41.55	conflict 100lvl : 38 bt37-114:0(4178)X5520428
41.43/41.56	conflict 101lvl : 41 bt37-655:0(5403)X5520531
41.63/41.71	conflict 101lvl : 38 bt37-619:0(4151)X5521957
41.63/41.71	conflict 133lvl : 37 bt36-78:0(4172)X5522061
41.63/41.71	conflict 136lvl : 40 bt40944:0(5399)X5522197
41.63/41.72	conflict 100lvl : 40 bt36-943:0(5423)X5522336
41.73/41.87	conflict 137lvl : 41 bt3780:0(5278)X5523759
42.13/42.23	conflict 100lvl : 38 bt37-920:0(4154)X5527190
42.13/42.23	conflict 133lvl : 37 bt36-1194:0(4175)X5527293
42.13/42.24	conflict 136lvl : 40 bt401201:0(5402)X5527429
42.23/42.39	conflict 100lvl : 38 bt37-1158:0(4151)X5528971
42.23/42.39	conflict 69lvl : 41 bt37-1159:0(5403)X5529074
42.43/42.54	conflict 131lvl : 38 bt38-380:0(4151)X5530468
42.43/42.55	conflict 69lvl : 38 bt37-1158:0(4178)X5530602
42.43/42.55	conflict 69lvl : 41 bt37-368:0(5403)X5530674
42.63/42.70	conflict 101lvl : 38 bt38-330:0(4151)X5532068
42.63/42.70	conflict 101lvl : 38 bt37-366:0(4178)X5532172
42.63/42.71	conflict 69lvl : 41 bt37-367:0(5402)X5532276
42.63/42.77	conflict 69lvl : 38 bt38-769:0(4151)X5532478
42.63/42.78	conflict 131lvl : 38 bt37-366:0(4178)X5532550
42.63/42.78	conflict 101lvl : 41 bt37-367:0(5403)X5532684
42.83/42.92	conflict 101lvl : 38 bt37-1280:0(4151)X5533913
42.83/42.93	conflict 133lvl : 37 bt36-1086:0(4172)X5534017
42.83/42.93	conflict 136lvl : 40 bt401093:0(5399)X5534153
42.83/42.94	conflict 69lvl : 45 bt40-368:0(6502)X5534292
43.23/43.30	conflict 69lvl : 38 bt37-439:0(4151)X5539276
43.23/43.30	conflict 69lvl : 41 bt37-439:0(5404)X5539348
43.53/43.68	conflict 101lvl : 38 bt37-1123:0(4154)X5544867
43.53/43.68	conflict 132lvl : 37 bt36-330:0(4175)X5544971
43.53/43.68	conflict 69lvl : 41 bt41-1124:0(5404)X5545106
43.53/43.68	conflict 69lvl : 41 bt40-331:0(5431)X5545178
43.53/43.69	conflict 69lvl : 45 bt40-1124:0(6504)X5545250
43.73/43.84	conflict 136lvl : 37 bt371124:0(4151)X5546768
43.73/43.84	conflict 133lvl : 37 bt36-1122:0(4175)X5546907
43.73/43.85	conflict 69lvl : 45 bt40-80:0(6505)X5547043
43.83/44.00	conflict 167lvl : 37 bt37367:0(4149)X5548561
43.83/44.00	conflict 166lvl : 37 bt36-366:0(4172)X5548731
43.94/44.01	conflict 136lvl : 40 bt40368:0(5400)X5548900
43.94/44.01	conflict 69lvl : 45 bt40-764:0(6502)X5549039
44.04/44.16	conflict 69lvl : 41 bt37-366:0(5276)X5550557
44.23/44.31	conflict 133lvl : 37 bt36-762:0(4172)X5551911
44.23/44.32	conflict 100lvl : 40 bt36-763:0(5423)X5552047
44.33/44.47	conflict 101lvl : 38 bt37-763:0(4151)X5553470
44.33/44.47	conflict 133lvl : 37 bt36-1266:0(4172)X5553574
44.33/44.48	conflict 136lvl : 40 bt40949:0(5399)X5553710
44.33/44.48	conflict 101lvl : 45 bt40764:0(6501)X5553849
44.73/44.85	conflict 101lvl : 38 bt37-668:0(4154)X5559885
44.73/44.85	conflict 133lvl : 37 bt36-1194:0(4175)X5559989
44.73/44.86	conflict 136lvl : 40 bt401201:0(5402)X5560125
44.73/44.86	conflict 69lvl : 45 bt40-668:0(6505)X5560264
44.94/45.02	conflict 133lvl : 38 bt36-222:0(4151)X5561782
44.94/45.02	conflict 69lvl : 41 bt40-224:0(5401)X5561918
44.94/45.02	conflict 69lvl : 45 bt40-224:0(6502)X5561990
45.04/45.17	conflict 135lvl : 37 bt37224:0(4148)X5563508
45.04/45.17	conflict 132lvl : 37 bt36-222:0(4172)X5563646
45.04/45.18	conflict 69lvl : 41 bt40-368:0(5401)X5563781
45.04/45.18	conflict 69lvl : 45 bt40-224:0(6502)X5563853
45.23/45.33	conflict 69lvl : 38 bt38-116:0(4151)X5565371
45.23/45.33	conflict 100lvl : 38 bt37-330:0(4178)X5565443
45.23/45.34	conflict 101lvl : 41 bt37-331:0(5403)X5565546
45.33/45.49	conflict 100lvl : 37 bt37-330:0(4149)X5566972
45.33/45.49	conflict 101lvl : 41 bt37-331:0(5402)X5567075
45.73/45.85	conflict 101lvl : 37 bt37-943:0(4149)X5572410
45.73/45.86	conflict 133lvl : 37 bt36-366:0(4172)X5572514
45.73/45.86	conflict 136lvl : 40 bt40368:0(5399)X5572650
45.73/45.86	conflict 69lvl : 45 bt40-949:0(6500)X5572789
45.94/46.02	conflict 133lvl : 37 bt36-942:0(4172)X5574307
45.94/46.03	conflict 100lvl : 40 bt36-943:0(5423)X5574443
46.04/46.18	conflict 133lvl : 38 bt38-330:0(4151)X5575866
46.04/46.18	conflict 132lvl : 38 bt37-942:0(4178)X5576002
46.04/46.18	conflict 68lvl : 41 bt37-337:0(5402)X5576137
46.43/46.56	conflict 69lvl : 38 bt37-1122:0(4154)X5579838
46.43/46.56	conflict 69lvl : 41 bt37-1129:0(5406)X5579910
46.63/46.72	conflict 101lvl : 38 bt37-1015:0(4151)X5581304
46.63/46.72	conflict 132lvl : 37 bt36-366:0(4172)X5581408
46.63/46.72	conflict 69lvl : 41 bt40-1021:0(5401)X5581543
46.63/46.73	conflict 69lvl : 45 bt40-1021:0(6502)X5581615
46.73/46.88	conflict 69lvl : 38 bt38-620:0(4151)X5583133
46.73/46.88	conflict 101lvl : 38 bt37-1266:0(4178)X5583205
46.73/46.88	conflict 101lvl : 41 bt37-1267:0(5403)X5583309
46.94/47.03	conflict 169lvl : 37 bt37337:0(4149)X5584735
46.94/47.03	conflict 100lvl : 37 bt36-330:0(4172)X5584907
46.94/47.04	conflict 130lvl : 41 bt41-1280:0(5401)X5585010
46.94/47.04	conflict 102lvl : 41 bt40-331:0(5428)X5585143
46.94/47.04	conflict 69lvl : 45 bt40-1273:0(6501)X5585248
47.04/47.19	conflict 136lvl : 37 bt371268:0(4148)X5586766
47.04/47.19	conflict 133lvl : 37 bt36-1266:0(4172)X5586905
47.13/47.20	conflict 69lvl : 40 bt40-1268:0(5399)X5587041
47.13/47.20	conflict 100lvl : 40 bt36-943:0(5423)X5587113
47.23/47.35	conflict 133lvl : 38 bt37-726:0(4178)X5588536
47.23/47.36	conflict 69lvl : 41 bt37-728:0(5403)X5588672
47.63/47.73	conflict 170lvl : 37 bt37331:0(4149)X5594496
47.63/47.73	conflict 69lvl : 41 bt37-728:0(5403)X5594669
47.73/47.89	conflict 101lvl : 37 bt37-344:0(4147)X5596063
47.73/47.89	conflict 133lvl : 37 bt36-1266:0(4172)X5596167
47.73/47.89	conflict 135lvl : 40 bt401268:0(5399)X5596303
47.73/47.89	conflict 133lvl : 40 bt36-1267:0(5423)X5596441
48.13/48.26	conflict 170lvl : 37 bt371267:0(4149)X5602013
48.13/48.26	conflict 100lvl : 37 bt36-1266:0(4172)X5602186
48.13/48.27	conflict 102lvl : 40 bt401273:0(5399)X5602289
48.13/48.27	conflict 69lvl : 45 bt40-1160:0(6502)X5602394
48.33/48.43	conflict 133lvl : 37 bt36-1158:0(4172)X5603912
48.33/48.43	conflict 69lvl : 41 bt40-1268:0(5401)X5604048
48.33/48.44	conflict 69lvl : 45 bt40-1268:0(6502)X5604120
48.43/48.59	conflict 69lvl : 38 bt38-332:0(4151)X5605638
48.43/48.59	conflict 101lvl : 38 bt37-618:0(4178)X5605710
48.43/48.59	conflict 137lvl : 41 bt37331:0(5403)X5605814
48.53/48.66	conflict 133lvl : 37 bt37-114:0(4149)X5606084
48.53/48.66	conflict 101lvl : 41 bt37-115:0(5402)X5606220
48.73/48.81	conflict 101lvl : 37 bt37-115:0(4148)X5607449
48.73/48.81	conflict 133lvl : 37 bt36-690:0(4172)X5607553
48.73/48.82	conflict 69lvl : 41 bt41-115:0(5401)X5607689
48.73/48.82	conflict 101lvl : 41 bt40-691:0(5428)X5607761
48.73/48.82	conflict 69lvl : 45 bt40-116:0(6500)X5607865
49.04/49.19	conflict 136lvl : 37 bt37620:0(4148)X5613504
49.04/49.19	conflict 133lvl : 37 bt36-618:0(4172)X5613643
49.13/49.20	conflict 69lvl : 45 bt40-944:0(6501)X5613779
49.23/49.35	conflict 136lvl : 37 bt37944:0(4148)X5615297
49.23/49.35	conflict 133lvl : 37 bt36-942:0(4172)X5615436
49.23/49.36	conflict 101lvl : 45 bt40620:0(6501)X5615572
49.43/49.50	conflict 169lvl : 37 bt371268:0(4148)X5617122
49.43/49.50	conflict 166lvl : 37 bt36-1266:0(4172)X5617294
49.43/49.51	conflict 102lvl : 40 bt40337:0(5399)X5617463
49.43/49.51	conflict 69lvl : 45 bt40-944:0(6502)X5617568
49.73/49.85	conflict 100lvl : 37 bt37-42:0(4149)X5622674
49.73/49.86	conflict 69lvl : 41 bt37-44:0(5402)X5622777
49.94/50.01	conflict 100lvl : 38 bt37-42:0(4178)X5624171
49.94/50.01	conflict 101lvl : 41 bt37-43:0(5403)X5624274
50.04/50.15	conflict 133lvl : 37 bt37-42:0(4149)X5625700
50.04/50.16	conflict 101lvl : 41 bt37-43:0(5402)X5625836
50.43/50.51	conflict 100lvl : 37 bt37-366:0(4149)X5631349
50.43/50.51	conflict 69lvl : 41 bt37-116:0(5402)X5631452
50.53/50.66	conflict 100lvl : 38 bt37-618:0(4178)X5632846
50.53/50.66	conflict 99lvl : 41 bt37-128:0(5403)X5632949
50.73/50.81	conflict 101lvl : 37 bt37-1267:0(4148)X5634373
50.73/50.81	conflict 133lvl : 37 bt36-330:0(4172)X5634477
50.73/50.81	conflict 136lvl : 40 bt401268:0(5399)X5634613
50.73/50.82	conflict 69lvl : 45 bt40-337:0(6501)X5634752
50.83/50.96	conflict 136lvl : 40 bt40956:0(5399)X5636270
51.13/51.29	conflict 168lvl : 37 bt37625:0(4147)X5640712
51.13/51.29	conflict 133lvl : 37 bt36-618:0(4172)X5640883
51.23/51.30	conflict 100lvl : 40 bt36-619:0(5423)X5641019
51.33/51.44	conflict 136lvl : 37 bt371267:0(4149)X5642442
51.33/51.45	conflict 101lvl : 37 bt37-331:0(5094)X5642581
51.33/51.45	conflict 166lvl : 41 bt37330:0(5277)X5642685
51.43/51.59	conflict 100lvl : 37 bt36-618:0(4144)X5644216
51.53/51.60	conflict 69lvl : 40 bt40-620:0(5397)X5644319
51.53/51.60	conflict 100lvl : 40 bt36-943:0(5422)X5644391
51.63/51.74	conflict 169lvl : 37 bt371267:0(4149)X5645814
51.63/51.75	conflict 100lvl : 41 bt37-200:0(5403)X5645986
51.73/51.89	conflict 100lvl : 37 bt36-186:0(4172)X5647411
51.83/51.90	conflict 101lvl : 41 bt41-187:0(5401)X5647514
51.83/51.90	conflict 101lvl : 41 bt40-943:0(5428)X5647618
51.83/51.90	conflict 101lvl : 45 bt40-200:0(6500)X5647722
52.13/52.25	conflict 133lvl : 38 bt37-186:0(4151)X5653416
52.13/52.26	conflict 100lvl : 41 bt37-200:0(5403)X5653552
52.53/52.61	conflict 100lvl : 37 bt36-380:0(4148)X5659010
52.53/52.61	conflict 101lvl : 40 bt40-200:0(5398)X5659113
52.53/52.62	conflict 133lvl : 40 bt36-223:0(5424)X5659217
52.63/52.77	conflict 133lvl : 38 bt37-222:0(4178)X5660673
52.63/52.77	conflict 69lvl : 41 bt37-620:0(5403)X5660809
52.83/52.91	conflict 101lvl : 37 bt37-367:0(4148)X5662203
52.83/52.92	conflict 131lvl : 37 bt36-330:0(4172)X5662307
52.83/52.92	conflict 134lvl : 40 bt40337:0(5399)X5662441
52.83/52.92	conflict 69lvl : 45 bt40-368:0(6500)X5662578
53.13/53.27	conflict 100lvl : 37 bt36-6:0(4172)X5667944
53.13/53.28	conflict 101lvl : 41 bt41-7:0(5401)X5668047
53.13/53.28	conflict 101lvl : 41 bt40-223:0(5428)X5668151
53.13/53.28	conflict 102lvl : 45 bt40-20:0(6500)X5668255
53.33/53.43	conflict 169lvl : 37 bt377:0(4147)X5669806
53.33/53.43	conflict 133lvl : 37 bt36-6:0(4172)X5669978
53.33/53.44	conflict 100lvl : 40 bt36-7:0(5423)X5670114
53.83/53.97	conflict 133lvl : 37 bt36-618:0(4172)X5676734
53.83/53.97	conflict 136lvl : 40 bt40632:0(5399)X5676870
53.83/53.98	conflict 69lvl : 45 bt40-236:0(6500)X5677009
54.04/54.12	conflict 166lvl : 37 bt36-223:0(4172)X5678527
54.04/54.13	conflict 133lvl : 40 bt36-223:0(5423)X5678696
54.33/54.48	conflict 101lvl : 38 bt37-776:0(4151)X5684235
54.33/54.48	conflict 101lvl : 41 bt37-776:0(5404)X5684339
54.73/54.84	conflict 168lvl : 37 bt37373:0(4148)X5689850
54.73/54.84	conflict 165lvl : 37 bt36-366:0(4172)X5690021
54.73/54.85	conflict 69lvl : 40 bt40-331:0(5398)X5690189
54.73/54.85	conflict 69lvl : 45 bt40-344:0(6501)X5690261
54.83/54.94	conflict 132lvl : 37 bt37-380:0(4146)X5690603
54.83/54.94	conflict 133lvl : 37 bt36-330:0(4172)X5690738
54.83/54.95	conflict 100lvl : 40 bt36-331:0(5423)X5690874
54.94/55.09	conflict 69lvl : 37 bt37-625:0(4146)X5691913
54.94/55.09	conflict 102lvl : 37 bt36-1266:0(4172)X5691985
54.94/55.10	conflict 101lvl : 40 bt40-619:0(5398)X5692090
54.94/55.10	conflict 99lvl : 45 bt40-632:0(6501)X5692194
55.13/55.24	conflict 101lvl : 37 bt37-1266:0(4146)X5693742
55.13/55.24	conflict 134lvl : 37 bt36-618:0(4172)X5693846
55.13/55.25	conflict 69lvl : 45 bt40-1273:0(6534)X5693983
55.53/55.60	conflict 100lvl : 38 bt37-762:0(4178)X5699584
55.53/55.61	conflict 101lvl : 41 bt37-763:0(5430)X5699687
55.63/55.76	conflict 131lvl : 37 bt36-6:0(4172)X5701113
55.63/55.77	conflict 69lvl : 45 bt37-236:0(6499)X5701247
56.04/56.11	conflict 133lvl : 37 bt36-1158:0(4172)X5706648
56.04/56.12	conflict 136lvl : 40 bt401165:0(5398)X5706784
56.04/56.12	conflict 100lvl : 40 bt36-1159:0(5423)X5706923
56.13/56.27	conflict 101lvl : 37 bt37-1160:0(4147)X5708346
56.13/56.27	conflict 133lvl : 37 bt36-618:0(4172)X5708450
56.13/56.28	conflict 135lvl : 40 bt40625:0(5398)X5708586
56.13/56.28	conflict 133lvl : 40 bt36-619:0(5422)X5708724
56.33/56.42	conflict 167lvl : 37 bt371165:0(4147)X5710180
56.33/56.43	conflict 165lvl : 37 bt36-1158:0(4172)X5710350
56.33/56.43	conflict 136lvl : 40 bt40224:0(5400)X5710518
56.33/56.43	conflict 69lvl : 45 bt40-1165:0(6501)X5710657
56.43/56.58	conflict 133lvl : 37 bt36-1158:0(4172)X5712175
56.43/56.58	conflict 101lvl : 41 bt40-223:0(5428)X5712311
56.43/56.59	conflict 69lvl : 45 bt40-224:0(6501)X5712415
56.63/56.73	conflict 133lvl : 37 bt36-366:0(4172)X5713933
56.63/56.74	conflict 100lvl : 40 bt36-367:0(5423)X5714069
56.94/57.07	conflict 168lvl : 37 bt371160:0(4147)X5718760
56.94/57.07	conflict 133lvl : 37 bt36-1158:0(4172)X5718931
56.94/57.07	conflict 100lvl : 40 bt36-1159:0(5422)X5719067
57.13/57.22	conflict 102lvl : 37 bt371273:0(4147)X5720490
57.13/57.22	conflict 100lvl : 37 bt36-1266:0(4172)X5720595
57.13/57.23	conflict 100lvl : 40 bt36-223:0(5423)X5720698
57.43/57.57	conflict 133lvl : 37 bt36-726:0(4172)X5724782
57.43/57.58	conflict 100lvl : 40 bt36-727:0(5423)X5724918
57.63/57.73	conflict 132lvl : 37 bt36-726:0(4172)X5726341
57.63/57.74	conflict 136lvl : 40 bt401160:0(5399)X5726476
57.63/57.74	conflict 101lvl : 45 bt401268:0(6501)X5726615
57.73/57.88	conflict 100lvl : 37 bt36-726:0(4172)X5728165
57.73/57.89	conflict 102lvl : 40 bt40733:0(5398)X5728268
57.73/57.89	conflict 100lvl : 40 bt36-727:0(5423)X5728373
57.94/58.04	conflict 133lvl : 37 bt36-726:0(4172)X5729796
57.94/58.04	conflict 135lvl : 40 bt40229:0(5399)X5729932
57.94/58.04	conflict 69lvl : 45 bt40-728:0(6501)X5730070
58.04/58.19	conflict 133lvl : 37 bt36-726:0(4172)X5731588
58.04/58.19	conflict 69lvl : 41 bt40-224:0(5401)X5731724
58.13/58.20	conflict 69lvl : 45 bt40-224:0(6502)X5731796
58.43/58.55	conflict 133lvl : 37 bt36-6:0(4172)X5737226
58.43/58.55	conflict 101lvl : 40 bt40-7:0(5399)X5737362
58.43/58.56	conflict 69lvl : 45 bt40-380:0(6500)X5737466
58.63/58.70	conflict 132lvl : 37 bt36-1266:0(4147)X5738984
58.63/58.71	conflict 69lvl : 45 bt40-1273:0(6500)X5739119
58.73/58.85	conflict 100lvl : 37 bt36-366:0(4172)X5740637
58.73/58.86	conflict 100lvl : 40 bt36-223:0(5422)X5740740
59.22/59.36	conflict 167lvl : 37 bt37733:0(4147)X5745367
59.22/59.36	conflict 165lvl : 37 bt36-726:0(4172)X5745537
59.22/59.37	conflict 134lvl : 40 bt40728:0(5400)X5745705
59.22/59.37	conflict 69lvl : 45 bt40-128:0(6501)X5745842
59.42/59.52	conflict 132lvl : 37 bt36-114:0(4172)X5747360
59.42/59.52	conflict 101lvl : 41 bt40-115:0(5428)X5747495
59.42/59.53	conflict 102lvl : 45 bt40-116:0(6501)X5747599
59.52/59.67	conflict 100lvl : 37 bt36-114:0(4172)X5749150
59.52/59.68	conflict 100lvl : 40 bt36-115:0(5423)X5749253
59.72/59.82	conflict 69lvl : 37 bt37-625:0(4148)X5750676
59.72/59.82	conflict 133lvl : 37 bt36-114:0(4172)X5750748
59.72/59.83	conflict 100lvl : 40 bt36-115:0(5423)X5750884
60.03/60.17	conflict 100lvl : 37 bt37-690:0(4149)X5756409
60.03/60.17	conflict 100lvl : 41 bt37-704:0(5402)X5756512
60.22/60.32	conflict 131lvl : 38 bt36-690:0(4150)X5757937
60.22/60.33	conflict 102lvl : 41 bt41-620:0(5401)X5758071
60.22/60.33	conflict 101lvl : 41 bt40-691:0(5428)X5758176
60.22/60.33	conflict 69lvl : 45 bt40-692:0(6501)X5758280
60.32/60.47	conflict 169lvl : 37 bt37697:0(4147)X5759798
60.32/60.47	conflict 133lvl : 37 bt36-690:0(4172)X5759970
60.32/60.48	conflict 69lvl : 41 bt41-368:0(5401)X5760106
60.32/60.48	conflict 101lvl : 41 bt40-691:0(5428)X5760178
60.32/60.48	conflict 69lvl : 45 bt40-373:0(6501)X5760282
60.52/60.63	conflict 134lvl : 37 bt36-115:0(4172)X5761800
60.52/60.63	conflict 100lvl : 40 bt36-115:0(5423)X5761937
60.62/60.78	conflict 103lvl : 40 bt401159:0(5399)X5763360
61.03/61.12	conflict 131lvl : 38 bt37-1086:0(4151)X5767023
61.03/61.13	conflict 69lvl : 41 bt37-1088:0(5403)X5767157
61.12/61.27	conflict 101lvl : 37 bt37-366:0(4149)X5768551
61.12/61.28	conflict 100lvl : 41 bt37-1087:0(5429)X5768655
61.32/61.42	conflict 131lvl : 38 bt37-1086:0(4178)X5770080
61.32/61.43	conflict 101lvl : 41 bt37-1087:0(5403)X5770214
61.62/61.74	conflict 132lvl : 38 bt37-294:0(4151)X5771946
61.62/61.75	conflict 100lvl : 41 bt37-308:0(5403)X5772081
61.93/62.09	conflict 133lvl : 37 bt36-366:0(4172)X5777426
61.93/62.10	conflict 100lvl : 40 bt36-619:0(5423)X5777562
62.12/62.25	conflict 166lvl : 37 bt37367:0(4149)X5778985
62.12/62.25	conflict 133lvl : 37 bt36-366:0(4172)X5779154
62.12/62.25	conflict 136lvl : 40 bt40380:0(5399)X5779290
62.12/62.26	conflict 69lvl : 45 bt40-625:0(6501)X5779429
62.32/62.40	conflict 131lvl : 37 bt36-726:0(4172)X5780947
62.32/62.40	conflict 133lvl : 40 bt36-727:0(5423)X5781081
62.42/62.55	conflict 132lvl : 37 bt36-1086:0(4172)X5782537
62.42/62.55	conflict 103lvl : 40 bt401087:0(5399)X5782672
62.42/62.56	conflict 69lvl : 45 bt40-728:0(6501)X5782778
62.62/62.70	conflict 69lvl : 38 bt38-404:0(4151)X5784296
62.62/62.70	conflict 133lvl : 38 bt36-1086:0(4178)X5784368
62.62/62.70	conflict 69lvl : 41 bt41-403:0(5401)X5784504
62.62/62.70	conflict 101lvl : 41 bt40-1087:0(5428)X5784576
62.72/62.85	conflict 168lvl : 37 bt371093:0(4147)X5786083
62.72/62.85	conflict 133lvl : 37 bt36-1086:0(4172)X5786254
62.72/62.85	conflict 100lvl : 40 bt36-1087:0(5423)X5786390
63.03/63.19	conflict 133lvl : 37 bt36-402:0(4172)X5791340
63.12/63.20	conflict 101lvl : 40 bt40-128:0(5399)X5791476
63.12/63.20	conflict 69lvl : 45 bt40-416:0(6502)X5791580
63.22/63.35	conflict 69lvl : 40 bt40-620:0(5397)X5793098
63.32/63.49	conflict 131lvl : 38 bt37-402:0(4178)X5794534
63.32/63.49	conflict 101lvl : 38 bt37-403:0(5434)X5794668
63.42/63.50	conflict 101lvl : 41 bt37-6:0(5277)X5794772
63.52/63.64	conflict 133lvl : 37 bt36-726:0(4172)X5796238
63.52/63.64	conflict 101lvl : 41 bt40-7:0(5401)X5796374
63.52/63.65	conflict 102lvl : 45 bt40-20:0(6501)X5796478
63.82/64.00	conflict 136lvl : 40 bt40121:0(5397)X5802472
64.03/64.14	conflict 131lvl : 37 bt36-618:0(4172)X5803975
64.03/64.15	conflict 101lvl : 40 bt40-619:0(5399)X5804109
64.03/64.15	conflict 69lvl : 45 bt40-116:0(6500)X5804213
64.13/64.29	conflict 131lvl : 38 bt36-1014:0(4178)X5805731
64.23/64.30	conflict 101lvl : 41 bt41-7:0(5401)X5805865
64.23/64.30	conflict 101lvl : 41 bt40-1015:0(5428)X5805969
64.23/64.31	conflict 69lvl : 45 bt40-8:0(6500)X5806073
64.33/64.45	conflict 136lvl : 37 bt378:0(4148)X5807591
64.33/64.45	conflict 133lvl : 37 bt36-6:0(4172)X5807730
64.33/64.45	conflict 100lvl : 40 bt36-43:0(5423)X5807866
64.53/64.60	conflict 136lvl : 37 bt3756:0(4148)X5809289
64.53/64.60	conflict 133lvl : 37 bt36-42:0(4172)X5809428
64.53/64.60	conflict 136lvl : 40 bt4044:0(5399)X5809564
64.53/64.61	conflict 69lvl : 45 bt40-13:0(6501)X5809703
64.63/64.75	conflict 133lvl : 37 bt36-1086:0(4172)X5811221
64.63/64.75	conflict 136lvl : 40 bt401100:0(5399)X5811357
64.63/64.76	conflict 69lvl : 45 bt40-8:0(6501)X5811496
64.94/65.10	conflict 136lvl : 37 bt37373:0(4148)X5815064
64.94/65.10	conflict 133lvl : 37 bt36-366:0(4172)X5815203
65.04/65.11	conflict 69lvl : 45 bt40-56:0(6501)X5815339
65.13/65.25	conflict 135lvl : 37 bt3744:0(4148)X5816857
65.13/65.25	conflict 132lvl : 37 bt36-42:0(4172)X5816995
65.13/65.26	conflict 69lvl : 45 bt40-116:0(6501)X5817130
65.33/65.40	conflict 133lvl : 37 bt37-56:0(4146)X5818648
65.33/65.40	conflict 133lvl : 37 bt36-114:0(4172)X5818784
65.33/65.41	conflict 100lvl : 40 bt36-115:0(5396)X5818920
65.63/65.76	conflict 133lvl : 37 bt36-42:0(4172)X5824616
65.63/65.77	conflict 100lvl : 40 bt36-43:0(5423)X5824752
65.83/65.91	conflict 133lvl : 37 bt36-726:0(4172)X5826175
65.83/65.92	conflict 102lvl : 40 bt40728:0(5398)X5826311
65.83/65.92	conflict 100lvl : 40 bt36-727:0(5423)X5826416
65.94/66.06	conflict 170lvl : 37 bt3743:0(4149)X5827839
65.94/66.06	conflict 133lvl : 37 bt36-42:0(4172)X5828012
65.94/66.07	conflict 136lvl : 40 bt4049:0(5399)X5828148
65.94/66.07	conflict 69lvl : 45 bt40-121:0(6501)X5828287
66.13/66.21	conflict 133lvl : 37 bt36-366:0(4172)X5829805
66.13/66.22	conflict 137lvl : 45 bt4044:0(6499)X5829941
66.43/66.57	conflict 133lvl : 38 bt37-762:0(4178)X5835638
66.43/66.57	conflict 101lvl : 41 bt37-769:0(5403)X5835774
66.63/66.72	conflict 136lvl : 40 bt40632:0(5398)X5837200
66.73/66.86	conflict 133lvl : 37 bt37-762:0(4149)X5838703
66.73/66.86	conflict 100lvl : 41 bt37-763:0(5402)X5838839
67.13/67.21	conflict 101lvl : 37 bt36-366:0(4144)X5844542
67.13/67.22	conflict 100lvl : 40 bt36-619:0(5396)X5844646
67.23/67.36	conflict 168lvl : 37 bt37368:0(4147)X5846069
67.23/67.37	conflict 100lvl : 37 bt36-367:0(4172)X5846240
67.23/67.37	conflict 102lvl : 45 bt4056:0(6535)X5846343
67.43/67.51	conflict 131lvl : 37 bt36-222:0(4172)X5847894
67.43/67.52	conflict 100lvl : 40 bt36-223:0(5423)X5848028
67.53/67.66	conflict 169lvl : 37 bt37619:0(4149)X5849451
67.53/67.67	conflict 133lvl : 37 bt36-618:0(4172)X5849623
67.53/67.67	conflict 134lvl : 40 bt40121:0(5399)X5849759
67.53/67.67	conflict 100lvl : 40 bt36-115:0(5423)X5849896
67.73/67.82	conflict 132lvl : 37 bt36-618:0(4172)X5851319
67.73/67.82	conflict 100lvl : 40 bt36-763:0(5423)X5851454
67.83/67.96	conflict 133lvl : 36 bt36-222:0(4143)X5852877
67.83/67.97	conflict 69lvl : 40 bt40-224:0(5396)X5853013
67.83/67.97	conflict 100lvl : 40 bt36-7:0(5421)X5853085
68.23/68.32	conflict 101lvl : 41 bt41-7:0(5311)X5858655
68.33/68.46	conflict 167lvl : 37 bt37229:0(4146)X5860124
68.33/68.47	conflict 166lvl : 37 bt36-222:0(4172)X5860294
68.33/68.47	conflict 100lvl : 40 bt36-223:0(5424)X5860463
68.73/68.82	conflict 100lvl : 37 bt36-1086:0(4172)X5866218
68.73/68.83	conflict 100lvl : 41 bt40-1100:0(5401)X5866321
68.73/68.83	conflict 69lvl : 45 bt40-1100:0(6502)X5866424
68.83/68.98	conflict 100lvl : 37 bt36-1087:0(4172)X5867942
68.83/68.99	conflict 69lvl : 45 bt40-373:0(6533)X5868045
68.94/69.06	conflict 101lvl : 37 bt37-236:0(4148)X5868297
68.94/69.06	conflict 133lvl : 37 bt36-6:0(4172)X5868401
68.94/69.06	conflict 102lvl : 40 bt40229:0(5399)X5868537
68.94/69.07	conflict 69lvl : 45 bt40-1088:0(6502)X5868642
69.13/69.21	conflict 100lvl : 37 bt36-1086:0(4172)X5869952
69.13/69.21	conflict 136lvl : 40 bt40733:0(5399)X5870055
69.13/69.22	conflict 69lvl : 45 bt40-1088:0(6502)X5870194
69.23/69.36	conflict 136lvl : 37 bt371088:0(4148)X5871712
69.23/69.36	conflict 133lvl : 37 bt36-1086:0(4172)X5871851
69.23/69.36	conflict 136lvl : 40 bt40776:0(5399)X5871987
69.23/69.37	conflict 69lvl : 45 bt40-1088:0(6501)X5872126
69.63/69.70	conflict 131lvl : 38 bt37-510:0(4151)X5877391
69.63/69.71	conflict 100lvl : 41 bt37-511:0(5403)X5877525
69.73/69.86	conflict 131lvl : 37 bt36-510:0(4172)X5878950
69.73/69.86	conflict 69lvl : 41 bt41-512:0(5401)X5879084
69.73/69.86	conflict 69lvl : 41 bt40-619:0(5428)X5879156
69.73/69.87	conflict 69lvl : 45 bt40-625:0(6501)X5879228
69.94/70.01	conflict 133lvl : 37 bt36-618:0(4172)X5880746
69.94/70.01	conflict 102lvl : 40 bt40-368:0(5397)X5880882
69.94/70.02	conflict 133lvl : 40 bt36-43:0(5423)X5880987
70.04/70.16	conflict 168lvl : 37 bt37625:0(4147)X5882443
70.04/70.16	conflict 132lvl : 37 bt36-618:0(4172)X5882614
70.04/70.17	conflict 136lvl : 45 bt40625:0(6535)X5882749
70.23/70.31	conflict 133lvl : 37 bt36-762:0(4172)X5884334
70.23/70.32	conflict 100lvl : 40 bt36-7:0(5423)X5884470
70.53/70.66	conflict 135lvl : 40 bt40373:0(5396)X5889227
70.73/70.81	conflict 129lvl : 36 bt35-1014:0(4166)X5890729
70.73/70.82	conflict 102lvl : 40 bt401021:0(5396)X5890861
70.73/70.82	conflict 69lvl : 45 bt40-56:0(6499)X5890966
71.04/71.16	conflict 101lvl : 37 bt37-1028:0(4148)X5896377
71.04/71.16	conflict 133lvl : 37 bt36-294:0(4172)X5896481
71.04/71.17	conflict 136lvl : 40 bt40296:0(5399)X5896617
71.04/71.17	conflict 69lvl : 45 bt40-740:0(6502)X5896756
71.23/71.32	conflict 100lvl : 38 bt37-294:0(4178)X5898274
71.23/71.32	conflict 100lvl : 41 bt37-295:0(5403)X5898377
71.33/71.46	conflict 101lvl : 37 bt37-726:0(4149)X5899802
71.33/71.47	conflict 101lvl : 41 bt37-295:0(5402)X5899906
71.53/71.61	conflict 101lvl : 37 bt37-295:0(4148)X5901332
71.53/71.61	conflict 132lvl : 37 bt36-618:0(4172)X5901436
71.53/71.62	conflict 135lvl : 40 bt40625:0(5399)X5901571
71.53/71.62	conflict 69lvl : 45 bt40-121:0(6500)X5901709
71.83/71.96	conflict 133lvl : 37 bt36-1086:0(4172)X5907444
71.83/71.97	conflict 136lvl : 40 bt40229:0(5399)X5907580
71.83/71.97	conflict 102lvl : 45 bt40-1100:0(6501)X5907719
72.04/72.12	conflict 100lvl : 37 bt36-1086:0(4172)X5909270
72.04/72.13	conflict 69lvl : 45 bt40-44:0(6501)X5909373
72.13/72.27	conflict 100lvl : 38 bt37-690:0(4178)X5910891
72.13/72.27	conflict 101lvl : 41 bt37-1087:0(5403)X5910994
72.33/72.41	conflict 167lvl : 37 bt37116:0(4147)X5912420
72.33/72.42	conflict 165lvl : 37 bt36-114:0(4172)X5912590
72.33/72.42	conflict 100lvl : 40 bt40-56:0(5400)X5912758
72.33/72.42	conflict 100lvl : 40 bt36-115:0(5424)X5912861
72.43/72.56	conflict 168lvl : 37 bt3743:0(4149)X5914284
72.43/72.57	conflict 100lvl : 37 bt36-42:0(4172)X5914455
72.43/72.57	conflict 102lvl : 40 bt4044:0(5398)X5914558
72.43/72.57	conflict 69lvl : 45 bt40-1028:0(6502)X5914663
72.63/72.72	conflict 100lvl : 37 bt36-1015:0(4172)X5916181
72.63/72.72	conflict 101lvl : 40 bt40620:0(5398)X5916284
72.73/72.86	conflict 102lvl : 37 bt3756:0(4147)X5917791
72.73/72.86	conflict 100lvl : 37 bt36-42:0(4172)X5917896
72.73/72.87	conflict 100lvl : 40 bt36-511:0(5423)X5917999
73.13/73.22	conflict 131lvl : 37 bt37-1014:0(4149)X5923905
73.13/73.22	conflict 69lvl : 41 bt37-1021:0(5402)X5924039
73.23/73.37	conflict 100lvl : 37 bt36-1014:0(4172)X5925433
73.23/73.38	conflict 100lvl : 40 bt36-1015:0(5423)X5925536
73.43/73.52	conflict 169lvl : 37 bt3743:0(4149)X5926959
73.43/73.52	conflict 136lvl : 41 bt37229:0(5403)X5927131
73.53/73.66	conflict 135lvl : 37 bt37620:0(4147)X5928592
73.53/73.67	conflict 100lvl : 37 bt36-618:0(4172)X5928730
73.53/73.67	conflict 100lvl : 40 bt36-619:0(5423)X5928833
73.94/74.02	conflict 133lvl : 37 bt36-870:0(4172)X5934810
73.94/74.03	conflict 136lvl : 40 bt40872:0(5399)X5934946
73.94/74.03	conflict 100lvl : 40 bt36-871:0(5423)X5935085
74.04/74.18	conflict 132lvl : 38 bt37-870:0(4178)X5936508
74.04/74.18	conflict 100lvl : 37 bt36-884:0(4172)X5936643
74.04/74.18	conflict 69lvl : 40 bt40-380:0(5399)X5936746
74.04/74.19	conflict 101lvl : 40 bt36-1159:0(5424)X5936818
74.23/74.33	conflict 133lvl : 37 bt36-870:0(4200)X5938242
74.23/74.34	conflict 69lvl : 40 bt40-619:0(5399)X5938378
74.23/74.34	conflict 69lvl : 45 bt40-632:0(6500)X5938450
74.33/74.48	conflict 136lvl : 37 bt37620:0(4148)X5939968
74.33/74.48	conflict 133lvl : 37 bt36-618:0(4172)X5940107
74.33/74.49	conflict 69lvl : 40 bt40-56:0(5397)X5940243
74.33/74.49	conflict 100lvl : 40 bt36-619:0(5422)X5940315
74.53/74.64	conflict 100lvl : 41 bt36-187:0(5404)X5941738
74.83/74.99	conflict 132lvl : 38 bt37-690:0(4178)X5947508
74.83/74.99	conflict 69lvl : 41 bt37-697:0(5403)X5947643
75.04/75.14	conflict 133lvl : 37 bt371015:0(4148)X5949037
75.04/75.14	conflict 130lvl : 37 bt36-1014:0(4172)X5949173
75.04/75.15	conflict 101lvl : 41 bt41-691:0(5401)X5949306
75.04/75.15	conflict 101lvl : 41 bt40-1015:0(5428)X5949410
75.04/75.15	conflict 69lvl : 45 bt40-697:0(6500)X5949514
75.13/75.29	conflict 130lvl : 38 bt36-870:0(4178)X5951032
75.23/75.30	conflict 101lvl : 41 bt40-871:0(5428)X5951165
75.23/75.30	conflict 69lvl : 45 bt40-13:0(6501)X5951269
75.33/75.44	conflict 136lvl : 37 bt378:0(4148)X5952787
75.33/75.44	conflict 133lvl : 37 bt36-6:0(4172)X5952926
75.33/75.45	conflict 69lvl : 45 bt40-8:0(6502)X5953062
75.43/75.59	conflict 133lvl : 37 bt36-222:0(4172)X5954580
75.53/75.60	conflict 133lvl : 39 bt36-223:0(5423)X5954716
75.83/75.95	conflict 100lvl : 37 bt36-294:0(4172)X5958346
75.83/75.95	conflict 133lvl : 40 bt36-295:0(5423)X5958449
75.94/76.10	conflict 132lvl : 38 bt36-6:0(4151)X5959905
76.04/76.11	conflict 101lvl : 41 bt40-295:0(5401)X5960040
76.04/76.11	conflict 69lvl : 45 bt40-13:0(6501)X5960144
76.13/76.25	conflict 131lvl : 37 bt36-690:0(4172)X5961662
76.13/76.26	conflict 100lvl : 40 bt36-691:0(5423)X5961796
76.33/76.40	conflict 169lvl : 37 bt377:0(4149)X5963219
76.33/76.40	conflict 101lvl : 41 bt37-691:0(5403)X5963391
76.63/76.75	conflict 132lvl : 38 bt36-762:0(4151)X5969012
76.63/76.75	conflict 69lvl : 41 bt41-769:0(5401)X5969147
76.63/76.75	conflict 101lvl : 41 bt40-295:0(5428)X5969219
76.63/76.76	conflict 69lvl : 45 bt40-769:0(6501)X5969323
76.83/76.90	conflict 133lvl : 37 bt36-6:0(4172)X5970841
76.83/76.91	conflict 136lvl : 40 bt4020:0(5399)X5970977
76.83/76.91	conflict 69lvl : 45 bt40-764:0(6500)X5971116
76.94/77.01	conflict 133lvl : 37 bt36-330:0(4172)X5971554
76.94/77.01	conflict 136lvl : 40 bt40337:0(5399)X5971690
76.94/77.01	conflict 69lvl : 45 bt40-764:0(6500)X5971829
77.04/77.14	conflict 100lvl : 37 bt37-331:0(4148)X5972755
77.04/77.14	conflict 133lvl : 37 bt36-690:0(4172)X5972858
77.04/77.14	conflict 101lvl : 41 bt40-691:0(5428)X5972994
77.04/77.15	conflict 69lvl : 45 bt40-692:0(6501)X5973098
77.33/77.49	conflict 132lvl : 38 bt36-870:0(4151)X5978405
77.43/77.50	conflict 69lvl : 41 bt41-872:0(5401)X5978540
77.43/77.50	conflict 69lvl : 41 bt40-295:0(5428)X5978612
77.43/77.50	conflict 69lvl : 45 bt40-877:0(6501)X5978684
77.53/77.65	conflict 131lvl : 37 bt36-870:0(4172)X5980202
77.53/77.66	conflict 100lvl : 40 bt36-871:0(5423)X5980336
77.73/77.80	conflict 135lvl : 37 bt377:0(4149)X5981759
77.73/77.80	conflict 133lvl : 37 bt36-6:0(4172)X5981897
77.73/77.81	conflict 136lvl : 40 bt401165:0(5399)X5982033
77.73/77.81	conflict 100lvl : 40 bt36-1159:0(5423)X5982172
77.83/77.95	conflict 133lvl : 37 bt37-690:0(4148)X5983595
77.83/77.96	conflict 100lvl : 41 bt37-704:0(5402)X5983731
78.23/78.30	conflict 133lvl : 38 bt37-294:0(4178)X5989186
78.23/78.30	conflict 69lvl : 41 bt37-1267:0(5403)X5989322
78.33/78.45	conflict 133lvl : 37 bt36-6:0(4200)X5990716
78.33/78.45	conflict 136lvl : 40 bt4013:0(5399)X5990852
78.33/78.46	conflict 69lvl : 45 bt40-1273:0(6500)X5990991
78.83/78.94	conflict 132lvl : 37 bt37-330:0(4149)X5998230
78.83/78.95	conflict 69lvl : 41 bt37-331:0(5402)X5998365
78.94/79.10	conflict 69lvl : 38 bt38-512:0(4151)X5999759
78.94/79.10	conflict 131lvl : 38 bt37-330:0(4178)X5999831
78.94/79.10	conflict 69lvl : 41 bt37-517:0(5403)X5999965
79.13/79.25	conflict 131lvl : 37 bt36-510:0(4172)X6001359
79.13/79.25	conflict 69lvl : 41 bt41-517:0(5401)X6001493
79.13/79.25	conflict 100lvl : 41 bt40-115:0(5428)X6001565
79.13/79.26	conflict 69lvl : 45 bt40-128:0(6501)X6001668
79.53/79.60	conflict 100lvl : 37 bt37-1086:0(4149)X6007510
79.53/79.61	conflict 100lvl : 41 bt37-884:0(5402)X6007613
79.63/79.75	conflict 101lvl : 40 bt40-115:0(5399)X6009038
79.73/79.89	conflict 102lvl : 37 bt37884:0(4147)X6010506
79.83/79.90	conflict 100lvl : 37 bt36-870:0(4172)X6010611
79.83/79.90	conflict 100lvl : 40 bt36-871:0(5423)X6010714
79.93/80.05	conflict 132lvl : 37 bt36-510:0(4172)X6012137
79.93/80.05	conflict 69lvl : 40 bt40-301:0(5398)X6012272
79.93/80.05	conflict 100lvl : 40 bt36-511:0(5423)X6012344
80.23/80.39	conflict 133lvl : 38 bt37-1086:0(4178)X6016678
80.33/80.40	conflict 100lvl : 41 bt37-344:0(5403)X6016814
80.63/80.75	conflict 133lvl : 38 bt37-294:0(4206)X6022628
80.63/80.76	conflict 69lvl : 41 bt37-944:0(5403)X6022764
80.83/80.91	conflict 133lvl : 37 bt36-510:0(4172)X6024158
80.83/80.91	conflict 101lvl : 41 bt41-956:0(5401)X6024294
80.83/80.91	conflict 101lvl : 41 bt40-511:0(5428)X6024398
80.83/80.92	conflict 69lvl : 45 bt40-524:0(6501)X6024502
80.93/81.06	conflict 136lvl : 37 bt37512:0(4148)X6026020
80.93/81.06	conflict 133lvl : 37 bt36-510:0(4172)X6026159
80.93/81.07	conflict 69lvl : 45 bt40-116:0(6502)X6026295
81.13/81.21	conflict 101lvl : 37 bt37-6:0(4149)X6027813
81.13/81.21	conflict 100lvl : 41 bt37-511:0(5402)X6027917
81.23/81.35	conflict 167lvl : 37 bt37224:0(4147)X6029342
81.23/81.35	conflict 165lvl : 37 bt36-222:0(4172)X6029512
81.23/81.36	conflict 136lvl : 40 bt40128:0(5400)X6029680
81.23/81.36	conflict 69lvl : 45 bt40-224:0(6502)X6029819
81.42/81.50	conflict 133lvl : 37 bt36-222:0(4172)X6031337
81.42/81.51	conflict 136lvl : 40 bt40769:0(5399)X6031473
81.42/81.51	conflict 69lvl : 45 bt40-224:0(6501)X6031612
81.52/81.66	conflict 133lvl : 45 bt3643:0(6504)X6033130
81.82/82.00	conflict 100lvl : 37 bt36-294:0(4172)X6038242
81.93/82.01	conflict 100lvl : 40 bt36-295:0(5423)X6038345
82.03/82.15	conflict 167lvl : 37 bt371087:0(4149)X6039768
82.03/82.15	conflict 133lvl : 37 bt36-1086:0(4172)X6039938
82.03/82.16	conflict 133lvl : 40 bt40512:0(5399)X6040074
82.03/82.16	conflict 69lvl : 45 bt40-1088:0(6501)X6040210
82.22/82.30	conflict 136lvl : 37 bt371088:0(4148)X6041728
82.22/82.30	conflict 133lvl : 37 bt36-1086:0(4172)X6041867
82.22/82.31	conflict 69lvl : 41 bt40-512:0(5401)X6042003
82.22/82.31	conflict 137lvl : 45 bt401088:0(6502)X6042075
82.32/82.46	conflict 134lvl : 37 bt36-511:0(4172)X6043661
82.32/82.46	conflict 69lvl : 40 bt40-121:0(5398)X6043798
82.32/82.46	conflict 100lvl : 40 bt36-187:0(5423)X6043870
82.72/82.81	conflict 100lvl : 38 bt37-186:0(4178)X6047753
82.72/82.81	conflict 101lvl : 41 bt37-187:0(5403)X6047856
82.82/82.96	conflict 132lvl : 38 bt37-186:0(4150)X6049282
82.82/82.96	conflict 134lvl : 41 bt37-308:0(5403)X6049417
83.03/83.11	conflict 100lvl : 37 bt36-510:0(4172)X6050876
83.03/83.11	conflict 69lvl : 40 bt40-524:0(5398)X6050979
83.03/83.11	conflict 69lvl : 45 bt40-301:0(6502)X6051051
83.12/83.25	conflict 133lvl : 37 bt36-294:0(4172)X6052569
83.12/83.26	conflict 100lvl : 40 bt36-223:0(5423)X6052705
83.52/83.61	conflict 101lvl : 37 bt37-1267:0(4148)X6058517
83.52/83.61	conflict 133lvl : 37 bt36-294:0(4172)X6058621
83.52/83.62	conflict 69lvl : 40 bt40-1087:0(5398)X6058757
83.52/83.62	conflict 69lvl : 45 bt40-1280:0(6500)X6058829
83.62/83.76	conflict 100lvl : 37 bt36-294:0(4172)X6060347
83.62/83.77	conflict 100lvl : 40 bt36-295:0(5423)X6060450
83.82/83.91	conflict 69lvl : 37 bt37-956:0(4146)X6061873
83.82/83.91	conflict 133lvl : 37 bt36-1266:0(4172)X6061945
83.82/83.92	conflict 135lvl : 40 bt401268:0(5397)X6062081
83.82/83.92	conflict 133lvl : 40 bt36-1267:0(5422)X6062219
83.93/84.06	conflict 168lvl : 37 bt37193:0(4147)X6063675
83.93/84.07	conflict 166lvl : 37 bt36-186:0(4172)X6063846
83.93/84.07	conflict 135lvl : 40 bt40188:0(5399)X6064015
83.93/84.07	conflict 100lvl : 40 bt36-187:0(5423)X6064153
84.12/84.22	conflict 133lvl : 38 bt37-942:0(4178)X6065576
84.12/84.22	conflict 101lvl : 41 bt37-943:0(5403)X6065712
84.22/84.36	conflict 132lvl : 37 bt36-222:0(4144)X6067138
84.22/84.37	conflict 69lvl : 45 bt40-944:0(6499)X6067273
84.62/84.71	conflict 133lvl : 37 bt36-294:0(4172)X6072450
84.62/84.71	conflict 100lvl : 40 bt36-619:0(5399)X6072586
84.72/84.86	conflict 136lvl : 40 bt401088:0(5398)X6074009
84.82/85.00	conflict 100lvl : 36 bt36-7:0(4142)X6075512
84.82/85.00	conflict 129lvl : 36 bt35-222:0(4166)X6075615
84.93/85.01	conflict 132lvl : 39 bt39236:0(5392)X6075747
84.93/85.01	conflict 102lvl : 44 bt4413:0(6495)X6075882
85.72/85.88	conflict 101lvl : 36 bt35-956:0(2822)X6085098
85.72/85.89	conflict 69lvl : 38 bt35-956:0(3977)X6085202
87.52/87.64	conflict 69lvl : 38 bt38-944:0(4154)X6091502
87.52/87.64	conflict 133lvl : 38 bt37-1014:0(4181)X6091574
87.52/87.65	conflict 69lvl : 41 bt37-1016:0(5406)X6091710
88.72/88.89	conflict 136lvl : 35 bt35224:0(2818)X6104928
88.82/88.90	conflict 133lvl : 35 bt34-223:0(2842)X6105067
88.82/88.90	conflict 69lvl : 37 bt37-697:0(3971)X6105203
88.82/88.90	conflict 69lvl : 41 bt37-697:0(5171)X6105275
89.52/89.66	conflict 131lvl : 38 bt38-920:0(4154)X6113217
89.52/89.67	conflict 133lvl : 38 bt37-222:0(4181)X6113351
89.52/89.67	conflict 134lvl : 41 bt37-908:0(5406)X6113487
90.22/90.36	conflict 170lvl : 37 bt37583:0(4149)X6122573
90.22/90.37	conflict 132lvl : 37 bt36-582:0(4172)X6122746
90.22/90.37	conflict 102lvl : 40 bt40589:0(5398)X6122881
90.22/90.37	conflict 69lvl : 45 bt40-625:0(6501)X6122986
92.12/92.22	conflict 100lvl : 38 bt37-488:0(4154)X6142428
92.12/92.22	conflict 133lvl : 37 bt36-294:0(4175)X6142531
92.12/92.22	conflict 100lvl : 41 bt41-308:0(5404)X6142667
92.12/92.22	conflict 100lvl : 41 bt40-475:0(5431)X6142770
92.12/92.23	conflict 69lvl : 45 bt40-301:0(6504)X6142873
93.93/94.10	conflict 168lvl : 35 bt35764:0(2818)X6161119
94.03/94.11	conflict 166lvl : 35 bt34-763:0(2842)X6161290
94.03/94.11	conflict 136lvl : 37 bt37121:0(3972)X6161459
94.03/94.11	conflict 69lvl : 41 bt37-13:0(5171)X6161598
94.93/95.09	conflict 136lvl : 37 bt37224:0(4151)X6168862
94.93/95.10	conflict 133lvl : 37 bt36-222:0(4175)X6169001
94.93/95.10	conflict 102lvl : 40 bt40229:0(5401)X6169137
94.93/95.10	conflict 100lvl : 40 bt36-223:0(5426)X6169242
97.12/97.24	conflict 69lvl : 38 bt38-1268:0(4155)X6183174
97.12/97.25	conflict 100lvl : 38 bt37-258:0(4180)X6183246
97.12/97.25	conflict 102lvl : 41 bt41265:0(5408)X6183349
97.12/97.25	conflict 100lvl : 41 bt37-259:0(5432)X6183454
98.42/98.54	conflict 131lvl : 38 bt37-186:0(4154)X6189938
98.42/98.54	conflict 101lvl : 41 bt37-259:0(5406)X6190072
100.82/101.00	conflict 168lvl : 35 bt351195:0(2820)X6207407
100.82/101.00	conflict 100lvl : 38 bt35-342:0(3977)X6207578
102.62/102.72	conflict 136lvl : 37 bt37440:0(4152)X6216672
102.62/102.72	conflict 132lvl : 37 bt36-438:0(4175)X6216811
102.62/102.72	conflict 101lvl : 40 bt40-1195:0(5402)X6216946
102.62/102.73	conflict 69lvl : 45 bt40-692:0(6503)X6217050
106.52/106.66	conflict 168lvl : 37 bt37800:0(4150)X6232393
106.52/106.67	conflict 166lvl : 37 bt36-798:0(4175)X6232564
106.52/106.67	conflict 135lvl : 40 bt40805:0(5403)X6232733
106.52/106.67	conflict 100lvl : 40 bt36-799:0(5427)X6232871
112.03/112.12	conflict 133lvl : 37 bt37-1266:0(4152)X6244435
112.03/112.12	conflict 100lvl : 41 bt37-704:0(5405)X6244571
114.52/114.69	conflict 133lvl : 37 bt37-690:0(4152)X6253020
114.52/114.69	conflict 101lvl : 41 bt37-691:0(5405)X6253156
124.52/124.67	conflict 100lvl : 35 bt35-403:0(2819)X6275642
124.52/124.67	conflict 68lvl : 38 bt35-414:0(3975)X6275745
128.52/128.61	conflict 168lvl : 37 bt371051:0(4152)X6285253
128.52/128.61	conflict 132lvl : 37 bt36-1050:0(4175)X6285424
128.52/128.62	conflict 102lvl : 40 bt401057:0(5401)X6285559
135.32/135.46	conflict 101lvl : 38 bt35-1170:0(3975)X6300814
145.82/145.95	conflict 100lvl : 38 bt38-294:0(4154)X6309369
145.82/145.95	conflict 100lvl : 38 bt37-1122:0(4181)X6309472
145.82/145.96	conflict 69lvl : 41 bt37-1129:0(5405)X6309575
151.32/151.41	conflict 69lvl : 38 bt38-1160:0(4154)X6317306
151.32/151.42	conflict 100lvl : 38 bt37-1122:0(4181)X6317378
151.32/151.42	conflict 100lvl : 41 bt37-1123:0(5406)X6317481
164.42/164.59	conflict 131lvl : 38 bt38-1050:0(4154)X6337957
164.42/164.59	conflict 101lvl : 38 bt37-618:0(4181)X6338091
164.42/164.59	conflict 101lvl : 41 bt37-632:0(5405)X6338195
172.03/172.12	conflict 100lvl : 37 bt36-582:0(4172)X6345272
172.03/172.13	conflict 69lvl : 45 bt40-56:0(6502)X6345375
186.12/186.20	conflict 101lvl : 38 bt38-877:0(4154)X6359297
186.12/186.21	conflict 100lvl : 38 bt37-1266:0(4181)X6359401
186.12/186.21	conflict 101lvl : 41 bt37-871:0(5406)X6359504
195.62/195.79	conflict 101lvl : 38 bt37-871:0(4154)X6370501
195.72/195.80	conflict 133lvl : 37 bt36-690:0(4175)X6370605
195.72/195.80	conflict 136lvl : 40 bt40193:0(5402)X6370741
195.72/195.80	conflict 69lvl : 45 bt40-872:0(6505)X6370880
214.82/214.90	conflict 136lvl : 37 bt37943:0(4151)X6385650
214.82/214.90	conflict 133lvl : 37 bt36-942:0(4175)X6385789
214.82/214.90	conflict 102lvl : 40 bt40944:0(5401)X6385925
214.82/214.91	conflict 69lvl : 45 bt40-1172:0(6504)X6386030
226.72/226.80	conflict 102lvl : 37 bt37943:0(4151)X6396323
226.72/226.80	conflict 100lvl : 37 bt36-942:0(4175)X6396428
226.72/226.81	conflict 101lvl : 41 bt41-1159:0(5404)X6396531
226.72/226.81	conflict 100lvl : 41 bt40-943:0(5431)X6396635
256.43/256.51	conflict 100lvl : 35 bt35-691:0(2819)X6419432
256.43/256.52	conflict 101lvl : 38 bt35-1100:0(3975)X6419535
273.93/274.03	conflict 133lvl : 37 bt36-1194:0(4175)X6426593
273.93/274.03	conflict 136lvl : 40 bt401208:0(5402)X6426729
273.93/274.04	conflict 69lvl : 45 bt40-1160:0(6503)X6426868
291.03/291.16	conflict 136lvl : 37 bt371160:0(4148)X6437164
291.03/291.16	conflict 133lvl : 37 bt36-1158:0(4172)X6437303
291.03/291.17	conflict 69lvl : 45 bt40-956:0(6500)X6437439
333.23/333.34	conflict 102lvl : 37 bt37619:0(4151)X6457021
333.23/333.34	conflict 100lvl : 37 bt36-618:0(4175)X6457126
356.24/356.33	conflict 102lvl : 37 bt37620:0(4149)X6467078
356.24/356.34	conflict 69lvl : 41 bt37-1057:0(5280)X6467183
422.05/422.17	conflict 101lvl : 37 bt37-403:0(4151)X6495869
422.05/422.18	conflict 132lvl : 37 bt36-1086:0(4175)X6495973
422.05/422.18	conflict 135lvl : 40 bt401093:0(5402)X6496108
422.05/422.18	conflict 69lvl : 45 bt40-1028:0(6503)X6496246
453.34/453.45	conflict 133lvl : 38 bt37-1014:0(4154)X6506859
453.34/453.45	conflict 101lvl : 41 bt37-1028:0(5406)X6506995
524.14/524.25	conflict 136lvl : 35 bt351196:0(2819)X6529672
524.14/524.25	conflict 133lvl : 35 bt34-1195:0(2842)X6529811
524.14/524.25	conflict 69lvl : 37 bt37-632:0(3970)X6529947
524.14/524.26	conflict 69lvl : 41 bt37-632:0(5171)X6530019
567.64/567.76	conflict 168lvl : 37 bt37512:0(4152)X6539670
567.64/567.77	conflict 100lvl : 41 bt37-1015:0(5406)X6539841
677.64/677.78	conflict 101lvl : 35 bt35-943:0(2820)X6563993
677.64/677.79	conflict 68lvl : 38 bt35-956:0(3975)X6564097
739.25/739.34	conflict 166lvl : 37 bt36-1087:0(4175)X6576093
739.25/739.35	conflict 100lvl : 40 bt36-1087:0(5426)X6576262
886.25/886.39	conflict 133lvl : 35 bt35-367:0(2820)X6599861
886.25/886.39	conflict 100lvl : 38 bt35-406:0(3975)X6599997
968.45/968.55	conflict 101lvl : 38 bt38-798:0(4154)X6607647
968.45/968.55	conflict 101lvl : 38 bt37-1230:0(4181)X6607751
968.45/968.55	conflict 69lvl : 41 bt37-799:0(5405)X6607855
1115.06/1115.19	conflict 100lvl : 36 bt35-450:0(2822)X6627446
1115.15/1115.20	conflict 101lvl : 38 bt35-450:0(3977)X6627549
1224.56/1224.63	conflict 100lvl : 38 bt38-402:0(4154)X6636986
1224.56/1224.63	conflict 101lvl : 38 bt37-294:0(4181)X6637089
1224.56/1224.64	conflict 100lvl : 41 bt37-416:0(5405)X6637193
1339.36/1339.48	conflict 130lvl : 37 bt36-474:0(4172)X6648408
1545.76/1545.82	conflict 69lvl : 38 bt38-836:0(4154)X6670527
1545.76/1545.82	conflict 100lvl : 38 bt37-1086:0(4181)X6670599
1545.76/1545.82	conflict 100lvl : 41 bt37-835:0(5406)X6670702
1698.58/1698.69	conflict 100lvl : 38 bt37-416:0(4154)X6680408
1698.58/1698.69	conflict 133lvl : 37 bt36-798:0(4175)X6680511
1698.58/1698.69	conflict 102lvl : 40 bt40835:0(5402)X6680647
1698.68/1698.70	conflict 69lvl : 45 bt40-404:0(6504)X6680752
2046.78/2046.83	conflict 101lvl : 35 bt35-692:0(2817)X6705960
2046.78/2046.83	conflict 100lvl : 35 bt34-691:0(2842)X6706064
2046.78/2046.84	conflict 101lvl : 41 bt3756:0(5170)X6706167
2245.49/2245.50	conflict 136lvl : 37 bt37152:0(4152)X6714586
2245.49/2245.50	conflict 133lvl : 37 bt36-150:0(4175)X6714725
2245.49/2245.50	conflict 69lvl : 40 bt40-128:0(5401)X6714861
2245.49/2245.51	conflict 100lvl : 40 bt36-151:0(5426)X6714933
2520.00/2520.00	
2520.00/2520.00	c *** INTERRUPTED ***
2520.00/2520.00	c restarts              : 587         
2520.00/2520.00	c conflicts             : 4332900      (1719 /sec)
2520.00/2520.00	c decisions             : 10819705     (4294 /sec)
2520.00/2520.00	c propagations          : 3533553840  (1402240 /sec)
2520.00/2520.00	c root propagations     : 54924       
2520.00/2520.00	c filter calls          : 1428702827     (566960 /sec)
2520.00/2520.00	c useless filter calls  : 1202829529     (84 %)
2520.00/2520.00	c
2520.00/2520.00	c clauses               : 1258235
2520.00/2520.00	c SAT propagations      : 954
2520.00/2520.00	c SAT conflicts         : 0 (1312 learnts)
2520.00/2520.00	c Memory used           : 114.95 MB
2520.00/2520.00	c CPU time              : 2519.94 s
2520.00/2520.00	
2520.00/2520.00	c nb Solutions = 2
2520.00/2520.00	s SATISFIABLE
2520.00/2520.00	c Best value found: -7590561
2520.00/2520.00	
2520.00/2520.00	
2520.00/2520.00	v <instantiation type='solution' cost='-7590561'>
2520.00/2520.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>
2520.00/2520.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>
2520.00/2520.01	v </instantiation>
2520.00/2520.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 (15369 MiB free)
  memory of node 1: 16384 MiB (15645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265800-1502571089/watcher-4265800-1502571089 -o /tmp/evaluation-result-4265800-1502571089/solver-4265800-1502571089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265800-1502571089.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5422, runsolver pid=5419
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31750964/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=47268 memory=19352 CPUtime=0.04 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 5047 0 0 0 4 0 0 0 20 0 1 0 104615253 48402432 4838 18446744073709551615 4194304 5972588 140721466141616 140721466138264 5280335 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 11817 4838 766 435 0 5180 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 47268 KiB
Current children cumulated memory: 19352 KiB

[startup+0.209847 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31690216/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=112320 memory=75860 CPUtime=0.15 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 16119 0 0 0 13 2 0 0 20 0 1 0 104615253 115015680 18965 18446744073709551615 4194304 5972588 140721466141616 140721466138408 5237680 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 28080 18965 766 435 0 21443 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 112320 KiB
Current children cumulated memory: 75860 KiB

[startup+0.309695 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31686012/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=112584 memory=76388 CPUtime=0.25 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 16215 0 0 0 23 2 0 0 20 0 1 0 104615253 115286016 19097 18446744073709551615 4194304 5972588 140721466141616 140721466138408 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 28146 19097 790 435 0 21509 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 112584 KiB
Current children cumulated memory: 76388 KiB

[startup+0.700376 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31685184/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=115084 memory=78764 CPUtime=0.63 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 16835 0 0 0 61 2 0 0 20 0 1 0 104615253 117846016 19691 18446744073709551615 4194304 5972588 140721466141616 140721466138408 4935490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 28771 19691 791 435 0 22134 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 115084 KiB
Current children cumulated memory: 78764 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31683324/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=115612 memory=79292 CPUtime=1.43 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 16977 0 0 0 141 2 0 0 20 0 1 0 104615253 118386688 19823 18446744073709551615 4194304 5972588 140721466141616 140721466138408 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 28903 19823 792 435 0 22266 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 115612 KiB
Current children cumulated memory: 79292 KiB

[startup+3.10964 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31682576/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=115876 memory=79868 CPUtime=3.04 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 23590 0 0 0 302 2 0 0 20 0 1 0 104615253 118657024 19967 18446744073709551615 4194304 5972588 140721466141616 140721466138408 4935657 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 28969 19967 792 435 0 22332 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 115876 KiB
Current children cumulated memory: 79868 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31681516/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=116536 memory=80592 CPUtime=6.24 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 31517 0 0 0 621 3 0 0 20 0 1 0 104615253 119332864 20148 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4935613 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29134 20148 792 435 0 22497 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 116536 KiB
Current children cumulated memory: 80592 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31680776/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117064 memory=83420 CPUtime=12.63 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 40392 0 0 0 1260 3 0 0 20 0 1 0 104615253 119873536 20855 18446744073709551615 4194304 5972588 140721466141616 140721466139064 4935585 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29266 20855 792 435 0 22629 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117064 KiB
Current children cumulated memory: 83420 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5423
/proc/meminfo: memFree=31678480/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117188 memory=83524 CPUtime=25.43 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 56372 0 0 0 2539 4 0 0 20 0 1 0 104615253 120000512 20881 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4935490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29297 20881 792 435 0 22660 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 117188 KiB
Current children cumulated memory: 83524 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5424
/proc/meminfo: memFree=31677920/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117188 memory=83632 CPUtime=51.04 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 66243 0 0 0 5100 4 0 0 20 0 1 0 104615253 120000512 20908 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4935454 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29297 20908 792 435 0 22660 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 117188 KiB
Current children cumulated memory: 83632 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5426
/proc/meminfo: memFree=31675852/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117448 memory=85800 CPUtime=102.22 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 71116 0 0 0 10217 5 0 0 20 0 1 0 104615253 120266752 21450 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29362 21450 792 435 0 22725 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 85800 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5443
/proc/meminfo: memFree=31668740/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88104 CPUtime=162.22 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 72806 0 0 0 16217 5 0 0 20 0 1 0 104615253 120401920 22026 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5327777 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22026 792 435 0 22758 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88104 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5445
/proc/meminfo: memFree=31668988/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88168 CPUtime=222.22 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 74484 0 0 0 22217 5 0 0 20 0 1 0 104615253 120401920 22042 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5328649 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22042 792 435 0 22758 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88168 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5447
/proc/meminfo: memFree=31671752/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88208 CPUtime=282.23 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 76106 0 0 0 28218 5 0 0 20 0 1 0 104615253 120401920 22052 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5048486 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22052 792 435 0 22758 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88208 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5450
/proc/meminfo: memFree=31672104/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88208 CPUtime=342.24 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 77744 0 0 0 34218 6 0 0 20 0 1 0 104615253 120401920 22052 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139327 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22052 792 435 0 22758 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88208 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5453
/proc/meminfo: memFree=31672560/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88208 CPUtime=402.24 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 79309 0 0 0 40218 6 0 0 20 0 1 0 104615253 120401920 22052 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5046624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22052 792 435 0 22758 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88208 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5455
/proc/meminfo: memFree=31672836/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117580 memory=88208 CPUtime=462.24 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 80860 0 0 0 46218 6 0 0 20 0 1 0 104615253 120401920 22052 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5099674 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29395 22052 792 435 0 22758 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 117580 KiB
Current children cumulated memory: 88208 KiB


################
# More data... #
################

/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+1782.3 s]
/proc/loadavg: 2.38 2.14 2.09 3/184 5617
/proc/meminfo: memFree=31617016/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=1782.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 111159 0 0 0 178221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4931680 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+1842.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/185 5620
/proc/meminfo: memFree=31617120/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=1842.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 112114 0 0 0 184221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/186 5623
/proc/meminfo: memFree=31617336/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=1902.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 114081 0 0 0 190221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4909274 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/189 5639
/proc/meminfo: memFree=31611884/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=1962.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 115377 0 0 0 196221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5325576 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/189 5641
/proc/meminfo: memFree=31612476/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2022.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 116638 0 0 0 202221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139327 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 5643
/proc/meminfo: memFree=31615376/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2082.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 118225 0 0 0 208221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 5645
/proc/meminfo: memFree=31615640/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2142.28 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 119314 0 0 0 214221 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139341 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 5647
/proc/meminfo: memFree=31616144/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2202.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 120393 0 0 0 220222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139327 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 5649
/proc/meminfo: memFree=31616860/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2262.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 121936 0 0 0 226222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139333 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 5651
/proc/meminfo: memFree=31616812/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2322.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 122989 0 0 0 232222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5139329 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5654
/proc/meminfo: memFree=31616756/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2382.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 124019 0 0 0 238222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 4935411 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5657
/proc/meminfo: memFree=31616620/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2442.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 125044 0 0 0 244222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5048665 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 5659
/proc/meminfo: memFree=31616892/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2502.29 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 126651 0 0 0 250222 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5328506 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/186 5660
/proc/meminfo: memFree=31616896/32770624 swapFree=67108764/67108860
[pid=5422] ppid=5419 vsize=117708 memory=88232 CPUtime=2520 cores=1,3,5,7
/proc/5422/stat : 5422 (cosoco) R 5419 5422 4674 0 -1 4202496 127912 0 0 0 251993 7 0 0 20 0 1 0 104615253 120532992 22058 18446744073709551615 4194304 5972588 140721466141616 140721466138840 5338173 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26476544 140721466147268 140721466147368 140721466147368 140721466150862 0
/proc/5422/statm: 29427 22058 792 435 0 22790 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 117708 KiB
Current children cumulated memory: 88232 KiB

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

[startup+2520.01 s]
# the end of solver process 5422 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.94 s, system=0.078002 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.01
CPU user time (s): 2519.94
CPU system time (s): 0.078002
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 117708
Max. memory (cumulated for all children) (KiB): 88232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.078002
maximum resident set size= 88308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127965
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= 21
involuntary context switches= 698


# summary of solver processes directly reported to runsolver:
#   pid: 5422
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.94
#   total CPU system time (s): 0.078002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04768 second user time and 16.1609 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 22:37:34
IDJOB=4265800
IDBENCH=123151
IDSOLVER=2655
FILE ID=node134/4265800-1502571089
RUNJOBID= node134-1502565207-4738
PBS_JOBID= 
Free space on /tmp= 62028 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-4265800-1502571089/watcher-4265800-1502571089 -o /tmp/evaluation-result-4265800-1502571089/solver-4265800-1502571089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265800-1502571089.xml

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

MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8
RANDOM SEED=1732484318

node134.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.43
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.43
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.43
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.43
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:        31759064 kB
MemAvailable:   31977756 kB
Buffers:          188964 kB
Cached:           342436 kB
SwapCached:            4 kB
Active:           396112 kB
Inactive:         204788 kB
Active(anon):      13980 kB
Inactive(anon):    97084 kB
Active(file):     382132 kB
Inactive(file):   107704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              2332 kB
Writeback:             0 kB
AnonPages:         69532 kB
Mapped:            56064 kB
Shmem:             41564 kB
Slab:             115404 kB
SReclaimable:      89384 kB
SUnreclaim:        26020 kB
KernelStack:        3344 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-12 23:19:34