Trace number 4266786

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)1485 251.96001 252.00999

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug21.xml
MD5SUMe5033dc7ed55784590c83dd9aaaff95e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1233
Best CPU time to get the best result obtained on this benchmark251.93401
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints211
Number of domains2
Minimum domain size8
Maximum domain size21
Distribution of domain sizes[{"size":8,"count":210},{"size":21,"count":21}]
Minimum variable degree0
Maximum variable degree21
Distribution of variable degrees[{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":21}]
Minimum constraint arity3
Maximum constraint arity21
Distribution of constraint arities[{"arity":3,"count":210},{"arity":21,"count":1}]
Number of extensional constraints210
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":210},{"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.00/0.07	c SAT : Variables: 3969 -- Clauses: 17220
0.00/0.07	c best=?? lower=-7000 upper=0 
0.00/0.09	c
0.00/0.09	c This is cosoco 1.12 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266786-1502645300.xml 
0.00/0.09	c enable optimization
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.01 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 462
0.00/0.09	c |            Domain Sizes: 8..21
0.00/0.09	c |
0.00/0.09	c |             Constraints: 212
0.00/0.09	c |                   Arity: 3..210  -- Ternary: 210
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          All Different: 1
0.00/0.09	c |                          Extension: 210  (nb tuples: 420..420) -- (shared: 209)
0.00/0.09	c |                          Sum: 1
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	o -1784
0.00/0.09	c    1 calls to solver: best=-1784 lower=-1783 upper=0 
0.00/0.10	o -1741
0.04/0.12	o -1708
0.04/0.12	c    3 calls to solver: best=-1708 lower=-1707 upper=0 
0.04/0.13	o -1700
0.04/0.14	o -1655
0.04/0.14	c    5 calls to solver: best=-1655 lower=-1654 upper=0 
0.15/0.27	o -1639
0.54/0.62	conflict 39lvl : 111 bt110-145:0(1126)X104637
0.54/0.65	o -1528
0.54/0.65	c    7 calls to solver: best=-1528 lower=-1527 upper=0 
1.43/1.59	conflict 39lvl : 75 bt75-186:0(887)X169719
1.43/1.59	conflict 39lvl : 75 bt74-183:0(893)X169761
1.43/1.59	conflict 39lvl : 86 bt75-187:0(981)X169803
1.73/1.85	o -1523
2.13/2.27	conflict 39lvl : 75 bt74-354:0(887)X217273
2.13/2.27	conflict 39lvl : 86 bt75-354:0(981)X217315
2.63/2.75	o -1507
2.63/2.75	c    9 calls to solver: best=-1507 lower=-1506 upper=0 
2.83/3.00	conflict 39lvl : 75 bt74-393:0(887)X260121
2.83/3.00	conflict 39lvl : 86 bt75-291:0(981)X260163
2.94/3.08	conflict 56lvl : 75 bt75-280:0(886)X264566
2.94/3.08	conflict 39lvl : 75 bt74-288:0(892)X264625
2.94/3.08	conflict 39lvl : 86 bt75-355:0(979)X264667
3.13/3.25	conflict 39lvl : 98 bt74-249:0(1179)X275519
3.83/3.94	conflict 39lvl : 111 bt110-271:0(1126)X318286
4.04/4.18	conflict 39lvl : 98 bt75-40:0(1179)X334123
4.63/4.79	conflict 39lvl : 111 bt111-354:0(1127)X371577
4.63/4.79	conflict 39lvl : 112 bt110-343:0(1130)X371619
4.73/4.83	conflict 39lvl : 75 bt75-375:0(887)X373687
4.73/4.83	conflict 39lvl : 75 bt74-372:0(893)X373729
4.73/4.83	conflict 39lvl : 86 bt75-376:0(981)X373771
5.23/5.31	conflict 39lvl : 98 bt74-355:0(1182)X398668
5.63/5.70	conflict 39lvl : 210 bt210-157:0(270)X413587
6.83/6.94	conflict 39lvl : 208 bt208-14:0(246)X481235
7.33/7.49	 -> -14:X(246)conflict 39lvl : 199 bt199-14:0(237)X485194
7.43/7.50	 -> -14:X(237)conflict 39lvl : 196 bt196-3:0(312)X485236
7.43/7.50	conflict 39lvl : 195 bt195-150:0(290)X485278
7.43/7.50	conflict 39lvl : 195 bt195-150:0(476)X485320
7.43/7.51	conflict 39lvl : 192 bt192-371:0(230)X485362
7.43/7.52	 -> -371:X(230)conflict 39lvl : 189 bt189-375:0(309)X485404
7.43/7.52	conflict 57lvl : 188 bt1883:0(283)X485446
8.73/8.88	conflict 39lvl : 211 bt210-413:0(257)X490442
8.73/8.89	conflict 39lvl : 209 bt209-130:0(278)X490484
8.83/8.90	conflict 57lvl : 208 bt2087:0(269)X490526
8.83/8.93	conflict 39lvl : 200 bt200-140:0(238)X490586
8.83/8.96	 -> -140:X(238)conflict 55lvl : 192 bt192-87:0(472)X490628
8.83/8.96	conflict 39lvl : 192 bt192-81:0(359)X490686
8.83/8.96	conflict 39lvl : 192 bt192-18:0(459)X490728
8.83/8.97	conflict 56lvl : 192 bt192-402:0(426)X490770
8.83/8.97	conflict 57lvl : 192 bt192-136:0(342)X490829
8.83/8.97	conflict 39lvl : 192 bt192-430:0(302)X490889
8.83/8.97	conflict 73lvl : 192 bt191-146:0(356)X490931
8.83/8.97	conflict 39lvl : 191 bt191-102:0(363)X491007
8.83/8.97	conflict 39lvl : 191 bt191-438:0(355)X491049
8.83/8.97	conflict 39lvl : 191 bt191-429:0(475)X491091
8.94/9.01	conflict 39lvl : 201 bt201-406:0(329)X491133
8.94/9.01	conflict 57lvl : 200 bt2003:0(301)X491175
8.94/9.05	conflict 56lvl : 193 bt193-67:0(433)X491235
8.94/9.05	conflict 72lvl : 193 bt193-418:0(317)X491294
8.94/9.09	conflict 56lvl : 194 bt194-403:0(333)X491369
8.94/9.10	conflict 39lvl : 193 bt193-424:0(323)X491428
8.94/9.10	conflict 55lvl : 193 bt193-66:0(278)X491470
8.94/9.10	conflict 91lvl : 193 bt193-418:0(319)X491528
9.04/9.14	conflict 57lvl : 196 bt1963:0(297)X491622
9.04/9.15	conflict 39lvl : 195 bt195-424:0(432)X491682
10.63/10.70	conflict 55lvl : 162 bt162-381:0(441)X497629
10.63/10.71	conflict 91lvl : 162 bt1623:0(396)X497687
10.63/10.71	conflict 56lvl : 162 bt162-136:0(302)X497781
10.63/10.71	conflict 39lvl : 162 bt162-433:0(390)X497840
10.63/10.72	conflict 55lvl : 162 bt162-396:0(327)X497882
10.73/10.82	conflict 39lvl : 163 bt163-129:0(264)X497940
10.73/10.83	conflict 39lvl : 163 bt163-10:0(388)X497982
10.73/10.83	conflict 39lvl : 163 bt163-20:0(390)X498024
10.73/10.83	conflict 56lvl : 164 bt164-174:0(354)X498066
12.13/12.27	conflict 113lvl : 171 bt17118:0(449)X501030
12.13/12.27	conflict 39lvl : 171 bt171-88:0(254)X501146
12.13/12.27	conflict 55lvl : 171 bt171-143:0(225)X501188
12.13/12.28	conflict 73lvl : 171 bt170-145:0(281)X501246
12.13/12.28	conflict 57lvl : 170 bt1703:0(338)X501322
12.13/12.29	conflict 73lvl : 170 bt169-142:0(296)X501382
15.23/15.39	conflict 39lvl : 185 bt185-161:0(223)X505942
15.23/15.40	 -> -161:X(223)conflict 39lvl : 182 bt182-165:0(299)X505984
15.33/15.40	conflict 75lvl : 181 bt1813:0(276)X506026
15.33/15.42	conflict 72lvl : 177 bt177-318:0(456)X506104
15.33/15.43	conflict 56lvl : 177 bt177-3:0(411)X506179
15.33/15.44	conflict 57lvl : 177 bt177-157:0(317)X506238
15.33/15.44	conflict 39lvl : 177 bt177-328:0(404)X506298
15.33/15.44	conflict 39lvl : 177 bt177-417:0(342)X506340
15.43/15.53	conflict 39lvl : 179 bt179-406:0(374)X506382
15.53/15.62	conflict 57lvl : 179 bt1793:0(373)X506424
15.53/15.62	conflict 39lvl : 179 bt179-404:0(416)X506484
15.63/15.71	conflict 39lvl : 179 bt179-321:0(369)X506526
15.63/15.72	conflict 39lvl : 179 bt179-406:0(260)X506568
15.63/15.72	conflict 73lvl : 179 bt179-166:0(297)X506610
15.73/15.81	conflict 55lvl : 179 bt179-164:0(237)X506686
15.83/15.99	conflict 39lvl : 179 bt179-405:0(369)X506744
18.43/18.52	conflict 39lvl : 208 bt208-14:0(248)X510028
18.53/18.60	 -> -14:X(248)conflict 39lvl : 206 bt206-382:0(277)X510070
18.53/18.61	conflict 57lvl : 205 bt2057:0(270)X510112
18.53/18.65	conflict 39lvl : 195 bt195-392:0(233)X510172
18.53/18.67	 -> -392:X(233)conflict 39lvl : 188 bt188-192:0(468)X510214
18.53/18.67	conflict 39lvl : 188 bt188-18:0(458)X510256
18.53/18.68	conflict 56lvl : 188 bt188-3:0(422)X510298
18.53/18.68	conflict 56lvl : 188 bt188-388:0(337)X510357
18.53/18.68	conflict 39lvl : 188 bt188-199:0(299)X510416
18.53/18.68	conflict 73lvl : 188 bt188-398:0(352)X510458
18.63/18.70	conflict 39lvl : 207 bt207-4:0(346)X510534
18.63/18.70	conflict 57lvl : 206 bt20624:0(313)X510576
18.63/18.72	conflict 39lvl : 202 bt202-318:0(287)X510636
18.63/18.73	conflict 55lvl : 202 bt201-19:0(328)X510678
18.63/18.73	conflict 55lvl : 201 bt201-354:0(384)X510736
18.63/18.73	conflict 39lvl : 200 bt200-154:0(356)X510794
18.63/18.74	conflict 56lvl : 199 bt199-175:0(358)X510836
18.63/18.74	conflict 76lvl : 198 bt19810:0(328)X510895
18.63/18.76	conflict 39lvl : 196 bt196-319:0(372)X510974
18.63/18.76	conflict 73lvl : 196 bt196-172:0(315)X511016
18.73/18.87	conflict 39lvl : 203 bt203-343:0(267)X511092
18.83/18.90	conflict 55lvl : 196 bt196-164:0(258)X511134
18.83/18.91	conflict 56lvl : 196 bt196-166:0(322)X511192
18.83/18.94	conflict 55lvl : 203 bt203-17:0(261)X511251
19.04/19.12	conflict 39lvl : 202 bt202-376:0(395)X511309
19.04/19.12	conflict 39lvl : 202 bt202-175:0(305)X511351
19.04/19.12	conflict 39lvl : 201 bt201-367:0(376)X511393
19.04/19.13	conflict 57lvl : 201 bt20131:0(307)X511435
19.04/19.13	conflict 39lvl : 201 bt201-377:0(392)X511495
19.04/19.16	conflict 73lvl : 202 bt202-18:0(365)X511537
19.04/19.16	conflict 75lvl : 202 bt20224:0(388)X511613
19.04/19.17	conflict 55lvl : 201 bt201-333:0(363)X511691
19.13/19.22	conflict 39lvl : 209 bt209-346:0(349)X511749
19.13/19.22	conflict 55lvl : 208 bt208-178:0(338)X511791
19.13/19.23	conflict 39lvl : 208 bt208-3:0(293)X511849
19.13/19.23	conflict 73lvl : 208 bt207-355:0(334)X511891
19.13/19.23	conflict 72lvl : 207 bt207-18:0(451)X511967
19.23/19.30	conflict 73lvl : 208 bt208-354:0(338)X512042
19.23/19.30	conflict 39lvl : 208 bt208-186:0(396)X512118
19.23/19.31	conflict 56lvl : 207 bt207-18:0(334)X512160
19.23/19.32	conflict 55lvl : 206 bt206-186:0(322)X512219
19.23/19.33	conflict 90lvl : 205 bt20531:0(321)X512277
19.33/19.46	conflict 39lvl : 190 bt190-260:0(448)X512370
19.33/19.46	conflict 39lvl : 190 bt190-178:0(369)X512412
19.33/19.47	conflict 39lvl : 210 bt210-7:0(303)X512454
19.33/19.48	conflict 39lvl : 209 bt209-343:0(297)X512496
19.43/19.58	conflict 39lvl : 207 bt207-67:0(300)X512538
19.43/19.58	conflict 57lvl : 206 bt2067:0(275)X512580
19.53/19.69	conflict 55lvl : 208 bt20824:0(388)X512640
19.63/19.70	conflict 73lvl : 207 bt20724:0(373)X512698
25.23/25.33	conflict 39lvl : 206 bt206-151:0(313)X518548
25.23/25.33	conflict 57lvl : 205 bt205254:0(309)X518590
25.23/25.36	conflict 73lvl : 200 bt20028:0(470)X518650
25.23/25.36	conflict 89lvl : 200 bt200-39:0(459)X518726
25.23/25.36	conflict 39lvl : 200 bt200-320:0(428)X518818
25.23/25.36	conflict 39lvl : 200 bt200-319:0(285)X518860
25.23/25.36	conflict 55lvl : 200 bt200-319:0(417)X518902
25.23/25.36	conflict 74lvl : 200 bt200-7:0(320)X518960
25.23/25.36	conflict 71lvl : 200 bt199-166:0(311)X519037
25.23/25.37	conflict 75lvl : 199 bt19924:0(364)X519111
25.23/25.37	conflict 57lvl : 199 bt19923:0(283)X519189
25.23/25.37	conflict 94lvl : 199 bt19931:0(401)X519249
25.23/25.38	conflict 55lvl : 199 bt198-167:0(361)X519346
25.23/25.38	conflict 56lvl : 198 bt198-18:0(461)X519404
25.23/25.39	conflict 56lvl : 198 bt198-7:0(470)X519463
25.33/25.41	conflict 39lvl : 188 bt188-434:0(226)X519522
25.33/25.41	 -> -434:X(226)conflict 39lvl : 185 bt185-430:0(302)X519564
25.33/25.42	conflict 55lvl : 184 bt184-262:0(298)X519606
25.33/25.42	conflict 39lvl : 184 bt184-364:0(375)X519664
25.33/25.43	conflict 39lvl : 184 bt184-10:0(385)X519706
25.33/25.43	conflict 39lvl : 184 bt184-20:0(379)X519748
25.33/25.43	conflict 39lvl : 184 bt184-18:0(365)X519790
25.33/25.43	conflict 39lvl : 184 bt184-7:0(380)X519832
25.33/25.46	conflict 39lvl : 183 bt183-31:0(443)X519874
25.33/25.46	conflict 39lvl : 183 bt183-39:0(430)X519916
25.33/25.46	conflict 56lvl : 184 bt184-7:0(404)X519958
25.33/25.47	conflict 72lvl : 183 bt183-7:0(333)X520017
25.43/25.50	conflict 57lvl : 201 bt20145:0(428)X520092
25.43/25.51	conflict 93lvl : 201 bt20129:0(423)X520152
25.43/25.55	conflict 74lvl : 201 bt201360:0(286)X520248
25.43/25.59	conflict 39lvl : 201 bt201-45:0(476)X520325
25.53/25.63	conflict 57lvl : 201 bt20169:0(469)X520367
25.53/25.64	conflict 39lvl : 199 bt199-18:0(401)X520427
25.63/25.72	conflict 39lvl : 209 bt209-193:0(282)X520469
25.63/25.72	conflict 57lvl : 208 bt2087:0(275)X520511
25.94/26.06	conflict 55lvl : 205 bt205-388:0(337)X520571
25.94/26.06	conflict 39lvl : 205 bt205-359:0(378)X520629
25.94/26.07	conflict 76lvl : 210 bt210396:0(341)X520671
26.33/26.43	conflict 74lvl : 206 bt206339:0(368)X520750
26.33/26.44	conflict 73lvl : 205 bt205340:0(364)X520827
26.33/26.44	conflict 72lvl : 204 bt20424:0(309)X520903
26.33/26.46	conflict 53lvl : 201 bt201-150:0(291)X520978
26.33/26.46	conflict 70lvl : 201 bt201-157:0(331)X521034
26.33/26.47	conflict 56lvl : 210 bt210-356:0(396)X521107
26.33/26.48	conflict 92lvl : 209 bt20924:0(397)X521166
26.33/26.48	conflict 56lvl : 208 bt208-20:0(388)X521261
26.43/26.53	conflict 92lvl : 199 bt199396:0(337)X521320
26.43/26.53	conflict 92lvl : 199 bt19924:0(366)X521415
26.43/26.53	conflict 56lvl : 199 bt199-5:0(422)X521510
26.43/26.58	conflict 56lvl : 203 bt203-10:0(332)X521569
26.43/26.58	conflict 69lvl : 203 bt202-157:0(319)X521628
26.43/26.59	conflict 39lvl : 200 bt200-112:0(274)X521700
26.53/26.60	conflict 39lvl : 199 bt199-385:0(264)X521742
26.53/26.62	conflict 39lvl : 193 bt193-393:0(464)X521784
26.53/26.62	conflict 39lvl : 193 bt193-18:0(470)X521826
26.53/26.63	conflict 39lvl : 193 bt193-394:0(456)X521868
26.53/26.63	conflict 39lvl : 193 bt193-383:0(461)X521910
26.53/26.63	conflict 89lvl : 193 bt192-125:0(361)X521952
26.53/26.63	conflict 39lvl : 192 bt192-395:0(366)X522044
26.53/26.64	conflict 56lvl : 192 bt192-393:0(484)X522086
26.53/26.64	conflict 39lvl : 192 bt192-18:0(467)X522145
26.53/26.64	conflict 39lvl : 192 bt192-397:0(397)X522187
26.53/26.65	conflict 72lvl : 192 bt192-259:0(362)X522229
26.53/26.69	conflict 55lvl : 200 bt199-355:0(326)X522304
26.53/26.69	conflict 39lvl : 199 bt199-18:0(418)X522362
26.64/26.74	conflict 53lvl : 203 bt203-165:0(329)X522404
26.64/26.78	conflict 91lvl : 203 bt203354:0(328)X522460
26.74/26.82	conflict 103lvl : 203 bt203-19:0(332)X522554
26.84/26.96	conflict 39lvl : 210 bt210-343:0(318)X522660
26.84/26.97	conflict 74lvl : 209 bt209151:0(436)X522702
26.84/26.99	conflict 56lvl : 207 bt207-322:0(378)X522779
26.95/27.01	conflict 92lvl : 205 bt20528:0(374)X522838
26.95/27.03	conflict 39lvl : 210 bt210-154:0(289)X522933
26.95/27.06	conflict 56lvl : 207 bt207-343:0(378)X522975
26.95/27.07	conflict 91lvl : 204 bt20428:0(373)X523034
26.95/27.09	conflict 72lvl : 201 bt201-165:0(373)X523128
37.34/37.48	conflict 56lvl : 165 bt165-129:0(446)X530637
37.34/37.49	conflict 39lvl : 164 bt164-312:0(289)X530696
37.44/37.50	conflict 39lvl : 164 bt164-308:0(202)X530738
37.44/37.50	 -> -308:X(202)conflict 56lvl : 162 bt162-207:0(360)X530780
37.44/37.50	conflict 39lvl : 162 bt162-144:0(369)X530839
37.44/37.50	conflict 72lvl : 162 bt162-3:0(433)X530881
37.44/37.50	conflict 56lvl : 162 bt162-4:0(420)X530956
37.44/37.51	conflict 39lvl : 162 bt162-199:0(270)X531015
37.44/37.51	conflict 105lvl : 162 bt161-314:0(321)X531057
37.44/37.52	conflict 76lvl : 161 bt1613:0(329)X531165
37.44/37.52	conflict 56lvl : 161 bt161-367:0(432)X531244
37.44/37.52	conflict 91lvl : 161 bt161-18:0(422)X531303
37.44/37.52	conflict 39lvl : 161 bt161-207:0(419)X531397
37.44/37.52	conflict 39lvl : 161 bt161-207:0(283)X531439
37.44/37.54	conflict 39lvl : 160 bt160-29:0(449)X531481
37.44/37.54	conflict 56lvl : 160 bt160-135:0(438)X531523
37.44/37.54	conflict 39lvl : 160 bt160-375:0(339)X531582
37.44/37.54	conflict 39lvl : 160 bt160-39:0(416)X531624
37.44/37.55	conflict 39lvl : 161 bt161-136:0(388)X531666
37.44/37.55	conflict 56lvl : 160 bt160-144:0(316)X531708
37.54/37.66	conflict 55lvl : 165 bt165-157:0(403)X531767
37.54/37.66	conflict 90lvl : 165 bt165-19:0(283)X531825
37.64/37.78	conflict 56lvl : 165 bt165-136:0(407)X531918
37.95/38.02	conflict 56lvl : 165 bt165-129:0(250)X531977
38.24/38.32	conflict 39lvl : 183 bt183-151:0(313)X532036
38.24/38.33	conflict 57lvl : 182 bt1823:0(283)X532078
38.34/38.40	conflict 55lvl : 171 bt171-361:0(411)X532138
38.34/38.40	conflict 87lvl : 171 bt170-166:0(295)X532196
38.34/38.40	conflict 56lvl : 170 bt170-2:0(338)X532286
38.34/38.41	conflict 39lvl : 170 bt170-4:0(393)X532345
38.34/38.41	conflict 89lvl : 170 bt170-166:0(286)X532387
38.44/38.55	conflict 57lvl : 170 bt17022:0(394)X532479
38.54/38.68	conflict 39lvl : 171 bt171-4:0(388)X532539
38.74/38.81	conflict 57lvl : 171 bt17147:0(385)X532581
39.05/39.19	conflict 55lvl : 171 bt171-3:0(260)X532641
39.54/39.60	conflict 75lvl : 170 bt170-154:0(283)X532699
39.54/39.60	conflict 76lvl : 169 bt16924:0(338)X532777
51.74/51.83	conflict 39lvl : 177 bt177-71:0(462)X537877
51.74/51.83	conflict 39lvl : 177 bt177-73:0(388)X537919
51.74/51.83	conflict 39lvl : 177 bt177-83:0(383)X537961
51.84/51.95	conflict 39lvl : 177 bt177-151:0(448)X538003
51.84/51.95	conflict 39lvl : 177 bt177-29:0(453)X538045
51.84/51.95	conflict 39lvl : 177 bt177-166:0(434)X538087
51.84/51.96	conflict 39lvl : 177 bt177-175:0(259)X538129
51.84/51.96	conflict 106lvl : 177 bt176-20:0(345)X538171
51.84/51.96	conflict 72lvl : 176 bt176-165:0(349)X538280
51.84/51.97	conflict 39lvl : 176 bt176-158:0(459)X538355
51.84/51.97	conflict 39lvl : 176 bt176-39:0(438)X538397
51.84/51.98	conflict 56lvl : 176 bt176-154:0(414)X538439
51.84/51.98	conflict 75lvl : 176 bt176154:0(372)X538498
51.95/52.09	conflict 39lvl : 177 bt177-186:0(386)X538576
51.95/52.09	conflict 57lvl : 177 bt17749:0(446)X538618
51.95/52.09	conflict 107lvl : 177 bt177-50:0(451)X538678
51.95/52.10	conflict 39lvl : 177 bt177-40:0(430)X538788
51.95/52.10	conflict 55lvl : 177 bt177-17:0(233)X538830
52.14/52.21	conflict 145lvl : 177 bt17752:0(452)X538888
52.14/52.21	conflict 57lvl : 177 bt177-166:0(427)X539036
52.24/52.32	conflict 39lvl : 177 bt177-174:0(382)X539096
52.24/52.32	conflict 144lvl : 177 bt17745:0(460)X539138
52.24/52.34	conflict 57lvl : 176 bt176-366:0(444)X539285
52.24/52.34	conflict 73lvl : 176 bt176-18:0(450)X539345
52.24/52.35	conflict 39lvl : 176 bt176-396:0(328)X539421
52.34/52.45	conflict 56lvl : 178 bt178-154:0(363)X539463
52.34/52.45	conflict 106lvl : 178 bt178-39:0(447)X539522
52.34/52.46	conflict 38lvl : 178 bt178-187:0(419)X539631
52.34/52.46	conflict 106lvl : 178 bt177-19:0(344)X539672
52.34/52.46	conflict 92lvl : 177 bt17727:0(339)X539781
52.44/52.58	conflict 38lvl : 178 bt178-174:0(418)X539876
52.54/52.62	conflict 39lvl : 210 bt210-154:0(292)X539917
52.74/52.86	conflict 39lvl : 191 bt191-340:0(259)X539959
52.74/52.87	conflict 57lvl : 190 bt1907:0(250)X540001
52.74/52.87	conflict 39lvl : 190 bt190-350:0(232)X540061
52.95/53.07	 -> -350:X(232)conflict 57lvl : 146 bt1463:0(329)X540103
52.95/53.07	conflict 55lvl : 146 bt146-24:0(425)X540163
52.95/53.08	conflict 39lvl : 146 bt146-10:0(384)X540221
52.95/53.08	conflict 39lvl : 146 bt146-186:0(360)X540263
52.95/53.08	conflict 76lvl : 146 bt1468:0(369)X540305
52.95/53.08	conflict 39lvl : 146 bt146-28:0(309)X540384
53.05/53.12	conflict 39lvl : 193 bt193-161:0(233)X540426
53.05/53.13	 -> -161:X(233)conflict 39lvl : 190 bt190-49:0(461)X540468
53.05/53.13	conflict 39lvl : 190 bt190-50:0(457)X540510
53.05/53.13	conflict 39lvl : 190 bt190-47:0(411)X540552
53.05/53.14	conflict 39lvl : 190 bt190-53:0(407)X540594
53.05/53.14	conflict 56lvl : 190 bt190-26:0(389)X540636
53.05/53.14	conflict 89lvl : 190 bt189-167:0(360)X540695
53.05/53.14	conflict 72lvl : 189 bt189-38:0(363)X540787
53.05/53.15	conflict 39lvl : 189 bt189-57:0(467)X540862
53.05/53.15	conflict 57lvl : 189 bt189-50:0(459)X540904
53.05/53.15	conflict 39lvl : 189 bt189-40:0(385)X540964
53.05/53.15	conflict 89lvl : 189 bt188-167:0(353)X541006
53.05/53.16	conflict 93lvl : 188 bt18845:0(349)X541098
53.05/53.16	conflict 128lvl : 188 bt18866:0(453)X541194
53.05/53.16	conflict 57lvl : 188 bt18890:0(400)X541325
53.05/53.16	conflict 56lvl : 188 bt188-47:0(377)X541385
53.14/53.22	conflict 57lvl : 190 bt19090:0(413)X541444
53.14/53.22	conflict 74lvl : 190 bt19094:0(397)X541504
53.14/53.25	conflict 39lvl : 209 bt209-361:0(284)X541581
53.24/53.33	conflict 72lvl : 207 bt207-94:0(334)X541623
53.34/53.42	conflict 39lvl : 210 bt210-373:0(344)X541698
53.44/53.54	conflict 39lvl : 210 bt210-371:0(304)X541740
53.54/53.65	conflict 57lvl : 209 bt2097:0(284)X541782
53.64/53.78	conflict 39lvl : 209 bt209-361:0(309)X541842
53.74/53.80	conflict 57lvl : 209 bt2097:0(306)X541884
53.74/53.85	conflict 57lvl : 208 bt208-360:0(328)X541944
53.84/53.96	conflict 73lvl : 208 bt208-360:0(337)X542004
54.05/54.19	conflict 72lvl : 208 bt208231:0(362)X542080
54.14/54.20	conflict 39lvl : 206 bt206-214:0(285)X542155
54.14/54.21	conflict 57lvl : 205 bt2057:0(278)X542197
54.44/54.57	conflict 39lvl : 197 bt197-235:0(276)X542257
54.44/54.57	conflict 57lvl : 196 bt1967:0(269)X542299
54.64/54.73	conflict 39lvl : 164 bt164-52:0(469)X542359
54.64/54.73	conflict 92lvl : 164 bt163-177:0(330)X542401
54.64/54.74	conflict 57lvl : 163 bt163-60:0(352)X542496
54.64/54.75	conflict 57lvl : 163 bt163-2:0(424)X542556
54.74/54.81	conflict 39lvl : 202 bt202-424:0(273)X542616
54.74/54.82	conflict 57lvl : 201 bt2017:0(266)X542658
54.74/54.85	conflict 55lvl : 194 bt194-381:0(279)X542718
54.74/54.85	conflict 90lvl : 194 bt194-439:0(320)X542776
54.95/55.04	conflict 56lvl : 195 bt195-438:0(324)X542869
54.95/55.05	conflict 56lvl : 194 bt194-375:0(320)X542928
55.14/55.24	conflict 39lvl : 148 bt148-178:0(377)X542987
55.14/55.24	conflict 72lvl : 148 bt148-355:0(266)X543029
55.24/55.37	conflict 56lvl : 207 bt207-115:0(326)X543104
66.05/66.19	conflict 39lvl : 190 bt190-14:0(230)X548370
66.14/66.20	 -> -14:X(230)conflict 39lvl : 188 bt188-165:0(420)X548412
66.14/66.25	conflict 76lvl : 189 bt18924:0(286)X548454
66.14/66.25	conflict 39lvl : 189 bt189-28:0(468)X548533
66.14/66.25	conflict 39lvl : 189 bt189-29:0(468)X548575
66.14/66.25	conflict 39lvl : 189 bt189-134:0(266)X548617
66.14/66.26	conflict 53lvl : 189 bt189-131:0(406)X548659
66.14/66.26	conflict 56lvl : 189 bt189-178:0(361)X548715
66.14/66.29	conflict 90lvl : 207 bt207-229:0(341)X548774
66.24/66.34	conflict 39lvl : 207 bt207-385:0(275)X548867
66.34/66.46	conflict 71lvl : 205 bt205-73:0(340)X548909
66.34/66.49	conflict 55lvl : 207 bt207-227:0(273)X548983
66.44/66.54	conflict 73lvl : 206 bt206-220:0(344)X549041
66.44/66.55	conflict 74lvl : 206 bt206-364:0(375)X549117
66.44/66.55	conflict 55lvl : 205 bt205-226:0(398)X549194
66.44/66.56	conflict 73lvl : 204 bt204-385:0(371)X549252
66.44/66.59	conflict 76lvl : 206 bt206382:0(358)X549328
66.54/66.60	conflict 39lvl : 205 bt205-213:0(356)X549407
66.54/66.60	conflict 55lvl : 204 bt204-381:0(344)X549449
66.54/66.61	conflict 74lvl : 203 bt203-213:0(347)X549507
66.54/66.61	conflict 73lvl : 203 bt203-364:0(369)X549584
66.64/66.70	conflict 55lvl : 206 bt206-388:0(345)X549660
66.64/66.70	conflict 56lvl : 205 bt205-367:0(341)X549718
66.74/66.84	conflict 39lvl : 187 bt187-367:0(441)X549777
66.74/66.84	conflict 73lvl : 186 bt186-213:0(278)X549819
66.74/66.89	conflict 53lvl : 190 bt190-145:0(420)X549895
66.84/66.95	conflict 73lvl : 190 bt190-40:0(419)X549951
66.84/67.00	conflict 39lvl : 190 bt190-133:0(252)X550027
66.95/67.06	conflict 55lvl : 190 bt190-17:0(250)X550069
66.95/67.07	conflict 76lvl : 189 bt189175:0(384)X550127
67.14/67.24	conflict 95lvl : 189 bt1894:0(429)X550206
67.14/67.25	conflict 72lvl : 188 bt188-199:0(349)X550304
67.14/67.25	conflict 39lvl : 188 bt188-318:0(363)X550379
67.14/67.25	conflict 39lvl : 188 bt188-132:0(362)X550421
67.14/67.26	conflict 56lvl : 188 bt188-14:0(477)X550463
67.14/67.26	conflict 39lvl : 188 bt188-334:0(392)X550522
67.14/67.26	conflict 39lvl : 188 bt188-333:0(362)X550564
67.34/67.43	conflict 39lvl : 189 bt189-391:0(349)X550606
67.34/67.43	conflict 54lvl : 189 bt189-87:0(281)X550648
67.54/67.60	conflict 57lvl : 189 bt1897:0(350)X550705
67.64/67.79	conflict 39lvl : 188 bt188-16:0(464)X550765
67.64/67.79	conflict 89lvl : 187 bt187-199:0(342)X550807
67.64/67.79	conflict 39lvl : 187 bt187-360:0(361)X550899
67.74/67.80	conflict 57lvl : 187 bt18733:0(350)X550941
67.74/67.80	conflict 73lvl : 187 bt187-131:0(405)X551001
67.74/67.84	conflict 39lvl : 209 bt209-382:0(286)X551077
67.74/67.84	conflict 57lvl : 208 bt2087:0(279)X551119
67.74/67.85	conflict 55lvl : 207 bt207-213:0(306)X551179
67.84/67.92	conflict 55lvl : 207 bt207-171:0(306)X551237
67.84/67.92	conflict 56lvl : 206 bt206-396:0(349)X551295
67.84/67.92	conflict 55lvl : 206 bt206-213:0(388)X551354
67.94/68.05	conflict 56lvl : 206 bt206-186:0(352)X551412
67.94/68.05	conflict 39lvl : 206 bt206-171:0(381)X551471
68.24/68.37	conflict 39lvl : 208 bt208-381:0(355)X551513
68.34/68.49	conflict 74lvl : 208 bt208-308:0(407)X551555
68.44/68.50	conflict 74lvl : 206 bt206-364:0(369)X551632
68.54/68.63	conflict 39lvl : 185 bt185-144:0(380)X551709
68.54/68.63	conflict 56lvl : 185 bt185-8:0(376)X551751
68.54/68.64	conflict 57lvl : 185 bt18549:0(386)X551810
68.54/68.65	conflict 55lvl : 184 bt184-165:0(372)X551870
68.54/68.66	conflict 74lvl : 184 bt18460:0(366)X551928
68.64/68.71	conflict 56lvl : 190 bt190-18:0(329)X552005
68.64/68.76	conflict 76lvl : 190 bt19024:0(299)X552064
68.74/68.82	conflict 92lvl : 189 bt189144:0(315)X552143
68.84/68.99	conflict 91lvl : 189 bt189186:0(320)X552238
69.05/69.15	conflict 39lvl : 189 bt189-378:0(399)X552332
69.05/69.16	conflict 39lvl : 188 bt188-375:0(342)X552374
69.14/69.20	conflict 56lvl : 183 bt183-103:0(360)X552416
69.14/69.26	conflict 39lvl : 190 bt190-176:0(278)X552475
69.64/69.78	conflict 39lvl : 190 bt190-36:0(457)X552517
69.64/69.78	conflict 56lvl : 189 bt189-186:0(305)X552559
69.64/69.79	conflict 57lvl : 189 bt18970:0(453)X552618
69.74/69.80	conflict 88lvl : 188 bt18828:0(360)X552678
69.74/69.80	conflict 74lvl : 187 bt187-186:0(308)X552769
69.74/69.80	conflict 39lvl : 187 bt187-28:0(459)X552846
69.74/69.81	conflict 72lvl : 187 bt187-50:0(457)X552888
69.74/69.81	conflict 73lvl : 186 bt186-186:0(298)X552963
69.74/69.82	conflict 109lvl : 186 bt18654:0(454)X553039
69.74/69.83	conflict 126lvl : 185 bt18581:0(448)X553151
69.74/69.85	conflict 53lvl : 183 bt183-166:0(394)X553280
69.74/69.85	conflict 39lvl : 183 bt183-144:0(415)X553336
69.84/69.91	conflict 55lvl : 189 bt189-133:0(353)X553378
69.84/69.97	conflict 39lvl : 183 bt183-29:0(456)X553436
69.84/69.98	conflict 53lvl : 183 bt183-152:0(388)X553478
69.84/69.98	conflict 55lvl : 183 bt183-136:0(350)X553534
69.95/70.05	conflict 109lvl : 189 bt18928:0(353)X553592
69.95/70.05	conflict 108lvl : 188 bt18828:0(351)X553704
70.05/70.11	conflict 92lvl : 183 bt183-178:0(368)X553815
70.05/70.12	conflict 39lvl : 181 bt181-363:0(355)X553910
70.05/70.12	conflict 39lvl : 181 bt181-144:0(350)X553952
70.05/70.13	conflict 39lvl : 181 bt181-3:0(465)X553994
70.05/70.13	conflict 56lvl : 181 bt181-376:0(386)X554036
70.05/70.13	conflict 70lvl : 181 bt181-375:0(350)X554095
70.14/70.25	conflict 72lvl : 181 bt181-165:0(301)X554168
70.34/70.40	conflict 89lvl : 181 bt181-186:0(408)X554243
70.34/70.40	conflict 119lvl : 181 bt181-20:0(342)X554335
70.44/70.54	conflict 102lvl : 181 bt181-19:0(293)X554457
70.44/70.54	conflict 39lvl : 180 bt180-424:0(371)X554562
70.54/70.67	conflict 144lvl : 183 bt18370:0(463)X554604
70.54/70.68	conflict 39lvl : 182 bt182-38:0(464)X554751
70.54/70.69	conflict 57lvl : 181 bt181-69:0(460)X554793
70.64/70.71	conflict 56lvl : 182 bt182-34:0(467)X554853
70.64/70.72	conflict 55lvl : 181 bt181-76:0(457)X554912
70.64/70.73	conflict 55lvl : 180 bt180-78:0(452)X554970
70.64/70.76	conflict 116lvl : 180 bt180-40:0(403)X555028
70.64/70.79	conflict 115lvl : 180 bt180-40:0(383)X555147
70.74/70.84	conflict 55lvl : 177 bt177-262:0(318)X555265
70.74/70.85	conflict 39lvl : 176 bt176-255:0(312)X555323
70.74/70.85	conflict 39lvl : 176 bt176-188:0(448)X555365
70.74/70.85	conflict 91lvl : 176 bt176-18:0(445)X555407
70.74/70.86	conflict 39lvl : 176 bt176-377:0(416)X555501
70.74/70.86	conflict 39lvl : 176 bt176-361:0(255)X555543
70.74/70.86	conflict 55lvl : 176 bt176-269:0(230)X555585
70.74/70.86	conflict 90lvl : 176 bt176-271:0(287)X555643
70.74/70.86	conflict 90lvl : 176 bt175-272:0(343)X555736
70.74/70.86	conflict 93lvl : 175 bt1753:0(343)X555829
70.74/70.87	conflict 57lvl : 175 bt1753:0(438)X555925
70.74/70.87	conflict 90lvl : 175 bt175-18:0(436)X555985
70.74/70.87	conflict 73lvl : 175 bt174-268:0(265)X556078
70.74/70.88	conflict 128lvl : 174 bt17420:0(436)X556154
70.84/70.90	conflict 76lvl : 176 bt17652:0(455)X556285
70.84/70.91	conflict 39lvl : 175 bt175-133:0(445)X556364
70.84/70.91	conflict 38lvl : 175 bt175-145:0(417)X556406
70.84/70.92	conflict 39lvl : 174 bt174-144:0(441)X556447
70.84/70.92	conflict 56lvl : 174 bt174-39:0(436)X556489
70.84/70.92	conflict 74lvl : 174 bt174-144:0(433)X556548
70.84/70.93	conflict 72lvl : 173 bt173-333:0(365)X556625
70.84/70.94	conflict 72lvl : 173 bt173-199:0(354)X556700
70.84/70.94	conflict 57lvl : 173 bt17381:0(423)X556775
70.84/70.94	conflict 57lvl : 173 bt173-4:0(420)X556835
70.84/70.96	conflict 89lvl : 173 bt173-187:0(399)X556895
70.84/70.97	conflict 55lvl : 174 bt174-136:0(447)X556987
70.84/70.97	conflict 109lvl : 174 bt17460:0(454)X557045
70.84/70.97	conflict 38lvl : 174 bt174-187:0(410)X557157
70.84/70.98	conflict 73lvl : 174 bt173-16:0(264)X557198
70.84/70.98	conflict 109lvl : 173 bt173-144:0(439)X557274
70.84/70.99	conflict 107lvl : 173 bt17352:0(376)X557386
70.84/71.00	conflict 39lvl : 172 bt172-119:0(212)X557496
70.84/71.00	conflict 39lvl : 171 bt171-109:0(234)X557538
70.84/71.00	conflict 57lvl : 170 bt1707:0(227)X557580
70.95/71.02	conflict 73lvl : 168 bt168-220:0(435)X557640
70.95/71.02	conflict 55lvl : 168 bt168-228:0(432)X557716
70.95/71.02	conflict 39lvl : 168 bt168-228:0(291)X557774
70.95/71.03	conflict 73lvl : 167 bt167-144:0(333)X557816
70.95/71.04	conflict 76lvl : 167 bt16739:0(445)X557892
70.95/71.04	conflict 99lvl : 167 bt167-198:0(401)X557971
70.95/71.05	conflict 110lvl : 167 bt16728:0(441)X558073
70.95/71.05	conflict 91lvl : 167 bt167-39:0(432)X558186
70.95/71.06	conflict 56lvl : 167 bt167-182:0(432)X558280
70.95/71.06	conflict 56lvl : 167 bt167-186:0(331)X558339
70.95/71.07	conflict 91lvl : 167 bt16739:0(430)X558398
70.95/71.07	conflict 73lvl : 167 bt167-144:0(418)X558492
70.95/71.07	conflict 39lvl : 167 bt167-35:0(420)X558568
70.95/71.10	conflict 73lvl : 166 bt166-186:0(329)X558610
70.95/71.10	conflict 76lvl : 166 bt16628:0(440)X558686
70.95/71.10	conflict 177lvl : 166 bt16650:0(426)X558765
70.95/71.10	conflict 39lvl : 166 bt166-186:0(401)X558945
71.05/71.10	conflict 109lvl : 166 bt16631:0(434)X558987
71.05/71.11	conflict 91lvl : 166 bt16624:0(330)X559099
71.05/71.12	conflict 39lvl : 166 bt166-165:0(420)X559193
71.05/71.12	conflict 94lvl : 166 bt16671:0(417)X559235
71.05/71.16	conflict 109lvl : 165 bt16531:0(428)X559332
71.05/71.18	conflict 39lvl : 164 bt164-228:0(434)X559444
71.05/71.18	conflict 74lvl : 164 bt1643:0(239)X559486
71.05/71.19	conflict 87lvl : 164 bt164-61:0(275)X559563
71.05/71.19	conflict 88lvl : 164 bt163-62:0(328)X559653
71.05/71.19	conflict 91lvl : 163 bt163-228:0(354)X559744
71.05/71.19	conflict 90lvl : 163 bt163-52:0(344)X559838
71.05/71.19	conflict 39lvl : 163 bt163-31:0(421)X559931
71.05/71.20	conflict 95lvl : 163 bt16339:0(429)X559973
71.14/71.20	conflict 73lvl : 163 bt16381:0(403)X560071
71.14/71.20	conflict 72lvl : 163 bt163-13:0(427)X560147
71.14/71.21	conflict 89lvl : 163 bt163-29:0(424)X560222
71.14/71.22	conflict 90lvl : 163 bt163-35:0(422)X560314
71.14/71.22	conflict 56lvl : 163 bt163-144:0(325)X560407
71.14/71.24	conflict 73lvl : 162 bt162-144:0(326)X560466
71.14/71.26	conflict 146lvl : 162 bt162-28:0(433)X560542
71.14/71.26	conflict 124lvl : 162 bt16260:0(427)X560691
71.14/71.26	conflict 89lvl : 162 bt16240:0(396)X560818
71.14/71.27	conflict 72lvl : 162 bt162-155:0(429)X560910
71.14/71.27	conflict 55lvl : 162 bt162-186:0(324)X560985
71.14/71.29	conflict 39lvl : 161 bt161-177:0(438)X561043
71.24/71.30	conflict 73lvl : 161 bt16155:0(428)X561085
71.24/71.32	conflict 108lvl : 161 bt16131:0(431)X561161
71.24/71.38	conflict 107lvl : 160 bt16024:0(418)X561272
71.34/71.40	conflict 105lvl : 159 bt159-409:0(347)X561382
71.34/71.40	conflict 57lvl : 159 bt159-8:0(426)X561490
71.34/71.42	conflict 144lvl : 159 bt159-28:0(427)X561550
71.34/71.42	conflict 158lvl : 159 bt15960:0(424)X561697
71.34/71.43	conflict 118lvl : 159 bt15924:0(423)X561858
71.34/71.44	conflict 57lvl : 159 bt159137:0(410)X561979
71.34/71.46	conflict 56lvl : 158 bt158-55:0(424)X562039
71.34/71.48	conflict 133lvl : 158 bt15824:0(423)X562098
71.44/71.56	conflict 57lvl : 156 bt15660:0(393)X562234
71.44/71.56	conflict 55lvl : 156 bt156-179:0(425)X562294
71.44/71.57	conflict 98lvl : 156 bt156-408:0(386)X562352
71.44/71.57	conflict 76lvl : 156 bt156154:0(369)X562453
71.54/71.62	conflict 105lvl : 155 bt155-115:0(346)X562532
71.54/71.62	conflict 39lvl : 155 bt155-438:0(253)X562640
71.54/71.63	conflict 73lvl : 156 bt156-223:0(426)X562682
71.54/71.65	conflict 90lvl : 155 bt155-31:0(416)X562758
71.54/71.66	conflict 39lvl : 155 bt154-186:0(317)X562851
71.54/71.67	conflict 39lvl : 154 bt154-186:0(336)X562893
71.54/71.67	conflict 39lvl : 154 bt154-15:0(409)X562935
71.54/71.67	conflict 39lvl : 154 bt154-172:0(329)X562977
71.54/71.67	conflict 39lvl : 154 bt154-188:0(360)X563019
71.54/71.68	conflict 57lvl : 154 bt154-184:0(403)X563061
71.54/71.68	conflict 39lvl : 154 bt154-184:0(349)X563121
71.54/71.68	conflict 39lvl : 154 bt154-183:0(348)X563163
71.54/71.69	conflict 56lvl : 154 bt154-10:0(403)X563205
71.63/71.74	conflict 105lvl : 153 bt153-262:0(345)X563264
71.63/71.75	conflict 39lvl : 153 bt153-178:0(310)X563372
71.73/71.84	conflict 56lvl : 153 bt153-157:0(413)X563414
71.83/71.90	conflict 142lvl : 153 bt15347:0(363)X563473
71.83/71.91	conflict 39lvl : 154 bt154-396:0(452)X563618
71.94/72.02	conflict 39lvl : 152 bt152-270:0(417)X563660
71.94/72.09	conflict 140lvl : 150 bt15061:0(361)X563702
72.04/72.11	conflict 149lvl : 150 bt15024:0(409)X563845
72.04/72.11	conflict 139lvl : 150 bt15061:0(339)X563997
72.04/72.12	conflict 56lvl : 149 bt149-70:0(289)X564139
72.04/72.12	conflict 57lvl : 149 bt149-16:0(425)X564198
72.04/72.13	conflict 39lvl : 149 bt149-183:0(390)X564258
72.04/72.18	conflict 56lvl : 148 bt148-178:0(345)X564300
72.04/72.19	conflict 73lvl : 148 bt148-186:0(293)X564359
72.04/72.19	conflict 39lvl : 148 bt148-144:0(327)X564435
72.13/72.20	conflict 157lvl : 148 bt14860:0(401)X564477
72.13/72.20	conflict 55lvl : 148 bt148-174:0(398)X564637
72.13/72.24	conflict 109lvl : 147 bt14731:0(417)X564695
72.13/72.26	conflict 39lvl : 148 bt148-139:0(381)X564807
72.13/72.27	conflict 39lvl : 146 bt146-157:0(334)X564849
72.13/72.28	conflict 74lvl : 146 bt146427:0(411)X564891
72.13/72.28	conflict 90lvl : 147 bt147-10:0(385)X564968
72.13/72.30	conflict 86lvl : 147 bt146-181:0(420)X565061
72.23/72.31	conflict 55lvl : 146 bt146-18:0(383)X565150
72.23/72.32	conflict 57lvl : 146 bt146-18:0(367)X565208
72.23/72.33	conflict 39lvl : 146 bt146-18:0(371)X565268
72.23/72.33	conflict 39lvl : 146 bt146-8:0(366)X565310
72.23/72.34	conflict 56lvl : 145 bt145-172:0(281)X565352
72.23/72.35	conflict 39lvl : 145 bt145-16:0(354)X565411
72.33/72.40	conflict 55lvl : 144 bt144-430:0(429)X565453
72.33/72.41	conflict 84lvl : 144 bt144-430:0(390)X565511
72.33/72.46	conflict 39lvl : 144 bt144-375:0(337)X565598
72.33/72.48	conflict 39lvl : 144 bt144-188:0(397)X565640
76.54/76.63	o -1503
76.84/76.95	conflict 74lvl : 159 bt159-178:0(426)X568445
76.84/76.96	conflict 180lvl : 158 bt15824:0(421)X568522
76.84/76.97	conflict 91lvl : 157 bt157-24:0(419)X568705
76.84/76.98	conflict 179lvl : 156 bt15641:0(416)X568799
76.84/76.99	conflict 109lvl : 155 bt155-129:0(423)X568981
76.94/77.00	conflict 73lvl : 155 bt15555:0(412)X569093
76.94/77.01	conflict 39lvl : 155 bt155-178:0(261)X569169
76.94/77.01	conflict 72lvl : 155 bt155-144:0(311)X569211
77.24/77.34	conflict 53lvl : 156 bt156-260:0(413)X569286
77.24/77.34	conflict 89lvl : 156 bt156-255:0(319)X569342
77.84/78.00	conflict 90lvl : 156 bt156-129:0(318)X569434
77.94/78.01	conflict 39lvl : 155 bt155-187:0(336)X569527
77.94/78.01	conflict 39lvl : 155 bt155-178:0(428)X569569
77.94/78.02	conflict 56lvl : 155 bt155-175:0(435)X569611
77.94/78.04	conflict 56lvl : 154 bt154-177:0(428)X569670
78.23/78.33	conflict 56lvl : 160 bt160-132:0(429)X569729
78.23/78.35	conflict 38lvl : 159 bt159-52:0(419)X569788
78.23/78.36	conflict 104lvl : 158 bt15870:0(416)X569829
78.23/78.39	conflict 136lvl : 156 bt156-20:0(317)X569936
78.63/78.74	conflict 39lvl : 157 bt157-270:0(275)X570075
78.94/79.06	conflict 103lvl : 157 bt157-19:0(281)X570117
80.53/80.64	conflict 39lvl : 156 bt156-3:0(449)X570223
80.53/80.65	conflict 39lvl : 155 bt155-418:0(336)X570265
80.53/80.66	conflict 39lvl : 155 bt155-409:0(429)X570307
80.53/80.67	conflict 74lvl : 155 bt155-280:0(337)X570349
82.53/82.65	conflict 39lvl : 156 bt156-417:0(287)X570426
84.23/84.32	conflict 39lvl : 157 bt157-187:0(327)X570468
84.63/84.77	conflict 39lvl : 158 bt158-133:0(355)X570510
84.73/84.85	conflict 39lvl : 191 bt191-129:0(324)X570552
84.73/84.85	conflict 57lvl : 190 bt190382:0(317)X570594
84.73/84.86	conflict 110lvl : 189 bt189381:0(312)X570654
85.13/85.25	conflict 56lvl : 158 bt158-28:0(430)X570767
85.13/85.25	conflict 91lvl : 158 bt158-29:0(429)X570826
85.13/85.26	conflict 109lvl : 158 bt158-145:0(374)X570920
85.23/85.32	conflict 39lvl : 192 bt192-7:0(399)X571032
85.23/85.32	conflict 56lvl : 192 bt192-143:0(252)X571074
85.23/85.32	conflict 86lvl : 192 bt192-145:0(312)X571133
85.23/85.33	conflict 111lvl : 191 bt191381:0(343)X571222
85.23/85.33	conflict 56lvl : 191 bt191-7:0(355)X571336
85.23/85.33	conflict 57lvl : 190 bt190-381:0(310)X571395
85.23/85.34	conflict 90lvl : 190 bt190-396:0(354)X571455
85.23/85.34	conflict 110lvl : 189 bt18918:0(308)X571548
85.23/85.34	conflict 74lvl : 189 bt189-7:0(352)X571661
85.23/85.35	conflict 56lvl : 188 bt188-18:0(306)X571738
85.23/85.35	conflict 109lvl : 188 bt18845:0(349)X571797
85.33/85.45	conflict 89lvl : 176 bt176-427:0(389)X571909
85.33/85.46	conflict 57lvl : 177 bt177-145:0(411)X572001
85.33/85.46	conflict 39lvl : 176 bt176-139:0(406)X572061
85.33/85.47	conflict 56lvl : 175 bt175-430:0(353)X572103
85.33/85.48	conflict 73lvl : 175 bt175-388:0(292)X572162
85.53/85.66	conflict 105lvl : 176 bt176-441:0(387)X572238
85.53/85.67	conflict 73lvl : 176 bt176-10:0(301)X572346
85.53/85.68	conflict 143lvl : 175 bt17524:0(342)X572422
85.53/85.69	conflict 72lvl : 175 bt175-10:0(297)X572568
85.63/85.70	conflict 87lvl : 174 bt174-145:0(286)X572643
85.94/86.09	conflict 56lvl : 158 bt15842:0(354)X572733
85.94/86.09	conflict 57lvl : 158 bt15881:0(425)X572792
85.94/86.10	conflict 38lvl : 158 bt158-257:0(365)X572852
86.04/86.11	conflict 74lvl : 157 bt157-72:0(398)X572893
86.04/86.12	conflict 90lvl : 157 bt157123:0(418)X572970
86.04/86.18	conflict 39lvl : 192 bt192-6:0(396)X573063
86.04/86.18	conflict 55lvl : 192 bt192-143:0(254)X573105
86.04/86.18	conflict 109lvl : 192 bt192-385:0(318)X573163
86.13/86.24	conflict 124lvl : 192 bt19245:0(393)X573275
86.13/86.25	conflict 108lvl : 191 bt19131:0(325)X573402
86.23/86.36	conflict 53lvl : 177 bt177-423:0(259)X573513
86.23/86.36	conflict 86lvl : 177 bt177-145:0(297)X573569
104.73/104.88	conflict 39lvl : 189 bt189-10:0(444)X579012
104.83/104.99	conflict 72lvl : 188 bt188-133:0(325)X579054
105.04/105.11	conflict 75lvl : 189 bt189-427:0(437)X579129
105.04/105.11	conflict 39lvl : 186 bt186-46:0(253)X579207
105.04/105.12	conflict 57lvl : 185 bt1857:0(246)X579249
105.04/105.18	conflict 39lvl : 171 bt171-56:0(209)X579309
105.13/105.27	 -> -56:X(209)conflict 88lvl : 151 bt151-269:0(338)X579351
105.13/105.27	conflict 56lvl : 151 bt151-268:0(422)X579442
105.13/105.28	conflict 125lvl : 151 bt15139:0(418)X579501
105.13/105.28	conflict 39lvl : 151 bt151-259:0(238)X579629
105.13/105.28	conflict 55lvl : 151 bt151-59:0(205)X579671
105.13/105.29	conflict 73lvl : 151 bt151-61:0(261)X579729
105.13/105.29	conflict 108lvl : 151 bt151-62:0(316)X579805
105.23/105.39	conflict 93lvl : 189 bt189-388:0(442)X579916
105.23/105.40	conflict 91lvl : 188 bt188-385:0(316)X580012
105.43/105.50	conflict 39lvl : 188 bt188-438:0(427)X580106
105.53/105.61	conflict 124lvl : 188 bt188424:0(424)X580148
105.63/105.72	conflict 123lvl : 188 bt188424:0(428)X580275
105.63/105.72	conflict 73lvl : 188 bt188-427:0(322)X580401
105.94/106.04	conflict 57lvl : 161 bt161270:0(406)X580477
105.94/106.05	conflict 57lvl : 210 bt2107:0(281)X580537
105.94/106.08	conflict 57lvl : 201 bt201-256:0(310)X580597
105.94/106.09	conflict 93lvl : 198 bt19824:0(307)X580657
105.94/106.10	conflict 111lvl : 195 bt195385:0(327)X580753
106.04/106.11	conflict 92lvl : 194 bt194-385:0(323)X580867
106.73/106.88	conflict 54lvl : 189 bt189-430:0(440)X580962
106.73/106.88	conflict 108lvl : 188 bt18810:0(315)X581019
106.73/106.89	conflict 57lvl : 210 bt2107:0(281)X581130
106.83/106.92	conflict 57lvl : 201 bt201-403:0(310)X581190
106.83/106.92	conflict 93lvl : 199 bt19924:0(308)X581250
106.83/106.94	conflict 111lvl : 195 bt195385:0(327)X581346
106.83/106.95	conflict 92lvl : 194 bt194-385:0(323)X581460
106.83/106.95	conflict 92lvl : 193 bt193-406:0(321)X581555
106.83/106.96	conflict 109lvl : 192 bt19210:0(320)X581650
107.23/107.31	conflict 73lvl : 159 bt159-133:0(348)X581762
107.73/107.89	conflict 111lvl : 189 bt1897:0(437)X581838
107.73/107.89	conflict 107lvl : 188 bt1887:0(314)X581952
108.33/108.46	conflict 39lvl : 188 bt188-424:0(419)X582062
108.83/108.91	conflict 127lvl : 157 bt157-270:0(396)X582104
108.83/108.91	conflict 56lvl : 157 bt157-7:0(293)X582234
108.94/109.02	conflict 140lvl : 188 bt188424:0(423)X582293
108.94/109.02	conflict 39lvl : 188 bt188-397:0(383)X582436
109.33/109.46	conflict 128lvl : 157 bt157-270:0(393)X582478
109.33/109.46	conflict 92lvl : 157 bt157175:0(286)X582609
109.83/109.92	conflict 53lvl : 156 bt156-255:0(238)X582704
109.94/110.03	conflict 39lvl : 188 bt188-7:0(422)X582760
109.94/110.03	conflict 55lvl : 188 bt188-144:0(366)X582802
111.04/111.16	conflict 104lvl : 188 bt188424:0(421)X582860
111.04/111.17	conflict 56lvl : 188 bt188-144:0(385)X582967
111.53/111.64	conflict 39lvl : 154 bt154-7:0(379)X583026
111.53/111.65	conflict 39lvl : 154 bt154-372:0(384)X583068
113.33/113.45	conflict 55lvl : 186 bt186-136:0(305)X583110
114.33/114.45	conflict 75lvl : 189 bt189-406:0(439)X583168
114.33/114.45	conflict 109lvl : 188 bt18818:0(303)X583246
114.43/114.57	conflict 39lvl : 188 bt188-427:0(418)X583358
114.43/114.58	conflict 90lvl : 188 bt188-10:0(447)X583400
114.43/114.59	conflict 72lvl : 186 bt186-417:0(310)X583493
114.83/114.96	conflict 56lvl : 153 bt153-24:0(412)X583568
157.44/157.50	conflict 195lvl : 187 bt18725:0(445)X589104
157.44/157.51	conflict 100lvl : 186 bt186-186:0(443)X589302
157.44/157.52	conflict 212lvl : 185 bt18560:0(442)X589405
157.64/157.73	conflict 105lvl : 165 bt165-165:0(416)X589620
157.64/157.73	conflict 39lvl : 165 bt165-7:0(399)X589728
157.64/157.75	conflict 128lvl : 164 bt164-387:0(396)X589770
157.64/157.76	conflict 57lvl : 164 bt164-18:0(358)X589901
159.44/159.52	conflict 110lvl : 196 bt19624:0(420)X589961
159.44/159.53	conflict 55lvl : 195 bt195-5:0(416)X590074
159.44/159.54	conflict 55lvl : 194 bt194-19:0(409)X590132
159.44/159.55	conflict 55lvl : 193 bt193-13:0(404)X590190
159.44/159.55	conflict 126lvl : 192 bt192-26:0(400)X590248
159.54/159.62	conflict 39lvl : 184 bt184-28:0(457)X590377
159.54/159.62	conflict 90lvl : 184 bt184-16:0(463)X590419
159.54/159.62	conflict 144lvl : 184 bt18482:0(370)X590512
159.54/159.63	conflict 91lvl : 184 bt183-146:0(351)X590659
159.54/159.65	conflict 39lvl : 204 bt204-4:0(321)X590753
159.54/159.66	conflict 55lvl : 203 bt203-130:0(317)X590795
159.54/159.66	conflict 39lvl : 202 bt202-4:0(310)X590853
159.54/159.66	conflict 57lvl : 201 bt20128:0(266)X590895
160.44/160.54	conflict 55lvl : 164 bt163-59:0(228)X590955
160.44/160.55	conflict 73lvl : 163 bt163-228:0(357)X591013
160.44/160.55	conflict 74lvl : 163 bt16381:0(433)X591089
160.44/160.56	conflict 56lvl : 163 bt163-220:0(271)X591166
160.44/160.56	conflict 123lvl : 163 bt163-62:0(322)X591225
160.54/160.61	conflict 55lvl : 196 bt196-425:0(421)X591351
160.94/161.01	conflict 56lvl : 196 bt196-439:0(412)X591409
161.04/161.16	conflict 55lvl : 207 bt207-210:0(320)X591468
161.14/161.28	conflict 39lvl : 208 bt208-382:0(312)X591526
161.24/161.33	conflict 57lvl : 209 bt2097:0(306)X591568
161.24/161.40	conflict 39lvl : 205 bt205-213:0(388)X591628
161.54/161.68	conflict 39lvl : 210 bt210-144:0(384)X591670
161.54/161.69	conflict 56lvl : 210 bt210-3:0(387)X591712
161.84/161.90	conflict 56lvl : 207 bt207-192:0(384)X591771
161.84/161.90	conflict 90lvl : 206 bt206-227:0(382)X591830
161.94/162.09	conflict 39lvl : 210 bt210-7:0(332)X591923
161.94/162.10	conflict 39lvl : 210 bt210-175:0(314)X591965
162.14/162.23	conflict 55lvl : 203 bt203-332:0(271)X592007
162.14/162.23	conflict 73lvl : 203 bt203-334:0(343)X592065
162.64/162.72	conflict 39lvl : 162 bt162-98:0(200)X592141
162.64/162.73	 -> -98:X(200)conflict 110lvl : 157 bt15752:0(459)X592183
162.64/162.74	conflict 71lvl : 156 bt156-375:0(342)X592296
162.64/162.74	conflict 72lvl : 156 bt156-18:0(423)X592370
162.64/162.74	conflict 72lvl : 156 bt1563:0(394)X592445
162.64/162.75	conflict 55lvl : 156 bt156-100:0(210)X592520
162.64/162.76	 -> -100:X(210)conflict 55lvl : 154 bt154-4:0(401)X592578
162.64/162.76	conflict 39lvl : 154 bt154-81:0(247)X592636
162.64/162.77	conflict 56lvl : 155 bt155-217:0(338)X592678
162.64/162.78	conflict 39lvl : 155 bt155-217:0(318)X592737
162.64/162.78	conflict 56lvl : 154 bt154-220:0(309)X592779
162.84/162.98	conflict 55lvl : 208 bt208-194:0(444)X592838
162.94/163.05	conflict 74lvl : 210 bt210-220:0(395)X592896
162.94/163.09	conflict 39lvl : 208 bt208-367:0(360)X592973
163.04/163.12	conflict 39lvl : 210 bt210-133:0(286)X593015
163.04/163.13	conflict 39lvl : 209 bt209-385:0(281)X593057
163.04/163.14	conflict 57lvl : 204 bt204-382:0(311)X593099
163.04/163.18	conflict 57lvl : 196 bt196-385:0(327)X593159
163.04/163.18	conflict 92lvl : 195 bt19510:0(324)X593219
163.04/163.19	conflict 109lvl : 194 bt19410:0(322)X593314
163.14/163.26	conflict 93lvl : 204 bt20424:0(314)X593426
163.44/163.56	conflict 91lvl : 204 bt20424:0(306)X593522
163.64/163.77	conflict 88lvl : 197 bt197-430:0(351)X593616
163.64/163.78	conflict 39lvl : 196 bt196-424:0(439)X593707
163.84/163.90	conflict 39lvl : 197 bt197-427:0(300)X593749
163.94/164.02	conflict 108lvl : 197 bt197381:0(384)X593791
163.94/164.02	conflict 55lvl : 197 bt197-381:0(285)X593902
164.34/164.43	conflict 39lvl : 196 bt196-151:0(265)X593960
164.34/164.44	conflict 55lvl : 196 bt196-430:0(438)X594002
164.34/164.44	conflict 89lvl : 196 bt196-166:0(318)X594060
164.54/164.61	conflict 57lvl : 196 bt1967:0(266)X594152
164.54/164.62	conflict 55lvl : 196 bt196-178:0(438)X594212
164.74/164.86	conflict 72lvl : 197 bt197-132:0(374)X594270
164.74/164.89	conflict 57lvl : 194 bt19429:0(437)X594345
164.94/165.07	conflict 55lvl : 196 bt196-171:0(285)X594405
165.24/165.30	conflict 122lvl : 197 bt19722:0(437)X594463
166.14/166.26	conflict 57lvl : 194 bt194-423:0(334)X594588
166.44/166.56	conflict 55lvl : 198 bt198-143:0(260)X594648
166.54/166.65	conflict 39lvl : 198 bt198-7:0(386)X594706
166.64/166.79	conflict 72lvl : 198 bt198-28:0(385)X594748
166.94/167.09	conflict 57lvl : 198 bt198-7:0(386)X594823
167.24/167.30	conflict 53lvl : 169 bt169-150:0(259)X594883
167.34/167.42	conflict 71lvl : 198 bt198-28:0(385)X594939
167.74/167.80	conflict 126lvl : 198 bt19860:0(404)X595013
168.04/168.11	conflict 57lvl : 168 bt168-81:0(370)X595142
168.04/168.11	conflict 90lvl : 167 bt167-73:0(357)X595202
168.04/168.12	conflict 55lvl : 168 bt167-287:0(437)X595295
169.24/169.32	conflict 56lvl : 197 bt197-10:0(343)X595353
169.24/169.33	conflict 109lvl : 196 bt196427:0(340)X595412
169.24/169.33	conflict 87lvl : 195 bt195-430:0(338)X595524
169.24/169.34	conflict 107lvl : 194 bt194385:0(332)X595614
171.14/171.29	o -1500
171.14/171.29	c   11 calls to solver: best=-1500 lower=-1499 upper=0 
171.24/171.34	conflict 107lvl : 197 bt19731:0(323)X597966
171.24/171.34	conflict 104lvl : 197 bt197-427:0(357)X598076
171.34/171.45	conflict 56lvl : 184 bt184-280:0(435)X598183
171.34/171.45	conflict 55lvl : 183 bt183-10:0(298)X598242
171.44/171.59	conflict 53lvl : 185 bt185-276:0(271)X598300
171.44/171.59	conflict 73lvl : 185 bt185-291:0(311)X598356
172.74/172.80	conflict 87lvl : 185 bt185277:0(418)X598432
172.74/172.81	conflict 39lvl : 185 bt185-427:0(320)X598522
172.84/172.94	conflict 89lvl : 185 bt185-280:0(398)X598564
172.94/173.07	conflict 39lvl : 185 bt185-10:0(312)X598656
172.94/173.08	conflict 39lvl : 184 bt184-7:0(395)X598698
173.24/173.38	conflict 73lvl : 185 bt185-277:0(409)X598740
174.04/174.15	conflict 57lvl : 179 bt179-10:0(307)X598816
174.24/174.33	conflict 56lvl : 179 bt179-438:0(314)X598876
174.74/174.84	conflict 109lvl : 179 bt179423:0(305)X598935
175.04/175.16	conflict 103lvl : 179 bt179-145:0(300)X599047
175.64/175.78	conflict 104lvl : 178 bt178-276:0(380)X599153
176.04/176.13	conflict 105lvl : 179 bt179-280:0(408)X599260
176.04/176.14	conflict 88lvl : 179 bt179-18:0(442)X599368
176.04/176.14	conflict 39lvl : 179 bt179-133:0(454)X599459
177.24/177.32	conflict 55lvl : 197 bt197-39:0(399)X599501
177.64/177.76	conflict 57lvl : 179 bt179-10:0(429)X599559
177.74/177.89	conflict 55lvl : 175 bt175-39:0(380)X599619
177.84/177.92	conflict 93lvl : 171 bt17140:0(418)X599677
177.84/177.97	conflict 142lvl : 197 bt19760:0(399)X599773
177.94/178.08	conflict 56lvl : 180 bt180-7:0(407)X599918
177.94/178.10	conflict 39lvl : 180 bt180-175:0(455)X599977
178.34/178.45	conflict 123lvl : 180 bt18024:0(387)X600019
179.54/179.65	conflict 57lvl : 171 bt171-166:0(417)X600145
179.74/179.81	conflict 122lvl : 180 bt18024:0(372)X600205
181.24/181.38	conflict 93lvl : 204 bt20424:0(324)X600330
181.34/181.47	conflict 74lvl : 183 bt18324:0(302)X600426
181.44/181.53	conflict 93lvl : 172 bt17264:0(410)X600503
181.64/181.75	conflict 110lvl : 195 bt19544:0(402)X600599
181.64/181.76	conflict 39lvl : 194 bt194-44:0(399)X600712
181.64/181.76	conflict 39lvl : 193 bt193-48:0(397)X600754
181.64/181.77	conflict 39lvl : 192 bt192-49:0(394)X600796
181.64/181.78	conflict 90lvl : 191 bt19181:0(392)X600838
181.84/181.98	conflict 56lvl : 178 bt178-171:0(289)X600931
181.84/181.99	conflict 72lvl : 177 bt17724:0(286)X600990
182.94/183.02	conflict 53lvl : 180 bt180-292:0(410)X601065
184.04/184.11	conflict 72lvl : 180 bt180-439:0(408)X601121
185.04/185.18	conflict 55lvl : 195 bt195-129:0(309)X601196
185.04/185.19	conflict 55lvl : 194 bt194-3:0(306)X601254
185.04/185.19	conflict 55lvl : 193 bt193-423:0(302)X601312
187.14/187.22	conflict 140lvl : 172 bt17261:0(389)X601370
205.64/205.73	o -1485
206.25/206.30	conflict 71lvl : 180 bt180-154:0(460)X604736
206.25/206.31	conflict 106lvl : 180 bt18052:0(442)X604810
206.65/206.70	conflict 39lvl : 184 bt184-109:0(259)X604919
206.65/206.71	conflict 129lvl : 184 bt1843:0(406)X604961
207.05/207.11	conflict 57lvl : 184 bt1847:0(262)X605093
207.15/207.25	conflict 39lvl : 210 bt210-7:0(322)X605153
207.15/207.25	conflict 39lvl : 209 bt209-154:0(285)X605195
207.15/207.26	conflict 103lvl : 208 bt208-6:0(408)X605237
207.15/207.26	conflict 56lvl : 207 bt207-132:0(405)X605343
207.45/207.58	conflict 75lvl : 201 bt201-151:0(395)X605402
207.45/207.58	conflict 93lvl : 200 bt200151:0(345)X605480
207.55/207.68	conflict 56lvl : 182 bt182-154:0(369)X605576
207.55/207.69	conflict 135lvl : 182 bt18273:0(392)X605635
208.05/208.16	conflict 39lvl : 180 bt180-340:0(251)X605773
208.05/208.16	conflict 57lvl : 179 bt1797:0(244)X605815
208.05/208.19	conflict 39lvl : 172 bt172-350:0(210)X605875
208.15/208.22	 -> -350:X(210)conflict 39lvl : 163 bt163-91:0(361)X605917
208.15/208.23	conflict 121lvl : 163 bt163-340:0(371)X605959
208.15/208.23	conflict 39lvl : 163 bt163-18:0(409)X606083
208.15/208.24	conflict 72lvl : 163 bt163-81:0(313)X606125
208.35/208.46	conflict 71lvl : 186 bt186-19:0(413)X606200
208.45/208.58	conflict 73lvl : 175 bt175-40:0(393)X606274
208.85/208.96	conflict 73lvl : 186 bt186-439:0(410)X606350
209.15/209.23	conflict 39lvl : 175 bt175-173:0(419)X606426
209.15/209.24	conflict 70lvl : 174 bt174-166:0(369)X606468
210.05/210.14	conflict 73lvl : 174 bt174-139:0(328)X606541
210.25/210.37	conflict 39lvl : 175 bt175-133:0(366)X606617
210.25/210.38	conflict 39lvl : 175 bt175-133:0(235)X606659
210.55/210.64	conflict 39lvl : 174 bt174-142:0(374)X606701
210.55/210.65	conflict 57lvl : 174 bt174-173:0(396)X606743
210.55/210.66	conflict 39lvl : 173 bt173-178:0(437)X606803
210.55/210.67	conflict 39lvl : 173 bt173-18:0(401)X606845
210.95/211.01	conflict 39lvl : 175 bt175-154:0(366)X606887
210.95/211.01	conflict 55lvl : 175 bt175-17:0(235)X606929
211.25/211.38	conflict 74lvl : 175 bt175-28:0(377)X606987
211.65/211.78	conflict 110lvl : 175 bt17527:0(363)X607064
211.75/211.81	conflict 39lvl : 174 bt174-6:0(310)X607177
212.15/212.24	conflict 73lvl : 174 bt174-10:0(309)X607219
212.15/212.25	conflict 54lvl : 173 bt173-173:0(390)X607295
212.25/212.39	conflict 119lvl : 180 bt18022:0(406)X607352
212.45/212.53	conflict 119lvl : 180 bt18043:0(402)X607474
212.55/212.65	conflict 109lvl : 175 bt17527:0(383)X607596
212.65/212.79	conflict 89lvl : 179 bt179-133:0(324)X607708
212.95/213.05	conflict 108lvl : 175 bt17560:0(393)X607800
213.35/213.47	conflict 56lvl : 174 bt174-45:0(452)X607911
213.35/213.48	conflict 39lvl : 174 bt174-183:0(435)X607970
213.55/213.62	conflict 92lvl : 179 bt179276:0(344)X608012
214.25/214.35	conflict 73lvl : 179 bt179-276:0(308)X608107
214.35/214.49	conflict 90lvl : 180 bt180-439:0(405)X608183
214.55/214.65	conflict 91lvl : 174 bt174-10:0(308)X608276
214.55/214.65	conflict 72lvl : 173 bt173-157:0(302)X608370
214.55/214.66	conflict 130lvl : 173 bt17373:0(391)X608445
214.75/214.80	conflict 119lvl : 179 bt17943:0(416)X608578
216.25/216.39	conflict 56lvl : 174 bt174-146:0(389)X608700
216.35/216.40	conflict 55lvl : 173 bt173-154:0(281)X608759
216.35/216.40	conflict 53lvl : 173 bt173-177:0(287)X608817
216.55/216.69	conflict 55lvl : 174 bt174-167:0(359)X608873
216.65/216.70	conflict 53lvl : 173 bt173-171:0(254)X608931
216.75/216.86	conflict 118lvl : 179 bt17922:0(402)X608987
216.85/217.00	conflict 118lvl : 180 bt18043:0(398)X609108
217.05/217.13	conflict 53lvl : 173 bt173-173:0(390)X609229
217.45/217.57	conflict 129lvl : 173 bt17373:0(394)X609285
218.35/218.43	conflict 74lvl : 174 bt174-151:0(302)X609417
218.35/218.43	conflict 91lvl : 173 bt173151:0(298)X609494
251.95/252.00	
251.95/252.00	c *** INTERRUPTED ***
251.95/252.00	c restarts              : 569         
251.95/252.00	c conflicts             : 782937       (3108 /sec)
251.95/252.00	c decisions             : 4943107      (19620 /sec)
251.95/252.00	c propagations          : 179286742   (711627 /sec)
251.95/252.00	c root propagations     : 5052        
251.95/252.00	c filter calls          : 105260296      (417800 /sec)
251.95/252.00	c useless filter calls  : 76768172       (72 %)
251.95/252.00	c
251.95/252.00	c clauses               : 20782
251.95/252.00	c SAT propagations      : 32315
251.95/252.00	c SAT conflicts         : 203 (901 learnts)
251.95/252.00	c Memory used           : 34.71 MB
251.95/252.00	c CPU time              : 251.939 s
251.95/252.00	
251.95/252.00	c nb Solutions = 12
251.95/252.00	s SATISFIABLE
251.95/252.00	c Best value found: -1485
251.95/252.00	
251.95/252.00	
251.95/252.00	v <instantiation type='solution' cost='-1485'>
251.95/252.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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][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][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
251.95/252.00	v <values>* 0 0 1 5 2 5 5 10 0 0 0 0 0 5 1 2 0 0 2 10 * * 10 0 3 0 3 1 0 2 5 * 0 * * * * * * * * * * * 1 0 2 5 0 2 5 2 * 5 * * * * * * * * * * * * 2 0 0 5 2 0 2 * 2 * * * * * * * * * * * * * 2 0 2 2 0 5 * 1 * * * * * * * * * * * * * * 2 0 5 5 1 * 2 * * * * * * * * * * * * * * * 0 2 5 6 * 2 * * * * * * * * * * * * * * * * 10 2 2 * 0 * * * * * * * * * * * * * * * * * 0 5 * 4 * * * * * * * * * * * * * * * * * * 2 * 0 * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * 0 4 3 1 4 0 4 5 0 3 * 1 2 5 4 2 5 0 0 10 * * * * * * * * * * * * * * * * * * * * * * 5 0 4 0 0 1 6 0 0 2 * 0 * 3 5 5 2 6 2 5 * 5 3 10 0 1 5 6 1 5 0 * 5 * * 1 2 0 2 0 5 * 3 5 5 4 0 2 0 0 0 6 * 4 * * * 2 3 4 4 5 * 0 6 0 10 1 0 0 0 0 1 * 0 * * * * 1 1 0 1 * 1 2 2 5 2 0 2 0 1 1 * 6 * * * * * 0 0 0 * 0 0 2 0 0 3 5 4 0 2 * 1 * * * * * * 10 0 * 0 0 0 0 0 0 0 5 2 1 * 0 * * * * * * * 2 * 10 10 10 0 0 10 6 1 2 1 * 10 * * * * * * * * 11 18 7 8 13 14 0 12 5 16 17 15 10 20 9 2 19 3 1 4 6 </values>
251.95/252.00	v </instantiation>
251.95/252.00

Verifier Data 

OK	1485

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 (15467 MiB free)
  memory of node 1: 16384 MiB (15632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266786-1502645300/watcher-4266786-1502645300 -o /tmp/evaluation-result-4266786-1502645300/solver-4266786-1502645300 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20629 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266786-1502645300.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=21956, runsolver pid=21953

[startup+0.100153 s]*
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31842284/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=34892 memory=7024 CPUtime=0.04 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 1961 0 0 0 4 0 0 0 20 0 1 0 112036404 35729408 1756 18446744073709551615 4194304 5972588 140723569601392 140723569596600 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8723 1756 784 435 0 2086 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 7024 KiB

[startup+0.209543 s]*
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31841912/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35152 memory=7416 CPUtime=0.15 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 2016 0 0 0 15 0 0 0 20 0 1 0 112036404 35995648 1854 18446744073709551615 4194304 5972588 140723569601392 140723569596600 140468797789164 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8788 1854 786 435 0 2151 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 7416 KiB

[startup+0.309088 s]*
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31841912/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35152 memory=7416 CPUtime=0.25 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 2024 0 0 0 25 0 0 0 20 0 1 0 112036404 35995648 1854 18446744073709551615 4194304 5972588 140723569601392 140723569596600 4935692 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8788 1854 786 435 0 2151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 7416 KiB

[startup+0.700269 s]
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31841912/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35152 memory=7416 CPUtime=0.63 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 2055 0 0 0 63 0 0 0 20 0 1 0 112036404 35995648 1854 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4935534 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8788 1854 786 435 0 2151 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 7416 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31841440/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35152 memory=7676 CPUtime=1.43 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 2108 0 0 0 143 0 0 0 20 0 1 0 112036404 35995648 1919 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4935490 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8788 1919 791 435 0 2151 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 7676 KiB

[startup+3.10921 s]
/proc/loadavg: 2.00 2.08 2.44 3/186 21957
/proc/meminfo: memFree=31836744/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35152 memory=10068 CPUtime=3.04 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 3193 0 0 0 304 0 0 0 20 0 1 0 112036404 35995648 2517 18446744073709551615 4194304 5972588 140723569601392 140723569598616 5046712 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8788 2517 791 435 0 2151 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 35152 KiB
Current children cumulated memory: 10068 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.08 2.44 3/186 21958
/proc/meminfo: memFree=31836784/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35276 memory=10184 CPUtime=6.23 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 4226 0 0 0 623 0 0 0 20 0 1 0 112036404 36122624 2546 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4935525 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8819 2546 791 435 0 2182 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 10184 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.07 2.44 3/186 21958
/proc/meminfo: memFree=31836288/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35276 memory=10200 CPUtime=12.63 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 5269 0 0 0 1263 0 0 0 20 0 1 0 112036404 36122624 2550 18446744073709551615 4194304 5972588 140723569601392 140723569598616 5328030 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8819 2550 792 435 0 2182 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 10200 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.07 2.43 3/186 21958
/proc/meminfo: memFree=31835164/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35276 memory=10276 CPUtime=25.43 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 7339 0 0 0 2543 0 0 0 20 0 1 0 112036404 36122624 2569 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4935506 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8819 2569 792 435 0 2182 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 10276 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.07 2.42 3/186 21958
/proc/meminfo: memFree=31834668/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35276 memory=10308 CPUtime=51.05 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 8390 0 0 0 5104 1 0 0 20 0 1 0 112036404 36122624 2577 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4931680 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8819 2577 792 435 0 2182 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 35276 KiB
Current children cumulated memory: 10308 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.09 2.41 3/185 21960
/proc/meminfo: memFree=31833896/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35408 memory=10376 CPUtime=102.23 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 9539 0 0 0 10222 1 0 0 20 0 1 0 112036404 36257792 2594 18446744073709551615 4194304 5972588 140723569601392 140723569598616 5094141 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8852 2594 792 435 0 2215 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 35408 KiB
Current children cumulated memory: 10376 KiB

[startup+162.3 s]
/proc/loadavg: 2.33 2.17 2.42 3/185 21962
/proc/meminfo: memFree=31833632/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35540 memory=10436 CPUtime=162.24 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 10623 0 0 0 16223 1 0 0 20 0 1 0 112036404 36392960 2609 18446744073709551615 4194304 5972588 140723569601392 140723569598616 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8885 2609 792 435 0 2248 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 35540 KiB
Current children cumulated memory: 10436 KiB

[startup+222.3 s]
/proc/loadavg: 2.12 2.14 2.39 3/185 21964
/proc/meminfo: memFree=31833508/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35540 memory=10480 CPUtime=222.25 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 11801 0 0 0 22223 2 0 0 20 0 1 0 112036404 36392960 2620 18446744073709551615 4194304 5972588 140723569601392 140723569598616 5139319 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8885 2620 792 435 0 2248 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 35540 KiB
Current children cumulated memory: 10480 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.07 2.13 2.38 3/184 22030
/proc/meminfo: memFree=31802012/32770624 swapFree=67108764/67108860
[pid=21956] ppid=21953 vsize=35540 memory=10496 CPUtime=251.95 cores=1,3,5,7
/proc/21956/stat : 21956 (cosoco) R 21953 21956 4674 0 -1 4202496 12840 0 0 0 25193 2 0 0 20 0 1 0 112036404 36392960 2624 18446744073709551615 4194304 5972588 140723569601392 140723569598616 5139507 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 27385856 140723569607113 140723569607213 140723569607213 140723569610702 0
/proc/21956/statm: 8885 2624 792 435 0 2248 0
Current children cumulated CPU time: 251.95 s
Current children cumulated vsize: 35540 KiB
Current children cumulated memory: 10496 KiB

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

[startup+252.01 s]
# the end of solver process 21956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.939 s, system=0.021 s

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

Child status: 1
Real time (s): 252.01
CPU time (s): 251.96
CPU user time (s): 251.939
CPU system time (s): 0.021
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 35540
Max. memory (cumulated for all children) (KiB): 10496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.939
system time used= 0.021
maximum resident set size= 10572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 311


# summary of solver processes directly reported to runsolver:
#   pid: 21956
#   total CPU time (s): 251.96
#   total CPU user time (s): 251.939
#   total CPU system time (s): 0.021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.81653 second user time and 1.75303 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-13 19:14:25
IDJOB=4266786
IDBENCH=123063
IDSOLVER=2656
FILE ID=node134/4266786-1502645300
RUNJOBID= node134-1502642157-20629
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug21.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266786-1502645300/watcher-4266786-1502645300 -o /tmp/evaluation-result-4266786-1502645300/solver-4266786-1502645300 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20629 --watchdog 312  cosoco -lc -model -restarts -sat HOME/instance-4266786-1502645300.xml

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

MD5SUM BENCH= e5033dc7ed55784590c83dd9aaaff95e
RANDOM SEED=636772167

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:        31845080 kB
MemAvailable:   31965152 kB
Buffers:          216328 kB
Cached:           206592 kB
SwapCached:            4 kB
Active:           371260 kB
Inactive:         122836 kB
Active(anon):      14880 kB
Inactive(anon):    97600 kB
Active(file):     356380 kB
Inactive(file):    25236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              2536 kB
Writeback:             0 kB
AnonPages:         74856 kB
Mapped:            58108 kB
Shmem:             41564 kB
Slab:             135756 kB
SReclaimable:     108584 kB
SUnreclaim:        27172 kB
KernelStack:        3424 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357236 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-13 19:18:38