Trace number 4265795

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)1463 2519.8401 2520.01

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug20.xml
MD5SUM1ce5b24a466c3cb241db2c2b366e9012
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1287
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints191
Number of domains2
Minimum domain size8
Maximum domain size20
Distribution of domain sizes[{"size":8,"count":190},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":190},{"arity":20,"count":1}]
Number of extensional constraints190
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":190},{"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.06	c SAT : Variables: 3600 -- Clauses: 15420
0.00/0.06	c best=?? lower=-5700 upper=0 
0.00/0.08	c
0.00/0.08	c This is cosoco 1.12 --  
0.00/0.08	c
0.00/0.08	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265795-1502571086.xml 
0.00/0.08	c enable optimization
0.00/0.08	c ========================================[ Problem Statistics ]===========================================
0.00/0.08	c |                                                                                                       
0.00/0.08	c |  Parse time        :         0.01 s 
0.00/0.08	c |
0.00/0.08	c |               Variables: 420
0.00/0.08	c |            Domain Sizes: 8..20
0.00/0.08	c |
0.00/0.08	c |             Constraints: 192
0.00/0.08	c |                   Arity: 3..190  -- Ternary: 190
0.00/0.08	c | 
0.00/0.08	c |                   Types: 
0.00/0.08	c |                          All Different: 1
0.00/0.08	c |                          Extension: 190  (nb tuples: 380..380) -- (shared: 189)
0.00/0.08	c |                          Sum: 1
0.00/0.08	c |                          
0.00/0.08	c =========================================================================================================
0.00/0.08	o -1636
0.00/0.08	c    1 calls to solver: best=-1636 lower=-1635 upper=0 
0.05/0.10	o -1564
0.15/0.24	conflict 37lvl : 30 bt30-318:0(584)X78246
0.15/0.24	conflict 53lvl : 45 bt45-219:0(755)X78286
0.35/0.45	conflict 37lvl : 25 bt25-119:0(512)X94237
0.35/0.45	conflict 37lvl : 31 bt31-239:0(584)X94277
0.35/0.49	conflict 37lvl : 25 bt25-378:0(511)X95764
0.35/0.49	conflict 37lvl : 31 bt31-398:0(583)X95804
0.45/0.53	o -1541
0.45/0.53	c    3 calls to solver: best=-1541 lower=-1540 upper=0 
0.74/0.86	conflict 37lvl : 37 bt37-59:0(658)X116427
0.84/0.99	conflict 37lvl : 25 bt25-138:0(511)X123071
0.84/0.99	conflict 37lvl : 31 bt31-118:0(583)X123111
0.94/1.03	conflict 37lvl : 30 bt30-258:0(582)X125343
0.94/1.07	conflict 37lvl : 30 bt30-212:0(582)X128168
0.94/1.07	conflict 37lvl : 37 bt37-79:0(654)X128208
0.94/1.10	conflict 54lvl : 26 bt26-298:0(514)X130529
0.94/1.10	conflict 53lvl : 32 bt32-258:0(580)X130586
1.04/1.19	conflict 37lvl : 30 bt30-192:0(585)X136095
1.14/1.22	conflict 37lvl : 25 bt25-138:0(508)X137186
1.14/1.22	conflict 37lvl : 31 bt31-118:0(580)X137226
1.74/1.83	conflict 37lvl : 30 bt30-254:0(565)X173871
1.74/1.83	conflict 37lvl : 37 bt37-134:0(639)X173911
1.74/1.88	conflict 37lvl : 37 bt37-158:0(654)X176993
1.84/1.92	conflict 37lvl : 85 bt85-238:0(999)X179994
1.84/1.92	conflict 37lvl : 85 bt84-295:0(1004)X180034
1.94/2.10	conflict 37lvl : 30 bt30-358:0(564)X191260
2.04/2.10	conflict 37lvl : 37 bt37-58:0(638)X191300
2.04/2.15	conflict 37lvl : 30 bt30-218:0(564)X194259
2.04/2.15	conflict 37lvl : 37 bt37-178:0(638)X194299
2.14/2.20	conflict 37lvl : 26 bt26-338:0(514)X198069
2.14/2.20	conflict 54lvl : 32 bt32-58:0(583)X198109
2.14/2.23	o -1536
2.24/2.35	conflict 53lvl : 25 bt25-319:0(516)X205473
2.24/2.35	conflict 53lvl : 31 bt31-259:0(588)X205529
2.34/2.40	conflict 53lvl : 25 bt25-39:0(512)X209211
2.34/2.40	conflict 37lvl : 31 bt31-194:0(582)X209267
2.34/2.49	conflict 37lvl : 96 bt96-168:0(1093)X214751
2.34/2.49	conflict 37lvl : 96 bt96-168:0(1093)X214791
2.44/2.50	conflict 37lvl : 30 bt30-338:0(584)X215350
2.44/2.53	o -1522
2.44/2.53	c    5 calls to solver: best=-1522 lower=-1521 upper=0 
2.64/2.72	o -1518
2.64/2.75	conflict 53lvl : 30 bt30-338:0(584)X229631
2.64/2.75	conflict 37lvl : 45 bt45-359:0(758)X229687
2.74/2.86	conflict 53lvl : 25 bt25-99:0(514)X234443
2.74/2.86	conflict 53lvl : 31 bt31-139:0(586)X234499
2.84/2.91	conflict 37lvl : 25 bt25-179:0(511)X236243
2.84/2.91	conflict 37lvl : 31 bt31-279:0(583)X236283
2.84/3.00	conflict 37lvl : 47 bt46-32:0(726)X241166
2.84/3.00	conflict 37lvl : 47 bt47-149:0(729)X241206
2.84/3.00	conflict 37lvl : 47 bt46-149:0(733)X241246
2.94/3.04	conflict 37lvl : 25 bt25-272:0(515)X244156
2.94/3.04	conflict 37lvl : 31 bt31-174:0(582)X244196
2.94/3.08	conflict 37lvl : 25 bt25-192:0(508)X247502
2.94/3.08	conflict 37lvl : 31 bt31-12:0(580)X247542
3.05/3.17	o -1507
3.05/3.17	c    7 calls to solver: best=-1507 lower=-1506 upper=0 
3.05/3.19	conflict 54lvl : 30 bt3014:0(563)X253718
3.05/3.19	conflict 37lvl : 37 bt37-134:0(637)X253775
3.14/3.25	conflict 37lvl : 30 bt30-34:0(584)X257352
3.14/3.25	conflict 37lvl : 45 bt45-79:0(755)X257392
3.24/3.32	conflict 53lvl : 31 bt31-278:0(590)X261636
3.44/3.50	conflict 37lvl : 37 bt37-32:0(656)X274407
3.44/3.52	o -1500
3.44/3.56	conflict 37lvl : 30 bt30-398:0(584)X278861
3.44/3.56	conflict 52lvl : 45 bt45-319:0(755)X278901
3.44/3.59	conflict 53lvl : 30 bt30-339:0(585)X280183
3.64/3.77	conflict 37lvl : 25 bt25-154:0(510)X291392
3.64/3.77	conflict 53lvl : 31 bt31-318:0(581)X291432
3.74/3.81	conflict 71lvl : 30 bt3099:0(579)X293770
3.74/3.83	conflict 37lvl : 96 bt96-268:0(1093)X294672
3.74/3.83	conflict 37lvl : 96 bt96-268:0(1093)X294712
3.74/3.88	conflict 54lvl : 31 bt31334:0(583)X296122
3.84/3.90	conflict 37lvl : 27 bt27-358:0(608)X297019
3.84/3.91	conflict 53lvl : 38 bt38-354:0(667)X297059
4.04/4.16	conflict 37lvl : 37 bt37-138:0(659)X310500
4.14/4.28	conflict 54lvl : 31 bt31-74:0(588)X317431
4.14/4.28	conflict 53lvl : 38 bt38-238:0(671)X317488
4.44/4.54	conflict 37lvl : 96 bt96-388:0(1093)X329241
4.44/4.54	conflict 37lvl : 96 bt96-388:0(1093)X329281
4.74/4.88	conflict 53lvl : 25 bt25-59:0(511)X347609
4.74/4.88	conflict 53lvl : 31 bt31-299:0(583)X347665
4.84/4.98	conflict 53lvl : 25 bt25-159:0(511)X352729
4.84/4.98	conflict 37lvl : 31 bt31-12:0(583)X352785
4.84/4.99	conflict 37lvl : 47 bt46-72:0(725)X354918
4.84/4.99	conflict 37lvl : 47 bt47-69:0(726)X354958
4.84/4.99	conflict 37lvl : 47 bt46-69:0(730)X354998
4.94/5.06	conflict 90lvl : 46 bt46325:0(720)X359406
4.94/5.06	conflict 54lvl : 46 bt46340:0(721)X359499
5.04/5.12	conflict 53lvl : 25 bt25-278:0(512)X362050
5.04/5.12	conflict 53lvl : 31 bt31-98:0(584)X362106
5.04/5.14	conflict 37lvl : 45 bt45-114:0(712)X364103
5.04/5.14	conflict 37lvl : 54 bt54-338:0(792)X364143
5.14/5.21	conflict 53lvl : 30 bt30-199:0(584)X368354
5.14/5.23	conflict 37lvl : 46 bt46-158:0(787)X370268
5.14/5.23	conflict 54lvl : 45 bt45-159:0(714)X370308
5.14/5.23	conflict 37lvl : 45 bt45-154:0(711)X370365
5.14/5.27	o -1490
5.14/5.27	c    9 calls to solver: best=-1490 lower=-1489 upper=0 
5.24/5.30	conflict 72lvl : 30 bt30192:0(582)X375537
5.24/5.32	o -1487
5.54/5.67	conflict 53lvl : 37 bt37-19:0(652)X392058
5.54/5.67	conflict 37lvl : 45 bt45-272:0(740)X392114
5.64/5.76	conflict 53lvl : 30 bt30-19:0(584)X398442
5.74/5.82	conflict 37lvl : 45 bt45-12:0(713)X401862
5.84/5.97	o -1478
5.84/5.97	c   11 calls to solver: best=-1478 lower=-1477 upper=0 
6.14/6.28	conflict 37lvl : 25 bt25-14:0(509)X414103
6.14/6.28	conflict 53lvl : 31 bt31-274:0(579)X414143
6.54/6.63	conflict 37lvl : 190 bt190-68:0(283)X414506
6.54/6.64	conflict 37lvl : 184 bt184-8:0(256)X414546
6.54/6.65	conflict 37lvl : 182 bt182-25:0(393)X414586
6.54/6.65	conflict 53lvl : 182 bt182-275:0(302)X414626
6.54/6.67	conflict 37lvl : 190 bt190-75:0(255)X414682
6.54/6.68	conflict 36lvl : 184 bt184-268:0(280)X414722
7.64/7.73	conflict 37lvl : 22 bt22-168:0(381)X420447
7.64/7.73	conflict 37lvl : 22 bt21-168:0(386)X420487
7.64/7.73	conflict 52lvl : 21 bt20-136:0(372)X420527
8.04/8.13	conflict 53lvl : 92 bt91-97:0(200)X421109
8.54/8.66	conflict 37lvl : 30 bt30-134:0(586)X425204
11.54/11.63	conflict 37lvl : 179 bt179-71:0(290)X432373
11.54/11.63	conflict 37lvl : 178 bt178-5:0(363)X432413
11.54/11.63	conflict 37lvl : 178 bt178-5:0(423)X432453
11.54/11.64	conflict 37lvl : 178 bt178-148:0(347)X432493
11.74/11.80	conflict 37lvl : 179 bt179-75:0(313)X432533
11.74/11.83	conflict 37lvl : 178 bt178-262:0(285)X432573
11.74/11.83	conflict 37lvl : 178 bt178-264:0(329)X432613
11.74/11.83	conflict 54lvl : 177 bt17751:0(353)X432653
11.74/11.83	conflict 37lvl : 177 bt177-25:0(414)X432710
11.74/11.84	conflict 37lvl : 177 bt177-188:0(343)X432750
11.84/11.98	o -1476
11.94/12.07	conflict 54lvl : 179 bt179365:0(370)X434829
12.04/12.18	conflict 37lvl : 178 bt178-322:0(282)X434886
12.14/12.27	conflict 37lvl : 178 bt178-45:0(336)X434926
12.24/12.33	o -1470
12.24/12.33	c   13 calls to solver: best=-1470 lower=-1469 upper=0 
12.24/12.34	conflict 37lvl : 190 bt190-15:0(249)X436057
12.24/12.37	conflict 37lvl : 179 bt179-8:0(275)X436097
12.34/12.40	conflict 36lvl : 179 bt179-208:0(277)X436137
12.34/12.41	conflict 53lvl : 178 bt178-5:0(280)X436176
12.34/12.41	conflict 54lvl : 190 bt19024:0(271)X436232
12.44/12.57	conflict 37lvl : 179 bt179-262:0(285)X436289
12.44/12.57	conflict 54lvl : 179 bt179-18:0(334)X436329
12.84/12.92	o -1466
12.84/12.94	conflict 71lvl : 179 bt17928:0(251)X438387
12.84/12.96	conflict 54lvl : 172 bt17271:0(381)X438461
12.84/12.97	conflict 37lvl : 172 bt172-208:0(287)X438518
13.04/13.16	conflict 52lvl : 171 bt170-17:0(275)X438558
13.04/13.17	conflict 37lvl : 169 bt169-208:0(236)X438613
13.04/13.17	conflict 51lvl : 169 bt169-355:0(285)X438653
13.04/13.17	conflict 52lvl : 169 bt169-359:0(239)X438707
13.04/13.17	conflict 53lvl : 169 bt169-208:0(293)X438762
13.04/13.18	conflict 53lvl : 168 bt168-199:0(236)X438818
13.04/13.19	conflict 37lvl : 168 bt168-348:0(288)X438874
13.04/13.19	conflict 65lvl : 167 bt167-16:0(231)X438914
13.04/13.19	conflict 65lvl : 167 bt166-17:0(263)X438982
13.14/13.22	conflict 37lvl : 165 bt165-175:0(264)X439050
13.14/13.22	conflict 54lvl : 166 bt16646:0(431)X439090
13.14/13.22	conflict 54lvl : 165 bt165-18:0(316)X439147
13.14/13.23	conflict 37lvl : 164 bt164-95:0(343)X439204
13.14/13.27	conflict 53lvl : 161 bt161-262:0(267)X439244
13.24/13.30	conflict 37lvl : 161 bt161-175:0(260)X439300
13.24/13.30	conflict 37lvl : 160 bt160-8:0(227)X439340
13.24/13.31	conflict 37lvl : 159 bt159-25:0(420)X439380
13.24/13.32	conflict 37lvl : 159 bt159-208:0(337)X439420
13.24/13.32	conflict 37lvl : 159 bt159-24:0(349)X439460
13.24/13.33	conflict 37lvl : 158 bt158-348:0(334)X439500
13.24/13.34	conflict 54lvl : 158 bt15868:0(346)X439540
13.34/13.40	conflict 54lvl : 153 bt15367:0(392)X439597
13.34/13.40	conflict 37lvl : 153 bt153-88:0(334)X439654
13.34/13.41	conflict 37lvl : 153 bt153-208:0(334)X439694
13.34/13.43	conflict 70lvl : 152 bt152-184:0(261)X439734
13.34/13.43	conflict 37lvl : 152 bt152-185:0(245)X439807
13.34/13.44	conflict 37lvl : 152 bt152-85:0(326)X439847
13.34/13.46	conflict 37lvl : 151 bt151-75:0(253)X439887
13.34/13.47	conflict 87lvl : 152 bt15285:0(415)X439927
13.34/13.48	conflict 68lvl : 150 bt150-5:0(335)X440017
13.44/13.58	conflict 37lvl : 146 bt146-52:0(392)X440088
13.44/13.58	conflict 37lvl : 146 bt146-59:0(359)X440128
13.54/13.60	conflict 37lvl : 146 bt146-205:0(317)X440168
13.54/13.61	conflict 54lvl : 146 bt146348:0(318)X440208
13.54/13.61	conflict 69lvl : 145 bt145-164:0(253)X440265
13.54/13.62	conflict 37lvl : 145 bt145-165:0(232)X440337
13.54/13.62	conflict 70lvl : 145 bt145-9:0(271)X440377
13.54/13.68	conflict 37lvl : 143 bt143-305:0(307)X440450
13.64/13.70	conflict 37lvl : 142 bt142-175:0(324)X440490
13.64/13.71	conflict 54lvl : 142 bt142368:0(304)X440530
13.64/13.74	conflict 37lvl : 141 bt141-105:0(320)X440587
13.64/13.77	conflict 72lvl : 140 bt14087:0(389)X440627
13.64/13.77	conflict 37lvl : 140 bt140-39:0(357)X440702
13.64/13.77	conflict 37lvl : 140 bt140-26:0(404)X440742
13.74/13.85	conflict 37lvl : 138 bt138-190:0(312)X440782
13.74/13.85	conflict 37lvl : 137 bt137-45:0(295)X440822
13.74/13.85	conflict 52lvl : 137 bt137-72:0(346)X440862
13.74/13.85	conflict 37lvl : 137 bt137-57:0(394)X440917
13.74/13.85	conflict 54lvl : 137 bt137107:0(334)X440957
13.74/13.86	conflict 37lvl : 137 bt137-54:0(359)X441014
13.74/13.86	conflict 37lvl : 137 bt137-44:0(307)X441054
13.74/13.87	conflict 54lvl : 136 bt136112:0(290)X441094
13.74/13.89	conflict 54lvl : 136 bt136108:0(298)X441151
13.84/13.93	conflict 37lvl : 134 bt134-87:0(377)X441208
13.84/13.94	conflict 54lvl : 134 bt134127:0(334)X441248
13.84/13.94	conflict 54lvl : 134 bt134128:0(385)X441305
13.84/13.94	conflict 37lvl : 134 bt134-118:0(319)X441362
13.84/13.98	conflict 71lvl : 134 bt134105:0(353)X441402
13.84/13.99	conflict 53lvl : 133 bt133-162:0(238)X441476
13.94/14.03	conflict 37lvl : 133 bt133-112:0(341)X441532
14.04/14.12	conflict 71lvl : 133 bt133255:0(275)X441572
14.04/14.13	conflict 53lvl : 133 bt133-165:0(252)X441646
14.04/14.13	conflict 54lvl : 132 bt132-8:0(367)X441702
14.04/14.13	conflict 68lvl : 132 bt131-257:0(234)X441759
14.04/14.13	conflict 53lvl : 131 bt131-8:0(348)X441830
14.04/14.14	conflict 53lvl : 130 bt130-242:0(267)X441886
14.04/14.14	conflict 37lvl : 129 bt129-162:0(264)X441942
14.04/14.15	conflict 54lvl : 128 bt128204:0(261)X441982
14.04/14.15	conflict 70lvl : 127 bt127205:0(258)X442039
14.04/14.16	conflict 69lvl : 126 bt126202:0(246)X442112
14.14/14.27	conflict 37lvl : 123 bt123-95:0(271)X442184
14.24/14.31	conflict 37lvl : 122 bt122-165:0(297)X442224
14.24/14.32	conflict 69lvl : 122 bt122128:0(306)X442264
14.24/14.33	conflict 37lvl : 121 bt121-72:0(298)X442336
14.24/14.33	conflict 54lvl : 121 bt121143:0(351)X442376
14.24/14.33	conflict 54lvl : 121 bt121145:0(314)X442433
14.24/14.37	conflict 69lvl : 120 bt120-264:0(228)X442490
14.24/14.38	conflict 37lvl : 120 bt120-265:0(201)X442562
21.33/21.45	conflict 52lvl : 22 bt22-107:0(384)X448892
21.33/21.45	conflict 52lvl : 22 bt21-107:0(388)X448947
21.33/21.45	conflict 100lvl : 21 bt20-236:0(372)X449002
22.63/22.75	conflict 37lvl : 151 bt151-152:0(259)X449499
22.73/22.82	conflict 37lvl : 133 bt133-11:0(348)X449539
22.73/22.82	conflict 37lvl : 133 bt133-108:0(243)X449579
22.73/22.83	conflict 37lvl : 132 bt132-32:0(241)X449619
22.73/22.83	conflict 54lvl : 132 bt13272:0(335)X449659
22.73/22.83	conflict 52lvl : 132 bt131-157:0(234)X449716
22.73/22.84	conflict 37lvl : 130 bt130-142:0(268)X449771
22.73/22.84	conflict 54lvl : 129 bt129104:0(263)X449811
22.73/22.85	conflict 53lvl : 128 bt128-142:0(266)X449868
22.73/22.85	conflict 88lvl : 127 bt12728:0(262)X449924
23.04/23.19	conflict 87lvl : 120 bt12028:0(250)X450015
23.94/24.01	conflict 104lvl : 116 bt11628:0(246)X450105
23.94/24.02	conflict 103lvl : 114 bt11428:0(242)X450212
23.94/24.07	conflict 53lvl : 105 bt105-228:0(174)X450318
28.73/28.85	conflict 54lvl : 21 bt21225:0(372)X454581
28.73/28.85	conflict 52lvl : 21 bt20-236:0(372)X454638
30.53/30.60	conflict 37lvl : 190 bt190-335:0(255)X455063
30.53/30.61	conflict 37lvl : 187 bt187-328:0(289)X455103
30.53/30.68	conflict 54lvl : 190 bt1904:0(271)X455143
30.73/30.85	conflict 53lvl : 161 bt161-115:0(269)X455200
31.23/31.31	conflict 53lvl : 162 bt162-325:0(259)X455256
31.63/31.79	conflict 71lvl : 161 bt161322:0(293)X455312
31.63/31.79	conflict 37lvl : 190 bt190-331:0(278)X455386
31.83/31.92	conflict 71lvl : 162 bt1628:0(234)X455426
31.94/32.03	conflict 69lvl : 162 bt161-337:0(266)X455500
31.94/32.03	conflict 52lvl : 160 bt160-115:0(295)X455572
31.94/32.04	conflict 102lvl : 159 bt159-331:0(285)X455627
31.94/32.04	conflict 69lvl : 159 bt159-16:0(386)X455732
31.94/32.04	conflict 69lvl : 158 bt158-231:0(281)X455804
31.94/32.04	conflict 86lvl : 158 bt15848:0(381)X455876
31.94/32.04	conflict 85lvl : 157 bt157-331:0(279)X455965
31.94/32.09	conflict 52lvl : 148 bt148-111:0(266)X456053
39.73/39.82	conflict 52lvl : 22 bt21-235:0(384)X460602
39.73/39.82	conflict 84lvl : 21 bt20-256:0(372)X460657
50.73/50.86	conflict 52lvl : 22 bt21-216:0(379)X464417
50.73/50.87	conflict 37lvl : 38 bt22-204:0(501)X464472
53.83/54.00	conflict 37lvl : 179 bt179-215:0(284)X464834
53.94/54.01	conflict 37lvl : 187 bt187-5:0(306)X464874
53.94/54.02	conflict 71lvl : 186 bt18628:0(303)X464914
53.94/54.03	conflict 104lvl : 178 bt17848:0(395)X464988
53.94/54.04	conflict 37lvl : 178 bt178-68:0(281)X465095
54.04/54.17	conflict 37lvl : 189 bt189-128:0(320)X465135
54.04/54.19	conflict 37lvl : 179 bt179-228:0(253)X465175
54.13/54.21	conflict 53lvl : 175 bt175-8:0(414)X465215
54.13/54.21	conflict 37lvl : 175 bt175-208:0(291)X465271
54.13/54.21	conflict 37lvl : 190 bt190-28:0(294)X465311
54.13/54.21	conflict 87lvl : 189 bt18928:0(285)X465351
54.13/54.22	conflict 37lvl : 188 bt188-28:0(283)X465441
54.13/54.24	conflict 37lvl : 190 bt190-35:0(257)X465481
54.73/54.82	conflict 37lvl : 152 bt152-8:0(266)X465521
54.73/54.82	conflict 37lvl : 151 bt151-68:0(261)X465561
54.73/54.82	conflict 52lvl : 151 bt150-77:0(253)X465601
54.73/54.83	conflict 106lvl : 149 bt14984:0(281)X465656
54.73/54.83	conflict 105lvl : 148 bt14885:0(276)X465765
54.73/54.84	conflict 37lvl : 148 bt148-8:0(215)X465873
54.83/54.94	conflict 53lvl : 180 bt180-26:0(334)X465913
55.23/55.32	conflict 54lvl : 189 bt189-225:0(333)X465969
55.23/55.34	conflict 52lvl : 179 bt179-26:0(399)X466026
55.23/55.34	conflict 101lvl : 179 bt179-17:0(281)X466081
55.33/55.40	conflict 37lvl : 181 bt181-20:0(332)X466185
55.33/55.41	conflict 55lvl : 190 bt19024:0(364)X466225
55.33/55.49	conflict 37lvl : 181 bt181-82:0(295)X466283
55.43/55.58	conflict 37lvl : 190 bt190-11:0(304)X466323
55.43/55.58	conflict 53lvl : 189 bt189-11:0(301)X466363
55.53/55.69	conflict 37lvl : 179 bt179-130:0(312)X466419
55.63/55.70	conflict 37lvl : 178 bt178-83:0(337)X466459
55.73/55.80	conflict 53lvl : 180 bt180-65:0(287)X466499
55.83/55.92	conflict 37lvl : 181 bt181-65:0(341)X466555
55.94/56.02	conflict 53lvl : 179 bt179-206:0(341)X466595
55.94/56.08	conflict 53lvl : 181 bt181-26:0(352)X466651
70.13/70.22	conflict 37lvl : 22 bt21-166:0(379)X471240
70.13/70.22	conflict 69lvl : 21 bt20-216:0(372)X471280
87.43/87.56	conflict 52lvl : 22 bt21-291:0(381)X474060
87.43/87.56	conflict 84lvl : 21 bt20-236:0(372)X474115
96.23/96.32	o -1463
96.23/96.32	c   15 calls to solver: best=-1463 lower=-1462 upper=0 
96.43/96.51	conflict 37lvl : 187 bt187-289:0(321)X474202
96.53/96.63	conflict 53lvl : 187 bt187-292:0(367)X474242
96.53/96.63	conflict 37lvl : 186 bt186-212:0(348)X474298
96.53/96.63	conflict 37lvl : 185 bt185-292:0(310)X474338
96.53/96.63	conflict 55lvl : 188 bt1884:0(310)X474378
96.53/96.66	conflict 69lvl : 184 bt184-271:0(374)X474436
96.53/96.66	conflict 55lvl : 190 bt1904:0(361)X474508
96.63/96.73	conflict 37lvl : 190 bt189-222:0(359)X474566
96.73/96.87	conflict 37lvl : 185 bt185-85:0(330)X474606
96.83/96.93	conflict 69lvl : 183 bt183-91:0(376)X474646
96.83/96.95	conflict 69lvl : 183 bt183-171:0(390)X474718
97.13/97.28	conflict 37lvl : 157 bt157-148:0(325)X475811
97.23/97.31	conflict 54lvl : 156 bt156362:0(324)X475851
97.53/97.68	conflict 37lvl : 153 bt153-345:0(305)X475908
97.53/97.68	conflict 37lvl : 190 bt190-151:0(260)X475948
97.53/97.69	conflict 54lvl : 176 bt176-85:0(319)X475988
97.83/97.93	conflict 37lvl : 153 bt153-230:0(317)X476045
98.04/98.17	conflict 37lvl : 153 bt153-345:0(306)X476085
98.04/98.17	conflict 37lvl : 190 bt190-291:0(260)X476125
98.04/98.17	conflict 54lvl : 187 bt187-265:0(331)X476165
98.13/98.25	conflict 53lvl : 152 bt152-88:0(224)X476222
98.13/98.26	conflict 37lvl : 152 bt152-88:0(271)X476278
98.43/98.57	conflict 53lvl : 152 bt152-268:0(223)X476318
98.43/98.57	conflict 37lvl : 152 bt152-268:0(269)X476374
98.63/98.79	conflict 37lvl : 153 bt153-28:0(229)X476414
98.73/98.80	conflict 37lvl : 151 bt151-208:0(226)X476454
98.83/98.91	conflict 37lvl : 121 bt121-88:0(230)X476494
98.94/99.07	conflict 52lvl : 121 bt120-37:0(223)X476534
99.13/99.24	conflict 37lvl : 121 bt121-16:0(347)X476589
99.63/99.76	conflict 37lvl : 121 bt121-8:0(354)X476629
100.63/100.71	conflict 37lvl : 122 bt122-65:0(273)X476669
100.63/100.71	conflict 37lvl : 190 bt190-51:0(301)X476709
100.63/100.73	conflict 53lvl : 185 bt185-228:0(315)X476749
100.63/100.74	conflict 53lvl : 181 bt181-225:0(309)X476805
100.63/100.74	conflict 53lvl : 180 bt180-165:0(307)X476861
101.63/101.71	conflict 68lvl : 186 bt186-168:0(320)X476917
101.63/101.71	conflict 37lvl : 186 bt186-168:0(338)X476988
101.94/102.06	conflict 37lvl : 188 bt188-268:0(334)X477028
129.04/129.17	conflict 52lvl : 22 bt21-311:0(379)X485370
129.04/129.17	conflict 84lvl : 21 bt20-376:0(372)X485425
140.73/140.89	conflict 53lvl : 22 bt21-307:0(380)X487658
140.73/140.89	conflict 84lvl : 21 bt20-216:0(372)X487714
189.13/189.24	conflict 37lvl : 30 bt30-352:0(584)X492617
210.93/211.03	conflict 52lvl : 22 bt21-307:0(379)X494658
210.93/211.03	conflict 99lvl : 21 bt20-236:0(372)X494713
234.32/234.46	conflict 53lvl : 22 bt21-72:0(379)X496147
234.32/234.46	conflict 99lvl : 21 bt20-316:0(372)X496203
299.03/299.14	conflict 52lvl : 22 bt21-144:0(379)X499436
299.03/299.14	conflict 99lvl : 21 bt20-216:0(372)X499491
336.52/336.63	conflict 54lvl : 21 bt2144:0(372)X501751
336.52/336.63	conflict 52lvl : 21 bt20-56:0(372)X501808
378.52/378.61	conflict 53lvl : 19 bt18-350:0(279)X503297
463.52/463.63	conflict 52lvl : 22 bt22-244:0(380)X508971
463.52/463.63	conflict 52lvl : 22 bt21-244:0(385)X509026
463.52/463.63	conflict 99lvl : 21 bt20-196:0(372)X509081
514.31/514.40	conflict 52lvl : 21 bt20-56:0(372)X510597
576.51/576.62	conflict 52lvl : 18 bt17-32:0(274)X512306
624.11/624.25	conflict 52lvl : 22 bt22-87:0(379)X514086
624.11/624.25	conflict 52lvl : 22 bt21-87:0(384)X514141
624.11/624.25	conflict 99lvl : 21 bt20-236:0(372)X514196
701.71/701.88	conflict 37lvl : 190 bt190-75:0(255)X515292
701.71/701.88	conflict 37lvl : 189 bt189-68:0(289)X515332
701.81/701.92	conflict 37lvl : 190 bt190-28:0(270)X515372
710.81/710.99	conflict 37lvl : 184 bt184-69:0(318)X515412
711.51/711.65	conflict 37lvl : 183 bt183-145:0(317)X515452
731.21/731.37	conflict 37lvl : 180 bt180-145:0(314)X515492
731.61/731.72	conflict 37lvl : 175 bt175-175:0(377)X515532
731.61/731.73	conflict 37lvl : 175 bt175-154:0(373)X515572
731.61/731.73	conflict 37lvl : 176 bt176-4:0(293)X515612
731.61/731.74	conflict 53lvl : 173 bt173-318:0(373)X515652
731.61/731.74	conflict 37lvl : 190 bt190-79:0(265)X515708
731.61/731.74	conflict 54lvl : 189 bt189-8:0(262)X515748
731.71/731.88	conflict 37lvl : 188 bt187-342:0(356)X515805
731.81/731.90	conflict 37lvl : 185 bt185-169:0(321)X515845
731.81/731.93	conflict 37lvl : 188 bt188-264:0(308)X515885
731.81/732.00	conflict 37lvl : 187 bt187-148:0(345)X515925
731.91/732.02	conflict 37lvl : 187 bt187-264:0(379)X515965
731.91/732.03	conflict 53lvl : 185 bt185-169:0(324)X516005
731.91/732.06	conflict 86lvl : 186 bt186-305:0(346)X516061
732.01/732.11	conflict 85lvl : 187 bt187-305:0(338)X516150
732.01/732.13	conflict 37lvl : 184 bt184-269:0(319)X516238
732.31/732.48	conflict 37lvl : 187 bt187-264:0(351)X516278
732.41/732.54	conflict 69lvl : 188 bt188-264:0(339)X516318
732.41/732.55	conflict 70lvl : 188 bt188-344:0(342)X516390
732.41/732.55	conflict 69lvl : 186 bt186-353:0(301)X516463
732.41/732.55	conflict 69lvl : 183 bt183-273:0(294)X516535
732.41/732.56	conflict 86lvl : 181 bt181348:0(305)X516607
732.51/732.67	conflict 37lvl : 187 bt187-9:0(380)X516696
732.61/732.70	conflict 37lvl : 187 bt187-249:0(380)X516736
732.71/732.86	conflict 54lvl : 187 bt18715:0(376)X516776
732.71/732.89	conflict 89lvl : 187 bt18735:0(376)X516833
732.91/733.07	conflict 53lvl : 186 bt186-29:0(375)X516925
732.91/733.10	conflict 70lvl : 186 bt18615:0(371)X516981
733.41/733.57	conflict 37lvl : 189 bt189-251:0(342)X517054
733.51/733.64	conflict 37lvl : 189 bt189-355:0(315)X517094
733.61/733.70	conflict 37lvl : 186 bt186-168:0(351)X517134
733.61/733.71	conflict 54lvl : 189 bt18939:0(316)X517174
734.01/734.11	conflict 54lvl : 185 bt1851:0(338)X517231
734.41/734.57	conflict 37lvl : 189 bt189-355:0(315)X517288
734.41/734.57	conflict 54lvl : 189 bt18920:0(318)X517328
735.61/735.71	conflict 37lvl : 190 bt190-275:0(323)X517385
735.61/735.71	conflict 72lvl : 190 bt1907:0(324)X517425
735.61/735.72	conflict 71lvl : 190 bt19035:0(321)X517500
735.81/735.91	conflict 71lvl : 190 bt190-346:0(387)X517574
735.81/735.91	conflict 54lvl : 188 bt188-346:0(383)X517648
735.81/735.93	conflict 37lvl : 190 bt190-11:0(305)X517705
735.91/736.04	conflict 37lvl : 187 bt187-302:0(361)X517745
736.21/736.33	conflict 37lvl : 190 bt190-271:0(309)X517785
736.41/736.51	conflict 54lvl : 187 bt187-271:0(382)X517825
736.41/736.54	conflict 54lvl : 190 bt190-261:0(371)X517882
736.41/736.54	conflict 37lvl : 189 bt189-150:0(368)X517939
736.41/736.54	conflict 54lvl : 188 bt188-350:0(367)X517979
736.41/736.57	conflict 53lvl : 190 bt190-261:0(373)X518036
736.41/736.57	conflict 54lvl : 189 bt189-346:0(368)X518092
736.41/736.57	conflict 37lvl : 188 bt188-9:0(368)X518149
736.51/736.60	conflict 37lvl : 190 bt190-9:0(367)X518189
736.51/736.60	conflict 53lvl : 189 bt189-350:0(364)X518229
736.51/736.60	conflict 53lvl : 188 bt188-346:0(363)X518285
736.51/736.60	conflict 37lvl : 184 bt184-262:0(350)X518341
737.11/737.28	conflict 70lvl : 185 bt185-162:0(312)X518381
737.31/737.44	conflict 87lvl : 184 bt184361:0(308)X518454
737.61/737.79	conflict 37lvl : 187 bt187-276:0(322)X518544
737.71/737.87	conflict 37lvl : 187 bt187-142:0(320)X518584
738.31/738.42	conflict 37lvl : 186 bt186-275:0(286)X518624
739.91/740.09	conflict 86lvl : 187 bt187-142:0(319)X518664
740.01/740.16	conflict 37lvl : 187 bt187-11:0(378)X518753
740.01/740.18	conflict 37lvl : 186 bt186-346:0(356)X518793
740.41/740.50	conflict 54lvl : 190 bt190-349:0(385)X518833
740.41/740.50	conflict 87lvl : 189 bt18950:0(383)X518890
740.81/740.93	conflict 37lvl : 188 bt188-315:0(362)X518980
740.91/741.02	conflict 37lvl : 186 bt186-11:0(299)X519020
741.61/741.78	conflict 54lvl : 187 bt187-286:0(344)X519060
741.61/741.79	conflict 37lvl : 187 bt187-351:0(308)X519117
741.61/741.79	conflict 37lvl : 185 bt185-341:0(314)X519157
741.61/741.79	conflict 122lvl : 186 bt1861:0(335)X519197
741.61/741.79	conflict 37lvl : 184 bt184-261:0(311)X519322
741.70/741.82	conflict 70lvl : 185 bt185-275:0(369)X519362
741.70/741.84	conflict 54lvl : 185 bt18516:0(318)X519435
741.70/741.87	conflict 121lvl : 183 bt1831:0(328)X519492
741.70/741.87	conflict 37lvl : 182 bt182-343:0(359)X519616
741.80/741.99	conflict 53lvl : 181 bt181-142:0(290)X519656
741.91/742.08	conflict 37lvl : 181 bt181-145:0(283)X519712
742.01/742.15	conflict 37lvl : 181 bt181-391:0(295)X519752
742.01/742.17	conflict 53lvl : 177 bt177-268:0(323)X519792
742.10/742.27	conflict 72lvl : 181 bt1815:0(341)X519848
742.10/742.27	conflict 37lvl : 188 bt188-151:0(276)X519923
742.10/742.28	conflict 53lvl : 180 bt180-279:0(256)X519963
742.10/742.28	conflict 52lvl : 179 bt179-279:0(251)X520019
742.10/742.29	conflict 54lvl : 179 bt179-68:0(314)X520074
742.10/742.29	conflict 69lvl : 178 bt178-268:0(312)X520131
742.20/742.30	conflict 84lvl : 177 bt177-165:0(313)X520203
742.30/742.40	conflict 89lvl : 181 bt1815:0(286)X520290
742.40/742.56	conflict 54lvl : 181 bt181-145:0(292)X520382
742.40/742.58	conflict 36lvl : 181 bt181-142:0(295)X520439
742.40/742.58	conflict 106lvl : 190 bt1905:0(322)X520478
742.40/742.59	conflict 88lvl : 185 bt1855:0(316)X520587
742.50/742.62	conflict 53lvl : 183 bt183-248:0(345)X520678
742.50/742.65	conflict 54lvl : 181 bt181-145:0(292)X520734
742.91/743.05	conflict 54lvl : 190 bt190-168:0(326)X520791
742.91/743.06	conflict 53lvl : 189 bt189-168:0(316)X520848
742.91/743.07	conflict 70lvl : 190 bt1902:0(322)X520904
745.01/745.17	conflict 37lvl : 190 bt190-168:0(334)X520977
745.01/745.18	conflict 37lvl : 189 bt189-288:0(322)X521017
745.70/745.81	conflict 54lvl : 188 bt188-168:0(323)X521057
745.80/745.97	conflict 71lvl : 187 bt187244:0(320)X521114
746.10/746.22	conflict 37lvl : 188 bt188-168:0(333)X521188
746.10/746.26	conflict 37lvl : 188 bt188-248:0(321)X521228
746.80/746.99	conflict 37lvl : 188 bt188-244:0(320)X521268
747.01/747.15	conflict 70lvl : 188 bt1889:0(314)X521308
747.40/747.59	conflict 54lvl : 189 bt1899:0(329)X521381
747.80/747.97	conflict 54lvl : 188 bt1889:0(322)X521438
750.30/750.43	conflict 37lvl : 190 bt190-308:0(350)X521495
751.10/751.25	conflict 37lvl : 190 bt190-10:0(303)X521535
751.10/751.27	conflict 54lvl : 190 bt19028:0(300)X521575
753.60/753.79	conflict 72lvl : 189 bt189248:0(352)X521632
753.60/753.79	conflict 37lvl : 189 bt189-308:0(351)X521707
753.80/753.90	conflict 37lvl : 188 bt188-308:0(354)X521747
753.80/753.94	conflict 54lvl : 189 bt18922:0(355)X521787
755.20/755.31	conflict 37lvl : 188 bt188-308:0(348)X521844
755.80/755.90	conflict 87lvl : 188 bt18828:0(347)X521884
756.01/756.15	conflict 72lvl : 189 bt18942:0(355)X521974
758.10/758.22	conflict 102lvl : 189 bt189-245:0(372)X522049
760.20/760.30	conflict 53lvl : 187 bt187-168:0(313)X522154
760.30/760.40	conflict 37lvl : 187 bt187-168:0(323)X522210
761.20/761.30	conflict 70lvl : 186 bt1869:0(311)X522250
762.20/762.37	conflict 37lvl : 190 bt190-360:0(362)X522323
762.40/762.58	conflict 101lvl : 179 bt17964:0(277)X522363
762.40/762.59	conflict 97lvl : 178 bt178-157:0(275)X522467
762.50/762.60	conflict 70lvl : 176 bt176-144:0(299)X522567
762.50/762.61	conflict 37lvl : 175 bt175-6:0(414)X522640
762.50/762.62	conflict 37lvl : 173 bt173-6:0(384)X522680
762.50/762.62	conflict 37lvl : 190 bt190-75:0(261)X522720
762.50/762.64	conflict 71lvl : 183 bt18324:0(277)X522760
762.50/762.69	conflict 53lvl : 182 bt182-65:0(284)X522834
762.50/762.69	conflict 37lvl : 180 bt180-64:0(313)X522890
762.60/762.70	conflict 54lvl : 179 bt179-64:0(311)X522930
762.60/762.70	conflict 71lvl : 178 bt17812:0(307)X522987
762.60/762.72	conflict 85lvl : 173 bt173-75:0(392)X523061
762.60/762.73	conflict 37lvl : 172 bt172-6:0(406)X523149
762.60/762.73	conflict 53lvl : 172 bt172-148:0(267)X523189
762.60/762.73	conflict 52lvl : 172 bt172-268:0(289)X523245
762.60/762.73	conflict 37lvl : 190 bt190-75:0(261)X523300
762.60/762.73	conflict 36lvl : 189 bt189-268:0(293)X523340
762.70/762.80	conflict 37lvl : 181 bt181-65:0(359)X523379
762.80/762.98	conflict 37lvl : 179 bt179-4:0(370)X523419
762.80/762.98	conflict 54lvl : 178 bt17848:0(364)X523459
762.91/763.01	conflict 37lvl : 173 bt173-4:0(344)X523516
762.91/763.02	conflict 54lvl : 172 bt17268:0(342)X523556
762.91/763.03	conflict 37lvl : 171 bt171-6:0(362)X523613
762.91/763.07	conflict 37lvl : 184 bt184-388:0(365)X523653
762.91/763.08	conflict 53lvl : 184 bt184-385:0(342)X523693
762.91/763.09	conflict 54lvl : 186 bt186-285:0(328)X523749
762.91/763.10	conflict 37lvl : 183 bt183-284:0(251)X523806
762.91/763.10	conflict 37lvl : 183 bt183-385:0(306)X523846
763.01/763.15	conflict 37lvl : 189 bt189-171:0(278)X523886
763.01/763.16	conflict 52lvl : 183 bt183-245:0(253)X523926
763.01/763.17	conflict 54lvl : 182 bt182-248:0(254)X523981
763.01/763.17	conflict 37lvl : 182 bt182-248:0(303)X524038
763.10/763.20	conflict 54lvl : 184 bt184-8:0(431)X524078
763.10/763.22	conflict 37lvl : 184 bt184-385:0(335)X524135
763.10/763.23	conflict 37lvl : 182 bt182-284:0(259)X524175
763.10/763.24	conflict 37lvl : 181 bt181-288:0(252)X524215
763.10/763.24	conflict 54lvl : 181 bt181-288:0(301)X524255
763.10/763.27	conflict 71lvl : 184 bt184-8:0(363)X524312
763.20/763.30	conflict 69lvl : 182 bt182384:0(251)X524386
763.20/763.31	conflict 65lvl : 181 bt181-176:0(245)X524458
763.20/763.31	conflict 81lvl : 180 bt179-177:0(276)X524526
763.20/763.35	conflict 37lvl : 184 bt184-388:0(362)X524610
763.50/763.64	conflict 37lvl : 184 bt184-8:0(260)X524650
763.50/763.65	conflict 37lvl : 183 bt183-308:0(255)X524690
763.50/763.68	conflict 37lvl : 170 bt170-66:0(386)X524730
763.50/763.69	conflict 37lvl : 170 bt170-28:0(273)X524770
763.50/763.69	conflict 52lvl : 169 bt169-12:0(291)X524810
763.50/763.69	conflict 54lvl : 169 bt169108:0(382)X524865
763.50/763.69	conflict 69lvl : 169 bt168-17:0(271)X524922
763.60/763.70	conflict 72lvl : 167 bt167308:0(285)X524994
763.60/763.70	conflict 37lvl : 166 bt166-45:0(368)X525069
763.60/763.70	conflict 37lvl : 166 bt166-47:0(459)X525109
763.60/763.70	conflict 37lvl : 166 bt166-46:0(395)X525149
763.60/763.71	conflict 37lvl : 190 bt190-75:0(255)X525189
763.60/763.71	conflict 36lvl : 189 bt189-188:0(287)X525229
763.60/763.74	conflict 37lvl : 188 bt188-11:0(300)X525268
763.60/763.74	conflict 37lvl : 187 bt187-288:0(280)X525308
763.60/763.76	conflict 37lvl : 190 bt190-68:0(297)X525348
763.60/763.76	conflict 53lvl : 189 bt189-75:0(295)X525388
763.60/763.78	conflict 72lvl : 190 bt1904:0(273)X525444
763.60/763.79	conflict 37lvl : 189 bt189-305:0(354)X525519
763.70/763.80	conflict 37lvl : 188 bt188-288:0(286)X525559
763.70/763.82	conflict 68lvl : 189 bt189-246:0(324)X525599
763.70/763.83	conflict 53lvl : 189 bt189-65:0(294)X525670
763.70/763.86	conflict 37lvl : 190 bt190-68:0(296)X525726
763.70/763.88	conflict 37lvl : 190 bt190-71:0(278)X525766
763.70/763.89	conflict 36lvl : 189 bt189-188:0(293)X525806
763.80/763.98	conflict 53lvl : 189 bt189-65:0(298)X525845
763.80/763.99	conflict 71lvl : 189 bt1898:0(264)X525901
763.91/764.02	conflict 37lvl : 190 bt190-308:0(272)X525975
763.91/764.03	conflict 52lvl : 189 bt189-65:0(324)X526015
763.91/764.03	conflict 54lvl : 189 bt1892:0(293)X526070
764.01/764.18	conflict 37lvl : 190 bt190-291:0(301)X526127
764.01/764.19	conflict 53lvl : 190 bt190-68:0(320)X526167
764.10/764.20	conflict 37lvl : 190 bt190-188:0(296)X526223
764.10/764.21	conflict 36lvl : 189 bt189-308:0(287)X526263
764.20/764.30	conflict 37lvl : 190 bt190-185:0(273)X526302
764.20/764.31	conflict 88lvl : 190 bt190275:0(298)X526342
764.20/764.32	conflict 37lvl : 187 bt187-66:0(293)X526433
764.20/764.37	conflict 37lvl : 190 bt190-66:0(292)X526473
764.20/764.37	conflict 89lvl : 190 bt1905:0(296)X526513
764.20/764.38	conflict 54lvl : 189 bt1898:0(287)X526605
764.30/764.45	conflict 37lvl : 189 bt189-70:0(386)X526662
764.30/764.49	conflict 53lvl : 188 bt188-65:0(298)X526702
764.30/764.50	conflict 37lvl : 186 bt186-65:0(291)X526758
832.40/832.58	conflict 52lvl : 22 bt21-84:0(379)X529389
832.40/832.58	conflict 114lvl : 21 bt20-196:0(372)X529444
936.59/936.73	conflict 53lvl : 187 bt187-71:0(315)X532251
936.59/936.74	conflict 37lvl : 186 bt186-288:0(304)X532307
936.59/936.76	conflict 72lvl : 186 bt18651:0(410)X532347
937.59/937.70	conflict 37lvl : 190 bt190-11:0(304)X532422
937.59/937.70	conflict 37lvl : 184 bt184-368:0(283)X532462
938.49/938.65	conflict 37lvl : 190 bt190-11:0(304)X532502
938.49/938.65	conflict 37lvl : 184 bt184-368:0(283)X532542
938.49/938.66	conflict 88lvl : 186 bt18651:0(409)X532582
938.59/938.71	conflict 37lvl : 185 bt185-362:0(297)X532673
941.79/941.92	conflict 37lvl : 184 bt184-322:0(295)X532713
941.79/941.95	conflict 37lvl : 183 bt183-225:0(265)X532753
941.79/941.95	conflict 54lvl : 182 bt1828:0(287)X532793
941.90/942.00	conflict 37lvl : 165 bt165-268:0(281)X532850
941.90/942.02	conflict 103lvl : 185 bt185-91:0(315)X532890
941.90/942.03	conflict 37lvl : 187 bt187-88:0(259)X532996
941.90/942.07	conflict 54lvl : 173 bt17324:0(245)X533036
941.90/942.09	conflict 68lvl : 188 bt188-75:0(293)X533093
942.00/942.13	conflict 37lvl : 187 bt187-82:0(359)X533164
942.00/942.14	conflict 37lvl : 186 bt186-45:0(386)X533204
942.00/942.15	conflict 54lvl : 185 bt185132:0(376)X533244
942.09/942.21	conflict 37lvl : 177 bt177-105:0(355)X533301
942.19/942.32	conflict 67lvl : 190 bt190-75:0(304)X533341
942.19/942.32	conflict 37lvl : 189 bt189-65:0(304)X533411
942.19/942.32	conflict 37lvl : 188 bt188-265:0(295)X533451
942.19/942.33	conflict 37lvl : 190 bt190-268:0(271)X533491
942.19/942.38	conflict 37lvl : 187 bt187-92:0(371)X533531
942.29/942.45	conflict 54lvl : 178 bt178152:0(351)X533571
942.29/942.47	conflict 37lvl : 189 bt189-25:0(284)X533628
942.29/942.47	conflict 54lvl : 188 bt1888:0(264)X533668
942.39/942.51	conflict 37lvl : 173 bt173-28:0(318)X533725
942.39/942.52	conflict 53lvl : 172 bt172-48:0(313)X533765
942.39/942.55	conflict 53lvl : 164 bt164-5:0(372)X533821
942.39/942.55	conflict 54lvl : 164 bt164108:0(373)X533877
942.39/942.55	conflict 71lvl : 163 bt163112:0(365)X533934
942.49/942.63	conflict 37lvl : 150 bt150-48:0(217)X534008
942.49/942.64	conflict 68lvl : 188 bt188-95:0(319)X534048
942.49/942.65	conflict 53lvl : 184 bt184-72:0(306)X534119
942.49/942.65	conflict 52lvl : 184 bt183-77:0(286)X534175
942.59/942.75	conflict 88lvl : 184 bt184285:0(318)X534230
942.69/942.84	conflict 70lvl : 188 bt188-15:0(323)X534321
942.69/942.84	conflict 123lvl : 186 bt18635:0(317)X534394
942.69/942.85	conflict 120lvl : 184 bt184285:0(321)X534520
943.19/943.34	conflict 53lvl : 183 bt183-62:0(347)X534643
943.29/943.42	conflict 72lvl : 183 bt18388:0(350)X534699
1021.39/1021.57	conflict 37lvl : 169 bt169-11:0(277)X534774
1021.39/1021.58	conflict 37lvl : 190 bt190-155:0(261)X534814
1021.49/1021.60	conflict 37lvl : 182 bt182-148:0(284)X534854
1021.49/1021.63	conflict 37lvl : 171 bt171-148:0(271)X534894
1021.49/1021.67	conflict 54lvl : 158 bt158-144:0(286)X534934
1021.49/1021.67	conflict 53lvl : 157 bt157-155:0(360)X534991
1021.59/1021.72	conflict 88lvl : 149 bt14967:0(373)X535047
1021.59/1021.73	conflict 54lvl : 149 bt14968:0(362)X535138
1021.59/1021.77	conflict 37lvl : 190 bt190-155:0(261)X535195
1021.69/1021.81	conflict 37lvl : 174 bt174-148:0(276)X535235
1021.69/1021.83	conflict 54lvl : 190 bt1904:0(271)X535275
1021.79/1021.94	conflict 53lvl : 169 bt169-155:0(273)X535332
1021.79/1021.98	conflict 37lvl : 190 bt190-155:0(261)X535388
1021.90/1022.03	conflict 36lvl : 169 bt169-48:0(266)X535428
1021.90/1022.10	conflict 36lvl : 190 bt190-128:0(299)X535467
1022.00/1022.14	conflict 53lvl : 174 bt174-145:0(284)X535506
1022.00/1022.15	conflict 37lvl : 171 bt171-158:0(309)X535562
1022.00/1022.16	conflict 37lvl : 169 bt169-150:0(345)X535602
1022.00/1022.17	conflict 53lvl : 167 bt167-48:0(315)X535642
1022.00/1022.18	conflict 37lvl : 190 bt190-155:0(255)X535698
1022.00/1022.19	conflict 37lvl : 187 bt187-148:0(289)X535738
1022.09/1022.23	conflict 53lvl : 169 bt169-145:0(268)X535778
1022.09/1022.28	conflict 71lvl : 169 bt1698:0(241)X535834
1022.29/1022.40	conflict 69lvl : 169 bt169-155:0(280)X535908
1022.29/1022.41	conflict 53lvl : 168 bt168-325:0(271)X535980
1022.29/1022.47	conflict 37lvl : 190 bt190-148:0(299)X536036
1022.39/1022.52	conflict 53lvl : 169 bt169-145:0(273)X536076
1022.39/1022.52	conflict 88lvl : 168 bt16812:0(301)X536132
1028.69/1028.80	conflict 54lvl : 168 bt16824:0(364)X536223
1028.69/1028.82	conflict 37lvl : 166 bt166-128:0(333)X536280
1028.69/1028.87	conflict 37lvl : 190 bt190-148:0(294)X536320
1028.79/1028.99	conflict 37lvl : 190 bt190-158:0(335)X536360
1028.90/1029.06	conflict 72lvl : 190 bt190204:0(314)X536400
1028.90/1029.06	conflict 71lvl : 189 bt189325:0(295)X536475
1028.90/1029.06	conflict 70lvl : 188 bt1888:0(286)X536549
1029.00/1029.12	conflict 37lvl : 169 bt169-40:0(312)X536622
1029.00/1029.16	conflict 70lvl : 164 bt16445:0(266)X536662
1029.00/1029.16	conflict 37lvl : 163 bt163-45:0(276)X536735
1029.00/1029.18	conflict 52lvl : 159 bt159-365:0(227)X536775
1029.00/1029.19	conflict 37lvl : 158 bt158-59:0(229)X536830
1029.00/1029.19	conflict 53lvl : 158 bt158-48:0(268)X536870
1029.09/1029.20	conflict 54lvl : 157 bt157368:0(227)X536926
1029.09/1029.20	conflict 86lvl : 157 bt157368:0(257)X536983
1029.09/1029.25	conflict 37lvl : 148 bt148-48:0(214)X537072
1029.09/1029.25	conflict 37lvl : 190 bt190-155:0(255)X537112
1029.09/1029.26	conflict 71lvl : 187 bt1878:0(283)X537152
1029.20/1029.31	conflict 53lvl : 169 bt169-148:0(302)X537226
1029.20/1029.31	conflict 37lvl : 168 bt168-55:0(372)X537282
1029.20/1029.32	conflict 53lvl : 168 bt168-130:0(288)X537322
1029.30/1029.45	conflict 52lvl : 147 bt147-32:0(357)X537378
1029.40/1029.50	conflict 37lvl : 187 bt187-148:0(288)X537433
1029.40/1029.56	conflict 37lvl : 168 bt168-285:0(263)X537473
1029.40/1029.57	conflict 37lvl : 190 bt190-155:0(255)X537513
1029.50/1029.62	conflict 53lvl : 169 bt169-145:0(270)X537553
1029.50/1029.64	conflict 37lvl : 190 bt190-155:0(255)X537609
1029.50/1029.65	conflict 37lvl : 189 bt189-148:0(291)X537649
1029.60/1029.70	conflict 53lvl : 169 bt169-145:0(267)X537689
1029.91/1030.04	conflict 37lvl : 190 bt190-71:0(284)X537745
1030.10/1030.22	conflict 54lvl : 190 bt190-100:0(335)X537785
1030.10/1030.28	conflict 37lvl : 169 bt169-7:0(350)X537842
1030.10/1030.28	conflict 54lvl : 168 bt168128:0(343)X537882
1030.30/1030.42	conflict 37lvl : 146 bt146-6:0(335)X537939
1030.30/1030.46	conflict 71lvl : 169 bt1698:0(241)X537979
1030.30/1030.46	conflict 37lvl : 190 bt190-148:0(290)X538053
1030.40/1030.58	conflict 67lvl : 169 bt1694:0(269)X538093
1030.40/1030.58	conflict 68lvl : 168 bt168-155:0(324)X538163
1030.40/1030.59	conflict 52lvl : 168 bt168-325:0(261)X538234
1030.50/1030.64	conflict 53lvl : 169 bt169-145:0(270)X538289
1030.50/1030.66	conflict 37lvl : 189 bt189-148:0(290)X538345
1030.60/1030.78	conflict 36lvl : 190 bt190-128:0(293)X538385
1030.60/1030.78	conflict 53lvl : 189 bt189-145:0(299)X538424
1030.70/1030.85	conflict 51lvl : 168 bt168-55:0(361)X538480
1048.60/1048.72	conflict 37lvl : 189 bt189-91:0(341)X542564
1048.60/1048.74	conflict 54lvl : 189 bt18919:0(319)X542604
1048.70/1048.86	conflict 37lvl : 188 bt188-271:0(341)X542661
1048.70/1048.89	conflict 54lvl : 189 bt18919:0(319)X542701
1048.80/1048.92	conflict 37lvl : 188 bt188-31:0(339)X542758
1053.30/1053.43	conflict 37lvl : 183 bt183-275:0(413)X542798
1053.30/1053.45	conflict 37lvl : 181 bt181-271:0(388)X542838
1053.30/1053.46	conflict 54lvl : 180 bt180-271:0(387)X542878
1053.50/1053.68	conflict 37lvl : 187 bt187-271:0(275)X542935
1053.70/1053.81	conflict 37lvl : 180 bt180-331:0(355)X542975
1053.70/1053.83	conflict 37lvl : 180 bt180-45:0(344)X543015
1053.70/1053.83	conflict 37lvl : 190 bt190-351:0(305)X543055
1053.70/1053.86	conflict 53lvl : 178 bt178-279:0(274)X543095
1053.70/1053.86	conflict 52lvl : 177 bt177-279:0(251)X543151
1053.70/1053.87	conflict 53lvl : 176 bt176-28:0(300)X543206
1053.80/1053.90	conflict 69lvl : 181 bt180-157:0(283)X543262
1053.80/1053.90	conflict 37lvl : 190 bt190-155:0(261)X543334
1053.80/1053.91	conflict 37lvl : 187 bt187-148:0(295)X543374
1053.80/1053.93	conflict 53lvl : 181 bt181-145:0(283)X543414
1053.80/1053.93	conflict 53lvl : 180 bt180-155:0(325)X543470
1053.80/1053.94	conflict 54lvl : 190 bt1904:0(271)X543526
1053.80/1053.96	conflict 52lvl : 190 bt190-158:0(332)X543583
1053.80/1053.96	conflict 71lvl : 189 bt189224:0(316)X543638
1053.80/1053.97	conflict 71lvl : 188 bt188225:0(294)X543712
1053.80/1053.97	conflict 70lvl : 187 bt187339:0(291)X543786
1053.80/1053.97	conflict 69lvl : 186 bt1864:0(287)X543859
1053.80/1054.00	conflict 37lvl : 190 bt190-91:0(304)X543931
1053.91/1054.02	conflict 37lvl : 190 bt190-24:0(259)X543971
1053.91/1054.03	conflict 71lvl : 188 bt1888:0(264)X544011
1053.91/1054.06	conflict 86lvl : 177 bt177-57:0(279)X544085
1054.10/1054.20	conflict 117lvl : 155 bt15548:0(397)X544174
1054.10/1054.20	conflict 37lvl : 155 bt155-168:0(268)X544294
1054.10/1054.20	conflict 72lvl : 154 bt154168:0(264)X544334
1054.10/1054.21	conflict 68lvl : 154 bt153-77:0(256)X544409
1054.10/1054.24	conflict 82lvl : 147 bt147-6:0(389)X544480
1054.10/1054.24	conflict 37lvl : 147 bt147-168:0(214)X544565
1054.20/1054.37	conflict 53lvl : 158 bt158-62:0(300)X544605
1054.20/1054.38	conflict 72lvl : 157 bt157288:0(295)X544661
1054.30/1054.41	conflict 52lvl : 150 bt150-305:0(216)X544736
1054.30/1054.41	conflict 37lvl : 150 bt150-165:0(267)X544791
1054.40/1054.59	conflict 37lvl : 149 bt149-288:0(220)X544831
1054.40/1054.59	conflict 54lvl : 149 bt149308:0(263)X544871
1054.60/1054.76	conflict 37lvl : 149 bt149-299:0(220)X544928
1054.60/1054.76	conflict 69lvl : 148 bt148304:0(216)X544968
1054.60/1054.77	conflict 81lvl : 148 bt148-77:0(244)X545040
1054.80/1054.93	conflict 37lvl : 150 bt150-165:0(216)X545124
1054.80/1054.93	conflict 81lvl : 149 bt149-66:0(381)X545164
1054.80/1054.94	conflict 65lvl : 149 bt149-76:0(213)X545248
1054.91/1055.04	conflict 37lvl : 181 bt181-125:0(328)X545316
1054.91/1055.05	conflict 87lvl : 179 bt17951:0(392)X545356
1054.91/1055.05	conflict 87lvl : 178 bt178124:0(392)X545446
1054.91/1055.06	conflict 66lvl : 178 bt178-132:0(287)X545536
1054.91/1055.06	conflict 122lvl : 177 bt177224:0(387)X545605
1054.91/1055.06	conflict 66lvl : 177 bt177-232:0(282)X545730
1054.91/1055.06	conflict 68lvl : 176 bt176-148:0(382)X545799
1054.91/1055.07	conflict 67lvl : 176 bt176-132:0(278)X545870
1054.91/1055.07	conflict 81lvl : 175 bt175-157:0(273)X545940
1055.01/1055.13	conflict 36lvl : 190 bt190-148:0(301)X546024
1055.01/1055.16	conflict 68lvl : 181 bt181-138:0(332)X546063
1055.01/1055.19	conflict 70lvl : 181 bt181225:0(320)X546134
1055.01/1055.19	conflict 37lvl : 180 bt180-145:0(320)X546207
1055.10/1055.22	conflict 53lvl : 181 bt181-158:0(298)X546247
1055.20/1055.34	conflict 69lvl : 190 bt1904:0(273)X546303
1055.20/1055.39	conflict 72lvl : 181 bt1812:0(304)X546375
1055.30/1055.42	conflict 37lvl : 190 bt190-28:0(290)X546450
1055.40/1055.53	conflict 37lvl : 189 bt189-88:0(285)X546490
1058.10/1058.22	conflict 37lvl : 190 bt190-345:0(303)X546530
1058.10/1058.23	conflict 54lvl : 190 bt1908:0(295)X546570
1058.10/1058.28	conflict 37lvl : 190 bt190-285:0(299)X546627
1058.20/1058.30	conflict 54lvl : 190 bt1908:0(297)X546667
1058.50/1058.61	conflict 37lvl : 190 bt190-285:0(319)X546724
1058.50/1058.68	conflict 54lvl : 190 bt1908:0(313)X546764
1065.50/1065.66	conflict 37lvl : 190 bt190-151:0(282)X546821
1077.20/1077.34	conflict 37lvl : 189 bt189-368:0(312)X546861
1077.20/1077.38	conflict 37lvl : 188 bt188-388:0(307)X546901
1077.80/1077.92	conflict 37lvl : 189 bt189-368:0(370)X546941
1077.80/1077.97	conflict 70lvl : 188 bt188-368:0(368)X546981
1078.50/1078.60	conflict 53lvl : 188 bt188-368:0(336)X547054
1079.01/1079.16	conflict 55lvl : 186 bt186352:0(400)X547110
1079.01/1079.17	conflict 70lvl : 190 bt190-278:0(361)X547168
1079.50/1079.60	conflict 37lvl : 189 bt189-365:0(304)X547241
1079.60/1079.79	conflict 54lvl : 188 bt1888:0(292)X547281
1080.10/1080.24	conflict 72lvl : 186 bt186352:0(395)X547338
1081.90/1082.01	conflict 89lvl : 186 bt1868:0(392)X547413
1082.60/1082.78	conflict 53lvl : 188 bt188-368:0(339)X547505
1089.70/1089.87	conflict 37lvl : 186 bt186-349:0(374)X547561
1090.50/1090.61	conflict 37lvl : 186 bt186-229:0(360)X547601
1101.50/1101.60	conflict 52lvl : 188 bt188-368:0(315)X547641
1101.60/1101.76	conflict 52lvl : 188 bt188-368:0(315)X547696
1108.40/1108.56	conflict 37lvl : 186 bt186-370:0(376)X547751
1110.10/1110.23	conflict 72lvl : 188 bt1884:0(336)X547791
1110.50/1110.61	conflict 72lvl : 188 bt1884:0(335)X547866
1111.30/1111.49	conflict 37lvl : 187 bt187-326:0(364)X547941
1111.40/1111.54	conflict 37lvl : 186 bt186-350:0(353)X547981
1378.68/1378.84	conflict 69lvl : 21 bt20-376:0(372)X558939
1535.58/1535.71	conflict 37lvl : 188 bt188-362:0(351)X560494
1535.58/1535.72	conflict 54lvl : 188 bt188201:0(348)X560534
1537.38/1537.53	conflict 37lvl : 188 bt188-372:0(362)X560591
1537.48/1537.60	conflict 54lvl : 187 bt187321:0(346)X560631
1537.68/1537.82	conflict 53lvl : 185 bt185-311:0(373)X560688
1537.98/1538.14	conflict 70lvl : 185 bt185-11:0(368)X560744
1537.98/1538.14	conflict 37lvl : 187 bt187-304:0(325)X560817
1537.98/1538.14	conflict 37lvl : 186 bt186-4:0(322)X560857
1541.67/1541.83	conflict 37lvl : 188 bt188-181:0(351)X560897
1551.17/1551.30	conflict 37lvl : 184 bt184-168:0(245)X560937
1551.17/1551.32	conflict 68lvl : 182 bt182-31:0(378)X560977
1552.98/1553.17	conflict 37lvl : 186 bt186-365:0(339)X561048
1553.98/1554.15	conflict 37lvl : 190 bt190-11:0(305)X561088
1553.98/1554.16	conflict 37lvl : 183 bt183-348:0(283)X561128
1554.07/1554.20	conflict 37lvl : 185 bt185-162:0(299)X561168
1554.07/1554.26	conflict 37lvl : 185 bt185-362:0(293)X561208
1554.17/1554.31	conflict 54lvl : 185 bt1855:0(291)X561248
1554.17/1554.34	conflict 53lvl : 179 bt179-12:0(303)X561305
1554.17/1554.34	conflict 37lvl : 179 bt179-308:0(282)X561361
1554.17/1554.34	conflict 72lvl : 178 bt178308:0(296)X561401
1554.17/1554.35	conflict 52lvl : 178 bt177-17:0(280)X561476
1554.17/1554.35	conflict 53lvl : 176 bt176-2:0(313)X561531
1554.17/1554.36	conflict 72lvl : 175 bt175308:0(310)X561587
1554.17/1554.36	conflict 37lvl : 175 bt175-308:0(242)X561662
1554.17/1554.37	conflict 71lvl : 172 bt17265:0(422)X561702
1554.27/1554.40	conflict 87lvl : 169 bt16964:0(416)X561776
1554.27/1554.40	conflict 52lvl : 168 bt168-64:0(410)X561866
1554.27/1554.49	conflict 37lvl : 158 bt158-26:0(364)X561921
1554.37/1554.58	conflict 53lvl : 182 bt182-144:0(313)X561961
1554.88/1555.05	conflict 72lvl : 188 bt188-367:0(351)X562017
1554.88/1555.08	conflict 37lvl : 186 bt186-189:0(320)X562092
1554.88/1555.09	conflict 37lvl : 189 bt189-345:0(314)X562132
1554.98/1555.11	conflict 72lvl : 189 bt189182:0(322)X562172
1554.98/1555.15	conflict 71lvl : 186 bt186-195:0(320)X562247
1554.98/1555.16	conflict 70lvl : 190 bt190-84:0(314)X562321
1554.98/1555.16	conflict 87lvl : 189 bt1891:0(312)X562394
1554.98/1555.17	conflict 86lvl : 184 bt18413:0(293)X562484
1555.07/1555.24	conflict 70lvl : 190 bt190-24:0(311)X562573
1555.07/1555.24	conflict 87lvl : 189 bt1891:0(309)X562646
1555.07/1555.27	conflict 87lvl : 177 bt177104:0(418)X562736
1555.07/1555.29	conflict 68lvl : 175 bt175-104:0(412)X562826
1555.17/1555.31	conflict 68lvl : 172 bt172-114:0(408)X562897
1555.27/1555.41	conflict 37lvl : 162 bt162-66:0(354)X562968
1555.27/1555.46	conflict 54lvl : 189 bt189-365:0(316)X563008
1555.27/1555.47	conflict 71lvl : 188 bt18855:0(314)X563065
1555.47/1555.64	conflict 54lvl : 162 bt162128:0(354)X563139
1567.07/1567.25	conflict 70lvl : 190 bt190-24:0(309)X563196
1567.07/1567.25	conflict 87lvl : 189 bt1891:0(307)X563269
1567.07/1567.26	conflict 37lvl : 179 bt179-24:0(400)X563359
1567.07/1567.27	conflict 37lvl : 179 bt179-4:0(358)X563399
1567.07/1567.27	conflict 54lvl : 178 bt17868:0(354)X563439
1567.07/1567.29	conflict 88lvl : 174 bt174184:0(387)X563496
1567.17/1567.30	conflict 37lvl : 174 bt174-46:0(418)X563587
1567.27/1567.42	conflict 37lvl : 189 bt189-368:0(318)X563627
1567.27/1567.43	conflict 37lvl : 188 bt188-9:0(332)X563667
1567.27/1567.43	conflict 54lvl : 188 bt188-35:0(332)X563707
1567.27/1567.45	conflict 54lvl : 188 bt18842:0(313)X563764
1567.88/1568.02	conflict 37lvl : 187 bt187-362:0(361)X563821
1567.88/1568.08	conflict 71lvl : 186 bt186141:0(358)X563861
1586.07/1586.27	conflict 37lvl : 188 bt188-151:0(375)X563935
1591.77/1591.94	conflict 54lvl : 188 bt188-35:0(341)X563975
1597.27/1597.45	conflict 53lvl : 188 bt188-149:0(381)X564032
1597.27/1597.46	conflict 53lvl : 188 bt188-89:0(380)X564088
1603.17/1603.35	conflict 54lvl : 188 bt188-35:0(336)X564144
1612.27/1612.46	conflict 37lvl : 189 bt189-144:0(352)X564201
1620.57/1620.72	conflict 37lvl : 190 bt190-24:0(318)X564241
1620.67/1620.83	conflict 37lvl : 190 bt190-344:0(318)X564281
1620.88/1621.09	conflict 54lvl : 179 bt179-351:0(380)X564321
1623.37/1623.52	conflict 72lvl : 189 bt18924:0(363)X564378
1623.37/1623.57	conflict 90lvl : 189 bt18944:0(362)X564453
1624.98/1625.15	conflict 53lvl : 185 bt185-35:0(329)X564546
1645.17/1645.33	conflict 37lvl : 180 bt180-156:0(318)X564602
1645.27/1645.44	conflict 37lvl : 181 bt181-362:0(354)X564642
1645.27/1645.45	conflict 37lvl : 181 bt181-2:0(356)X564682
1645.27/1645.47	conflict 54lvl : 179 bt17932:0(322)X564722
1645.37/1645.53	conflict 37lvl : 180 bt180-84:0(287)X564779
1645.37/1645.54	conflict 37lvl : 180 bt180-158:0(391)X564819
1645.47/1645.65	conflict 54lvl : 179 bt17922:0(284)X564859
1645.47/1645.68	conflict 54lvl : 179 bt17931:0(380)X564916
1646.98/1647.18	conflict 37lvl : 177 bt177-227:0(365)X564973
1647.07/1647.20	conflict 37lvl : 178 bt178-158:0(391)X565013
1647.07/1647.21	conflict 70lvl : 178 bt17831:0(381)X565053
1647.17/1647.38	conflict 54lvl : 177 bt17784:0(367)X565126
1647.27/1647.43	conflict 37lvl : 176 bt176-231:0(370)X565183
1647.37/1647.50	conflict 89lvl : 177 bt177150:0(385)X565223
1647.37/1647.50	conflict 88lvl : 178 bt176-151:0(395)X565315
1647.47/1647.62	conflict 70lvl : 174 bt174-251:0(369)X565406
1647.47/1647.65	conflict 70lvl : 177 bt177-94:0(373)X565479
1647.57/1647.70	conflict 37lvl : 175 bt175-152:0(349)X565552
1647.57/1647.77	conflict 88lvl : 176 bt17664:0(373)X565592
1647.57/1647.78	conflict 37lvl : 175 bt175-91:0(375)X565683
1647.57/1647.79	conflict 53lvl : 175 bt175-100:0(381)X565723
1647.67/1647.81	conflict 121lvl : 175 bt17531:0(376)X565779
1647.67/1647.87	conflict 120lvl : 174 bt17431:0(374)X565903
1647.67/1647.88	conflict 70lvl : 174 bt174-291:0(371)X566026
1647.77/1647.90	conflict 37lvl : 175 bt175-375:0(370)X566099
1647.77/1647.90	conflict 37lvl : 175 bt175-285:0(334)X566139
1647.87/1648.01	conflict 37lvl : 173 bt173-169:0(383)X566179
1647.87/1648.05	conflict 37lvl : 161 bt161-59:0(366)X566219
1647.87/1648.09	conflict 37lvl : 190 bt190-375:0(261)X566259
1647.87/1648.09	conflict 37lvl : 189 bt189-368:0(297)X566299
1647.87/1648.09	conflict 53lvl : 187 bt187-365:0(295)X566339
1648.17/1648.31	conflict 69lvl : 187 bt187-375:0(302)X566395
1648.17/1648.37	conflict 67lvl : 187 bt1874:0(291)X566467
1648.37/1648.58	conflict 37lvl : 188 bt188-365:0(336)X566537
1648.47/1648.67	conflict 37lvl : 188 bt188-365:0(348)X566577
1648.57/1648.70	conflict 37lvl : 188 bt188-6:0(340)X566617
1648.57/1648.71	conflict 54lvl : 188 bt18862:0(338)X566657
1648.57/1648.72	conflict 55lvl : 189 bt189-272:0(345)X566714
1648.57/1648.73	conflict 37lvl : 189 bt189-27:0(356)X566772
1648.87/1649.06	conflict 54lvl : 190 bt190-24:0(347)X566812
1648.97/1649.18	conflict 37lvl : 186 bt186-185:0(310)X566869
1649.07/1649.20	conflict 37lvl : 186 bt186-182:0(321)X566909
1649.27/1649.47	conflict 53lvl : 188 bt188-233:0(357)X566949
1649.87/1650.10	conflict 53lvl : 187 bt187-22:0(309)X567005
1650.77/1651.00	conflict 37lvl : 188 bt188-233:0(372)X567061
1651.17/1651.35	conflict 70lvl : 186 bt186275:0(300)X567101
1653.57/1653.78	conflict 37lvl : 190 bt189-304:0(367)X567174
1655.77/1655.91	conflict 54lvl : 187 bt187-24:0(363)X567214
1662.67/1662.86	conflict 53lvl : 184 bt184-222:0(301)X567271
1662.67/1662.87	conflict 37lvl : 189 bt189-28:0(352)X567327
1662.77/1663.00	conflict 37lvl : 189 bt189-28:0(348)X567367
1670.47/1670.68	conflict 37lvl : 190 bt190-230:0(366)X567407
1670.47/1670.69	conflict 54lvl : 190 bt1903:0(327)X567447
1670.57/1670.70	conflict 53lvl : 189 bt189-366:0(306)X567504
1671.47/1671.64	conflict 53lvl : 189 bt189-166:0(308)X567560
1674.37/1674.50	conflict 89lvl : 184 bt1845:0(294)X567616
1674.47/1674.63	conflict 67lvl : 185 bt185-365:0(343)X567708
1675.17/1675.31	conflict 37lvl : 190 bt190-367:0(359)X567778
1675.17/1675.31	conflict 53lvl : 189 bt189-367:0(356)X567818
1675.17/1675.40	conflict 37lvl : 186 bt186-368:0(343)X567874
1678.26/1678.43	conflict 53lvl : 187 bt187-6:0(304)X567914
1678.26/1678.43	conflict 53lvl : 185 bt185-167:0(357)X567970
1678.26/1678.43	conflict 37lvl : 184 bt184-375:0(356)X568026
1678.26/1678.43	conflict 53lvl : 183 bt183-175:0(348)X568066
1680.76/1680.90	conflict 53lvl : 189 bt189-271:0(325)X568122
1680.76/1680.90	conflict 70lvl : 188 bt18812:0(320)X568178
1680.87/1681.00	conflict 69lvl : 182 bt182-192:0(346)X568251
1680.87/1681.01	conflict 37lvl : 181 bt181-32:0(326)X568323
1680.97/1681.13	conflict 37lvl : 189 bt189-25:0(327)X568363
1680.97/1681.13	conflict 67lvl : 188 bt188-375:0(312)X568403
1682.26/1682.46	conflict 88lvl : 190 bt1905:0(314)X568473
1682.26/1682.47	conflict 71lvl : 186 bt1862:0(301)X568564
1683.16/1683.36	conflict 54lvl : 188 bt188-152:0(315)X568638
1683.16/1683.37	conflict 53lvl : 186 bt186-92:0(308)X568695
1683.16/1683.38	conflict 37lvl : 190 bt190-142:0(316)X568751
1683.16/1683.39	conflict 71lvl : 188 bt188-252:0(309)X568791
1683.26/1683.47	conflict 52lvl : 190 bt190-8:0(300)X568865
1683.26/1683.48	conflict 52lvl : 187 bt1874:0(299)X568920
1683.36/1683.57	conflict 54lvl : 190 bt1905:0(308)X568975
1683.36/1683.58	conflict 53lvl : 188 bt188-145:0(300)X569032
1683.36/1683.59	conflict 52lvl : 185 bt185-352:0(327)X569088
1691.87/1692.04	conflict 37lvl : 190 bt190-262:0(324)X569143
1692.16/1692.30	conflict 55lvl : 186 bt186345:0(331)X569183
1692.16/1692.30	conflict 71lvl : 185 bt185-252:0(326)X569241
1692.26/1692.45	conflict 70lvl : 188 bt188245:0(286)X569315
1692.26/1692.48	conflict 37lvl : 188 bt188-158:0(314)X569388
1692.36/1692.50	conflict 37lvl : 188 bt188-152:0(315)X569428
1692.66/1692.83	conflict 53lvl : 186 bt186-192:0(309)X569468
1692.66/1692.83	conflict 53lvl : 184 bt184-268:0(328)X569524
1694.06/1694.21	conflict 37lvl : 188 bt188-148:0(290)X569580
1694.36/1694.56	conflict 88lvl : 190 bt190-372:0(367)X569620
1694.76/1694.97	conflict 37lvl : 190 bt190-245:0(359)X569711
1694.97/1695.14	conflict 37lvl : 188 bt188-145:0(322)X569751
1695.16/1695.33	conflict 69lvl : 188 bt188245:0(281)X569791
1695.97/1696.15	conflict 37lvl : 188 bt188-88:0(316)X569863
1696.16/1696.37	conflict 68lvl : 188 bt1884:0(265)X569903
1696.46/1696.69	conflict 69lvl : 188 bt188-258:0(333)X569974
1697.16/1697.34	conflict 68lvl : 188 bt188-358:0(331)X570046
1697.56/1697.78	conflict 37lvl : 144 bt144-55:0(340)X576625
1697.87/1698.06	conflict 37lvl : 144 bt144-45:0(297)X576665
1697.87/1698.06	conflict 37lvl : 190 bt190-171:0(301)X576705
1697.87/1698.07	conflict 37lvl : 190 bt190-65:0(330)X576745
1697.87/1698.07	conflict 37lvl : 190 bt190-171:0(301)X576785
1697.87/1698.07	conflict 53lvl : 188 bt188-171:0(297)X576825
1697.97/1698.14	conflict 37lvl : 189 bt189-308:0(319)X576881
1697.97/1698.15	conflict 37lvl : 184 bt184-128:0(312)X576921
1698.36/1698.55	conflict 37lvl : 144 bt144-45:0(291)X576961
1698.36/1698.55	conflict 37lvl : 190 bt190-251:0(301)X577001
1698.36/1698.56	conflict 37lvl : 190 bt190-124:0(301)X577041
1698.36/1698.57	conflict 55lvl : 190 bt1908:0(373)X577081
1698.36/1698.57	conflict 54lvl : 189 bt1898:0(294)X577139
1698.36/1698.58	conflict 37lvl : 190 bt190-68:0(299)X577196
1698.36/1698.59	conflict 52lvl : 190 bt190-128:0(373)X577236
1698.36/1698.59	conflict 54lvl : 189 bt1894:0(294)X577291
1698.46/1698.64	conflict 37lvl : 190 bt190-125:0(301)X577348
1698.46/1698.69	conflict 54lvl : 190 bt1908:0(289)X577388
1698.56/1698.72	conflict 37lvl : 189 bt189-28:0(313)X577445
1698.56/1698.72	conflict 37lvl : 187 bt187-28:0(309)X577485
1698.56/1698.74	conflict 53lvl : 180 bt180-25:0(301)X577525
1698.66/1698.85	conflict 37lvl : 142 bt142-6:0(355)X577581
1698.97/1699.14	conflict 53lvl : 144 bt144-40:0(295)X577621
1698.97/1699.14	conflict 37lvl : 190 bt190-11:0(278)X577677
1698.97/1699.15	conflict 54lvl : 180 bt180-325:0(322)X577717
1698.97/1699.17	conflict 37lvl : 169 bt169-11:0(340)X577774
1699.06/1699.22	conflict 52lvl : 143 bt143-35:0(333)X577814
1699.36/1699.51	conflict 53lvl : 144 bt144-45:0(297)X577869
1699.97/1700.12	conflict 52lvl : 175 bt175-108:0(364)X577925
1700.26/1700.44	conflict 37lvl : 190 bt190-4:0(335)X577980
1700.26/1700.45	conflict 88lvl : 189 bt18948:0(328)X578020
1700.26/1700.45	conflict 87lvl : 188 bt18864:0(325)X578111
1700.26/1700.46	conflict 37lvl : 184 bt184-128:0(320)X578201
1700.26/1700.46	conflict 69lvl : 182 bt182-27:0(322)X578241
1700.26/1700.47	conflict 70lvl : 178 bt178-25:0(331)X578313
1700.26/1700.47	conflict 70lvl : 177 bt177325:0(329)X578386
1700.46/1700.67	conflict 37lvl : 189 bt189-125:0(315)X578459
1700.46/1700.69	conflict 37lvl : 189 bt189-25:0(311)X578499
1700.56/1700.79	conflict 54lvl : 188 bt1888:0(304)X578539
1700.66/1700.87	conflict 54lvl : 188 bt1888:0(304)X578596
1700.66/1700.89	conflict 37lvl : 189 bt189-128:0(310)X578653
1700.76/1700.90	conflict 37lvl : 189 bt189-25:0(316)X578693
1701.06/1701.26	conflict 54lvl : 189 bt1898:0(307)X578733
1701.36/1701.54	conflict 37lvl : 189 bt189-248:0(307)X578790
1713.06/1713.27	conflict 37lvl : 186 bt186-128:0(347)X578830
2210.84/2211.07	conflict 52lvl : 22 bt21-329:0(379)X587494
2210.84/2211.07	conflict 98lvl : 21 bt20-136:0(372)X587549
2519.83/2520.00	
2519.83/2520.00	c *** INTERRUPTED ***
2519.83/2520.00	c restarts              : 591         
2519.83/2520.00	c conflicts             : 6357029      (2523 /sec)
2519.83/2520.00	c decisions             : 82532910     (32753 /sec)
2519.83/2520.00	c propagations          : 1362161983  (540578 /sec)
2519.83/2520.00	c root propagations     : 4877        
2519.83/2520.00	c filter calls          : 963122821      (382218 /sec)
2519.83/2520.00	c useless filter calls  : 696287973      (72 %)
2519.83/2520.00	c
2519.83/2520.00	c clauses               : 19118
2519.83/2520.00	c SAT propagations      : 881155
2519.83/2520.00	c SAT conflicts         : 6051 (983 learnts)
2519.83/2520.00	c Memory used           : 34.27 MB
2519.83/2520.00	c CPU time              : 2519.82 s
2519.83/2520.00	
2519.83/2520.00	c nb Solutions = 15
2519.83/2520.00	s SATISFIABLE
2519.83/2520.00	c Best value found: -1463
2519.83/2520.00	
2519.83/2520.00	
2519.83/2520.00	v <instantiation type='solution' cost='-1463'>
2519.83/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][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][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][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][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][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][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][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][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][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][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][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][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][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][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][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][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][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][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][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][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][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[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.83/2520.00	v <values>* 0 1 4 0 2 5 5 0 0 0 3 5 5 0 5 2 0 4 0 * * 1 5 1 1 5 5 5 5 5 * * * * * * * * * * * * 10 10 2 2 5 0 2 10 * * * * * * * * * * * * * 10 2 2 3 5 2 2 * * * * * * * * * * * * * * 5 5 1 0 5 6 * * * * * * * * * * * * * * * 0 0 5 2 5 * * * * * * * * * * * * * * * * 2 1 10 1 * * * * * * * * * * * * * * * * * 4 0 0 * * * * * * * * * * * * * * * * * * 0 2 * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 1 5 10 1 0 0 0 10 * 5 10 3 4 5 5 2 2 * 2 5 2 1 2 0 0 5 0 1 * * 5 0 5 1 1 0 2 * 1 5 0 0 0 0 0 1 2 5 * * * 5 5 2 10 5 5 * 1 3 2 0 1 0 4 0 1 2 * * * * 0 1 0 5 10 * 5 1 1 2 0 6 5 0 0 5 * * * * * 0 5 2 5 * 6 5 0 10 5 5 10 2 2 0 * * * * * * 10 0 5 * 0 5 10 5 2 0 5 1 2 2 * * * * * * * 3 5 * 2 0 1 2 1 1 1 0 5 0 * * * * * * * * 0 * 2 1 10 5 10 0 5 0 2 2 * * * * * * * * * 2 4 14 7 19 3 5 0 16 12 18 1 17 13 15 9 6 11 8 10 </values>
2519.83/2520.00	v </instantiation>
2519.83/2520.00

Verifier Data 

OK	1463

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265795-1502571086/watcher-4265795-1502571086 -o /tmp/evaluation-result-4265795-1502571086/solver-4265795-1502571086 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265795-1502571086.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=14659, runsolver pid=14656
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352808/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34536 memory=8540 CPUtime=0.05 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 1840 0 0 0 5 0 0 0 20 0 1 0 59304041 35364864 2135 18446744073709551615 4194304 5972588 140726711129840 140726711126488 140064869800933 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8634 2135 766 435 0 1997 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 8540 KiB

[startup+0.209289 s]*
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352436/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34668 memory=8804 CPUtime=0.15 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 1862 0 0 0 15 0 0 0 20 0 1 0 59304041 35500032 2201 18446744073709551615 4194304 5972588 140726711129840 140726711126488 4935502 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8667 2201 786 435 0 2030 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 8804 KiB

[startup+0.308574 s]*
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352376/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34668 memory=8804 CPUtime=0.25 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 1869 0 0 0 25 0 0 0 20 0 1 0 59304041 35500032 2201 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8667 2201 786 435 0 2030 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 8804 KiB

[startup+0.700274 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352480/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34668 memory=8804 CPUtime=0.64 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 1874 0 0 0 64 0 0 0 20 0 1 0 59304041 35500032 2201 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046280 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8667 2201 786 435 0 2030 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 8804 KiB

[startup+1.50027 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352480/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34668 memory=8804 CPUtime=1.44 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 1874 0 0 0 144 0 0 0 20 0 1 0 59304041 35500032 2201 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935568 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8667 2201 786 435 0 2030 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 8804 KiB

[startup+3.10875 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352528/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34832 memory=8960 CPUtime=3.05 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 2669 0 0 0 305 0 0 0 20 0 1 0 59304041 35667968 2240 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139274 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8708 2240 791 435 0 2071 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 8960 KiB

[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352400/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34832 memory=8988 CPUtime=6.24 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 3467 0 0 0 624 0 0 0 20 0 1 0 59304041 35667968 2247 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8708 2247 792 435 0 2071 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 8988 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352400/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34832 memory=9040 CPUtime=12.64 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 4279 0 0 0 1264 0 0 0 20 0 1 0 59304041 35667968 2260 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935657 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8708 2260 792 435 0 2071 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 9040 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.24 3/181 14660
/proc/meminfo: memFree=31352648/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9108 CPUtime=25.43 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 5827 0 0 0 2543 0 0 0 20 0 1 0 59304041 35799040 2277 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4931790 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2277 792 435 0 2103 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9108 KiB

[startup+51.1086 s]
/proc/loadavg: 2.00 2.01 2.23 3/181 14661
/proc/meminfo: memFree=31352772/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9128 CPUtime=51.04 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 6616 0 0 0 5104 0 0 0 20 0 1 0 59304041 35799040 2282 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5048405 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2282 792 435 0 2103 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9128 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/181 14662
/proc/meminfo: memFree=31351580/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9176 CPUtime=102.23 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 7449 0 0 0 10223 0 0 0 20 0 1 0 59304041 35799040 2294 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935585 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2294 792 435 0 2103 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9176 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/186 14680
/proc/meminfo: memFree=31347724/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9204 CPUtime=162.23 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 7797 0 0 0 16223 0 0 0 20 0 1 0 59304041 35799040 2301 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139329 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2301 792 435 0 2103 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9204 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/186 14682
/proc/meminfo: memFree=31347176/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9204 CPUtime=222.23 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 8145 0 0 0 22223 0 0 0 20 0 1 0 59304041 35799040 2301 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2301 792 435 0 2103 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9204 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/183 14684
/proc/meminfo: memFree=31350248/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9204 CPUtime=282.22 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 8485 0 0 0 28222 0 0 0 20 0 1 0 59304041 35799040 2301 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2301 792 435 0 2103 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9204 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/183 14686
/proc/meminfo: memFree=31350600/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9208 CPUtime=342.22 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 8832 0 0 0 34222 0 0 0 20 0 1 0 59304041 35799040 2302 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935456 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2302 792 435 0 2103 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9208 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/183 14688
/proc/meminfo: memFree=31351096/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9208 CPUtime=402.22 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 9179 0 0 0 40222 0 0 0 20 0 1 0 59304041 35799040 2302 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2302 792 435 0 2103 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9208 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/181 14690
/proc/meminfo: memFree=31351028/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=34960 memory=9212 CPUtime=462.22 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 9505 0 0 0 46222 0 0 0 20 0 1 0 59304041 35799040 2303 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046704 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8740 2303 792 435 0 2103 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 9212 KiB


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

/proc/14659/statm: 8773 2842 792 435 0 2136 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11368 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14913
/proc/meminfo: memFree=19803944/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11376 CPUtime=1782.16 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 17021 0 0 0 178215 1 0 0 20 0 1 0 59304041 35934208 2844 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935613 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2844 792 435 0 2136 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11376 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14915
/proc/meminfo: memFree=19803536/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=1842.15 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 17395 0 0 0 184214 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139324 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 14917
/proc/meminfo: memFree=19803896/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=1902.15 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 17751 0 0 0 190214 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 14934
/proc/meminfo: memFree=19798796/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=1962.15 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 18099 0 0 0 196214 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046280 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 14936
/proc/meminfo: memFree=19799404/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2022.15 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 18470 0 0 0 202214 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4935454 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14938
/proc/meminfo: memFree=19802380/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2082.14 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 18805 0 0 0 208213 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5048580 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 14940
/proc/meminfo: memFree=19802812/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2142.14 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 19156 0 0 0 214213 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4931747 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 14942
/proc/meminfo: memFree=19802616/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2202.14 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 19491 0 0 0 220213 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4931696 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14944
/proc/meminfo: memFree=19803312/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2262.13 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 19896 0 0 0 226212 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4931747 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14946
/proc/meminfo: memFree=19802712/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2322.13 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 20235 0 0 0 232212 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 4931801 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 14948
/proc/meminfo: memFree=19802236/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2382.13 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 20560 0 0 0 238212 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139329 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14950
/proc/meminfo: memFree=19802100/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2442.12 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 20893 0 0 0 244211 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14952
/proc/meminfo: memFree=19801296/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2502.12 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 21265 0 0 0 250211 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5046664 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 14954
/proc/meminfo: memFree=19801740/32770624 swapFree=67105588/67108860
[pid=14659] ppid=14656 vsize=35092 memory=11380 CPUtime=2519.83 cores=1,3,5,7
/proc/14659/stat : 14659 (cosoco) R 14656 14659 12560 0 -1 4202496 21593 0 0 0 251982 1 0 0 20 0 1 0 59304041 35934208 2845 18446744073709551615 4194304 5972588 140726711129840 140726711127064 5139327 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 24154112 140726711132612 140726711132712 140726711132712 140726711136206 0
/proc/14659/statm: 8773 2845 792 435 0 2136 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 35092 KiB
Current children cumulated memory: 11380 KiB

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

[startup+2520.01 s]
# the end of solver process 14659 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.82 s, system=0.018999 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): 2519.84
CPU user time (s): 2519.82
CPU system time (s): 0.018999
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 35092
Max. memory (cumulated for all children) (KiB): 11380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.018999
maximum resident set size= 11456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21653
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= 10
involuntary context switches= 684


# summary of solver processes directly reported to runsolver:
#   pid: 14659
#   total CPU time (s): 2519.84
#   total CPU user time (s): 2519.82
#   total CPU system time (s): 0.018999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08249 second user time and 15.177 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 22:37:25
IDJOB=4265795
IDBENCH=123129
IDSOLVER=2655
FILE ID=node126/4265795-1502571086
RUNJOBID= node126-1502565162-12624
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265795-1502571086/watcher-4265795-1502571086 -o /tmp/evaluation-result-4265795-1502571086/solver-4265795-1502571086 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265795-1502571086.xml

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

MD5SUM BENCH= 1ce5b24a466c3cb241db2c2b366e9012
RANDOM SEED=993598635

node126.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.81
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.81
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.81
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.81
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:        31358176 kB
MemAvailable:   31676720 kB
Buffers:          230068 kB
Cached:           359716 kB
SwapCached:          524 kB
Active:           843912 kB
Inactive:         108824 kB
Active(anon):     310096 kB
Inactive(anon):    78100 kB
Active(file):     533816 kB
Inactive(file):    30724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:        362188 kB
Mapped:            46160 kB
Shmem:             25248 kB
Slab:             165304 kB
SReclaimable:     139676 kB
SUnreclaim:        25628 kB
KernelStack:        3216 kB
PageTables:         5508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     652148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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 node126 at 2017-08-12 23:19:25