Trace number 4240545

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
R1: cosoco-sat 1.1No Cert. 2400.07 2400.4

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.02	c SAT : Variables: 3600 -- Clauses: 15420
0.00/0.02	c best=?? lower=0 upper=5700 
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c enable optimization
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.02 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 420
0.00/0.04	c |            Domain Sizes: 8..20
0.00/0.04	c |
0.00/0.04	c |             Constraints: 192
0.00/0.04	c |                   Arity: 3..190  -- Ternary: 190
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          All Different: 1
0.00/0.04	c |                          Extension: 190  (nb tuples: 380..380) -- (shared: 189)
0.00/0.04	c |                          Sum: 1
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	o 1636
0.00/0.04	c    1 calls to solver: best=1636 lower=0 upper=1635 
0.00/0.08	o 1564
0.19/0.23	conflict 37lvl : 30 bt30-318:0(584)X78246
0.19/0.23	conflict 53lvl : 45 bt45-219:0(755)X78286
0.39/0.43	conflict 37lvl : 25 bt25-119:0(512)X94237
0.39/0.43	conflict 37lvl : 31 bt31-239:0(584)X94277
0.39/0.47	conflict 37lvl : 25 bt25-378:0(511)X95764
0.39/0.47	conflict 37lvl : 31 bt31-398:0(583)X95804
0.49/0.51	o 1541
0.49/0.51	c    3 calls to solver: best=1541 lower=0 upper=1540 
0.79/0.84	conflict 37lvl : 37 bt37-59:0(658)X116427
0.89/0.97	conflict 37lvl : 25 bt25-138:0(511)X123071
0.89/0.97	conflict 37lvl : 31 bt31-118:0(583)X123111
0.99/1.01	conflict 37lvl : 30 bt30-258:0(582)X125343
0.99/1.04	conflict 37lvl : 30 bt30-212:0(582)X128168
0.99/1.04	conflict 37lvl : 37 bt37-79:0(654)X128208
0.99/1.07	conflict 54lvl : 26 bt26-298:0(514)X130529
0.99/1.07	conflict 53lvl : 32 bt32-258:0(580)X130586
1.09/1.16	conflict 37lvl : 30 bt30-192:0(585)X136095
1.09/1.20	conflict 37lvl : 25 bt25-138:0(508)X137186
1.09/1.20	conflict 37lvl : 31 bt31-118:0(580)X137226
1.79/1.80	conflict 37lvl : 30 bt30-254:0(565)X173871
1.79/1.80	conflict 37lvl : 37 bt37-134:0(639)X173911
1.79/1.84	conflict 37lvl : 37 bt37-158:0(654)X176993
1.79/1.89	conflict 37lvl : 85 bt85-238:0(999)X179994
1.79/1.89	conflict 37lvl : 85 bt84-295:0(1004)X180034
1.99/2.07	conflict 37lvl : 30 bt30-358:0(564)X191260
1.99/2.07	conflict 37lvl : 37 bt37-58:0(638)X191300
2.09/2.11	conflict 37lvl : 30 bt30-218:0(564)X194259
2.09/2.11	conflict 37lvl : 37 bt37-178:0(638)X194299
2.09/2.17	conflict 37lvl : 26 bt26-338:0(514)X198069
2.09/2.17	conflict 54lvl : 32 bt32-58:0(583)X198109
2.09/2.19	o 1536
2.29/2.31	conflict 53lvl : 25 bt25-319:0(516)X205473
2.29/2.31	conflict 53lvl : 31 bt31-259:0(588)X205529
2.29/2.37	conflict 53lvl : 25 bt25-39:0(512)X209211
2.29/2.37	conflict 37lvl : 31 bt31-194:0(582)X209267
2.39/2.45	conflict 37lvl : 96 bt96-168:0(1093)X214751
2.39/2.46	conflict 37lvl : 96 bt96-168:0(1093)X214791
2.39/2.46	conflict 37lvl : 30 bt30-338:0(584)X215350
2.39/2.49	o 1522
2.39/2.49	c    5 calls to solver: best=1522 lower=0 upper=1521 
2.59/2.68	o 1518
2.69/2.71	conflict 53lvl : 30 bt30-338:0(584)X229631
2.69/2.71	conflict 37lvl : 45 bt45-359:0(758)X229687
2.79/2.82	conflict 53lvl : 25 bt25-99:0(514)X234443
2.79/2.82	conflict 53lvl : 31 bt31-139:0(586)X234499
2.79/2.87	conflict 37lvl : 25 bt25-179:0(511)X236243
2.79/2.87	conflict 37lvl : 31 bt31-279:0(583)X236283
2.89/2.95	conflict 37lvl : 47 bt46-32:0(726)X241166
2.89/2.95	conflict 37lvl : 47 bt47-149:0(729)X241206
2.89/2.95	conflict 37lvl : 47 bt46-149:0(733)X241246
2.99/3.00	conflict 37lvl : 25 bt25-272:0(515)X244156
2.99/3.00	conflict 37lvl : 31 bt31-174:0(582)X244196
2.99/3.04	conflict 37lvl : 25 bt25-192:0(508)X247502
2.99/3.04	conflict 37lvl : 31 bt31-12:0(580)X247542
3.09/3.13	o 1507
3.09/3.13	c    7 calls to solver: best=1507 lower=0 upper=1506 
3.09/3.14	conflict 54lvl : 30 bt3014:0(563)X253718
3.09/3.14	conflict 37lvl : 37 bt37-134:0(637)X253775
3.19/3.20	conflict 37lvl : 30 bt30-34:0(584)X257352
3.19/3.20	conflict 37lvl : 45 bt45-79:0(755)X257392
3.19/3.27	conflict 53lvl : 31 bt31-278:0(590)X261636
3.39/3.45	conflict 37lvl : 37 bt37-32:0(656)X274407
3.39/3.47	o 1500
3.49/3.51	conflict 37lvl : 30 bt30-398:0(584)X278861
3.49/3.51	conflict 52lvl : 45 bt45-319:0(755)X278901
3.49/3.55	conflict 53lvl : 30 bt30-339:0(585)X280183
3.69/3.72	conflict 37lvl : 25 bt25-154:0(510)X291392
3.69/3.72	conflict 53lvl : 31 bt31-318:0(581)X291432
3.69/3.76	conflict 71lvl : 30 bt3099:0(579)X293770
3.69/3.78	conflict 37lvl : 96 bt96-268:0(1093)X294672
3.69/3.78	conflict 37lvl : 96 bt96-268:0(1093)X294712
3.79/3.82	conflict 54lvl : 31 bt31334:0(583)X296122
3.79/3.85	conflict 37lvl : 27 bt27-358:0(608)X297019
3.79/3.85	conflict 53lvl : 38 bt38-354:0(667)X297059
4.09/4.11	conflict 37lvl : 37 bt37-138:0(659)X310500
4.19/4.23	conflict 54lvl : 31 bt31-74:0(588)X317431
4.19/4.23	conflict 53lvl : 38 bt38-238:0(671)X317488
4.39/4.48	conflict 37lvl : 96 bt96-388:0(1093)X329241
4.39/4.48	conflict 37lvl : 96 bt96-388:0(1093)X329281
4.79/4.82	conflict 53lvl : 25 bt25-59:0(511)X347609
4.79/4.82	conflict 53lvl : 31 bt31-299:0(583)X347665
4.89/4.92	conflict 53lvl : 25 bt25-159:0(511)X352729
4.89/4.92	conflict 37lvl : 31 bt31-12:0(583)X352785
4.89/4.93	conflict 37lvl : 47 bt46-72:0(725)X354918
4.89/4.93	conflict 37lvl : 47 bt47-69:0(726)X354958
4.89/4.93	conflict 37lvl : 47 bt46-69:0(730)X354998
4.99/5.00	conflict 90lvl : 46 bt46325:0(720)X359406
4.99/5.00	conflict 54lvl : 46 bt46340:0(721)X359499
4.99/5.06	conflict 53lvl : 25 bt25-278:0(512)X362050
4.99/5.06	conflict 53lvl : 31 bt31-98:0(584)X362106
4.99/5.08	conflict 37lvl : 45 bt45-114:0(712)X364103
4.99/5.08	conflict 37lvl : 54 bt54-338:0(792)X364143
5.09/5.15	conflict 53lvl : 30 bt30-199:0(584)X368354
5.09/5.17	conflict 37lvl : 46 bt46-158:0(787)X370268
5.09/5.17	conflict 54lvl : 45 bt45-159:0(714)X370308
5.09/5.17	conflict 37lvl : 45 bt45-154:0(711)X370365
5.19/5.21	o 1490
5.19/5.21	c    9 calls to solver: best=1490 lower=0 upper=1489 
5.19/5.23	conflict 72lvl : 30 bt30192:0(582)X375537
5.19/5.26	o 1487
5.59/5.61	conflict 53lvl : 37 bt37-19:0(652)X392058
5.59/5.61	conflict 37lvl : 45 bt45-272:0(740)X392114
5.69/5.70	conflict 53lvl : 30 bt30-19:0(584)X398442
5.69/5.76	conflict 37lvl : 45 bt45-12:0(713)X401862
5.89/5.90	o 1478
5.89/5.90	c   11 calls to solver: best=1478 lower=0 upper=1477 
6.19/6.21	conflict 37lvl : 25 bt25-14:0(509)X414103
6.19/6.21	conflict 53lvl : 31 bt31-274:0(579)X414143
6.49/6.55	conflict 37lvl : 190 bt190-68:0(283)X414506
6.49/6.57	conflict 37lvl : 184 bt184-8:0(256)X414546
6.49/6.57	conflict 37lvl : 182 bt182-25:0(393)X414586
6.49/6.58	conflict 53lvl : 182 bt182-275:0(302)X414626
6.49/6.59	conflict 37lvl : 190 bt190-75:0(255)X414682
6.59/6.61	conflict 36lvl : 184 bt184-268:0(280)X414722
7.59/7.64	conflict 37lvl : 22 bt22-168:0(381)X420447
7.59/7.64	conflict 37lvl : 22 bt21-168:0(386)X420487
7.59/7.64	conflict 52lvl : 21 bt20-136:0(372)X420527
7.99/8.04	conflict 53lvl : 92 bt91-97:0(200)X421109
8.49/8.57	conflict 37lvl : 30 bt30-134:0(586)X425204
11.39/11.49	conflict 37lvl : 179 bt179-71:0(290)X432373
11.49/11.50	conflict 37lvl : 178 bt178-5:0(363)X432413
11.49/11.50	conflict 37lvl : 178 bt178-5:0(423)X432453
11.49/11.50	conflict 37lvl : 178 bt178-148:0(347)X432493
11.59/11.67	conflict 37lvl : 179 bt179-75:0(313)X432533
11.59/11.69	conflict 37lvl : 178 bt178-262:0(285)X432573
11.69/11.70	conflict 37lvl : 178 bt178-264:0(329)X432613
11.69/11.70	conflict 54lvl : 177 bt17751:0(353)X432653
11.69/11.70	conflict 37lvl : 177 bt177-25:0(414)X432710
11.69/11.71	conflict 37lvl : 177 bt177-188:0(343)X432750
11.79/11.85	o 1476
11.89/11.94	conflict 54lvl : 179 bt179365:0(370)X434829
11.99/12.04	conflict 37lvl : 178 bt178-322:0(282)X434886
12.09/12.13	conflict 37lvl : 178 bt178-45:0(336)X434926
12.09/12.20	o 1470
12.09/12.20	c   13 calls to solver: best=1470 lower=0 upper=1469 
12.19/12.21	conflict 37lvl : 190 bt190-15:0(249)X436057
12.19/12.23	conflict 37lvl : 179 bt179-8:0(275)X436097
12.19/12.27	conflict 36lvl : 179 bt179-208:0(277)X436137
12.19/12.27	conflict 53lvl : 178 bt178-5:0(280)X436176
12.19/12.28	conflict 54lvl : 190 bt19024:0(271)X436232
12.39/12.43	conflict 37lvl : 179 bt179-262:0(285)X436289
12.39/12.43	conflict 54lvl : 179 bt179-18:0(334)X436329
12.69/12.78	o 1466
12.79/12.81	conflict 71lvl : 179 bt17928:0(251)X438387
12.79/12.82	conflict 54lvl : 172 bt17271:0(381)X438461
12.79/12.83	conflict 37lvl : 172 bt172-208:0(287)X438518
12.99/13.02	conflict 52lvl : 171 bt170-17:0(275)X438558
12.99/13.03	conflict 37lvl : 169 bt169-208:0(236)X438613
12.99/13.03	conflict 51lvl : 169 bt169-355:0(285)X438653
12.99/13.04	conflict 52lvl : 169 bt169-359:0(239)X438707
12.99/13.04	conflict 53lvl : 169 bt169-208:0(293)X438762
12.99/13.05	conflict 53lvl : 168 bt168-199:0(236)X438818
12.99/13.05	conflict 37lvl : 168 bt168-348:0(288)X438874
12.99/13.05	conflict 65lvl : 167 bt167-16:0(231)X438914
12.99/13.05	conflict 65lvl : 167 bt166-17:0(263)X438982
12.99/13.08	conflict 37lvl : 165 bt165-175:0(264)X439050
12.99/13.08	conflict 54lvl : 166 bt16646:0(431)X439090
12.99/13.08	conflict 54lvl : 165 bt165-18:0(316)X439147
12.99/13.09	conflict 37lvl : 164 bt164-95:0(343)X439204
13.09/13.14	conflict 53lvl : 161 bt161-262:0(267)X439244
13.09/13.16	conflict 37lvl : 161 bt161-175:0(260)X439300
13.09/13.17	conflict 37lvl : 160 bt160-8:0(227)X439340
13.09/13.18	conflict 37lvl : 159 bt159-25:0(420)X439380
13.09/13.18	conflict 37lvl : 159 bt159-208:0(337)X439420
13.09/13.18	conflict 37lvl : 159 bt159-24:0(349)X439460
13.09/13.20	conflict 37lvl : 158 bt158-348:0(334)X439500
13.09/13.20	conflict 54lvl : 158 bt15868:0(346)X439540
13.19/13.26	conflict 54lvl : 153 bt15367:0(392)X439597
13.19/13.27	conflict 37lvl : 153 bt153-88:0(334)X439654
13.19/13.28	conflict 37lvl : 153 bt153-208:0(334)X439694
13.19/13.29	conflict 70lvl : 152 bt152-184:0(261)X439734
13.19/13.29	conflict 37lvl : 152 bt152-185:0(245)X439807
13.29/13.30	conflict 37lvl : 152 bt152-85:0(326)X439847
13.29/13.33	conflict 37lvl : 151 bt151-75:0(253)X439887
13.29/13.33	conflict 87lvl : 152 bt15285:0(415)X439927
13.29/13.34	conflict 68lvl : 150 bt150-5:0(335)X440017
13.39/13.44	conflict 37lvl : 146 bt146-52:0(392)X440088
13.39/13.44	conflict 37lvl : 146 bt146-59:0(359)X440128
13.39/13.46	conflict 37lvl : 146 bt146-205:0(317)X440168
13.39/13.47	conflict 54lvl : 146 bt146348:0(318)X440208
13.39/13.48	conflict 69lvl : 145 bt145-164:0(253)X440265
13.39/13.48	conflict 37lvl : 145 bt145-165:0(232)X440337
13.39/13.48	conflict 70lvl : 145 bt145-9:0(271)X440377
13.49/13.54	conflict 37lvl : 143 bt143-305:0(307)X440450
13.49/13.57	conflict 37lvl : 142 bt142-175:0(324)X440490
13.49/13.58	conflict 54lvl : 142 bt142368:0(304)X440530
13.59/13.60	conflict 37lvl : 141 bt141-105:0(320)X440587
13.59/13.63	conflict 72lvl : 140 bt14087:0(389)X440627
13.59/13.63	conflict 37lvl : 140 bt140-39:0(357)X440702
13.59/13.63	conflict 37lvl : 140 bt140-26:0(404)X440742
13.69/13.71	conflict 37lvl : 138 bt138-190:0(312)X440782
13.69/13.71	conflict 37lvl : 137 bt137-45:0(295)X440822
13.69/13.72	conflict 52lvl : 137 bt137-72:0(346)X440862
13.69/13.72	conflict 37lvl : 137 bt137-57:0(394)X440917
13.69/13.72	conflict 54lvl : 137 bt137107:0(334)X440957
13.69/13.72	conflict 37lvl : 137 bt137-54:0(359)X441014
13.69/13.73	conflict 37lvl : 137 bt137-44:0(307)X441054
13.69/13.74	conflict 54lvl : 136 bt136112:0(290)X441094
13.69/13.75	conflict 54lvl : 136 bt136108:0(298)X441151
13.79/13.80	conflict 37lvl : 134 bt134-87:0(377)X441208
13.79/13.80	conflict 54lvl : 134 bt134127:0(334)X441248
13.79/13.80	conflict 54lvl : 134 bt134128:0(385)X441305
13.79/13.81	conflict 37lvl : 134 bt134-118:0(319)X441362
13.79/13.84	conflict 71lvl : 134 bt134105:0(353)X441402
13.79/13.85	conflict 53lvl : 133 bt133-162:0(238)X441476
13.79/13.89	conflict 37lvl : 133 bt133-112:0(341)X441532
13.89/13.99	conflict 71lvl : 133 bt133255:0(275)X441572
13.89/13.99	conflict 53lvl : 133 bt133-165:0(252)X441646
13.89/13.99	conflict 54lvl : 132 bt132-8:0(367)X441702
13.89/13.99	conflict 68lvl : 132 bt131-257:0(234)X441759
13.99/14.00	conflict 53lvl : 131 bt131-8:0(348)X441830
13.99/14.00	conflict 53lvl : 130 bt130-242:0(267)X441886
13.99/14.01	conflict 37lvl : 129 bt129-162:0(264)X441942
13.99/14.01	conflict 54lvl : 128 bt128204:0(261)X441982
13.99/14.02	conflict 70lvl : 127 bt127205:0(258)X442039
13.99/14.02	conflict 69lvl : 126 bt126202:0(246)X442112
14.09/14.13	conflict 37lvl : 123 bt123-95:0(271)X442184
14.09/14.18	conflict 37lvl : 122 bt122-165:0(297)X442224
14.09/14.19	conflict 69lvl : 122 bt122128:0(306)X442264
14.09/14.19	conflict 37lvl : 121 bt121-72:0(298)X442336
14.09/14.19	conflict 54lvl : 121 bt121143:0(351)X442376
14.09/14.19	conflict 54lvl : 121 bt121145:0(314)X442433
14.18/14.24	conflict 69lvl : 120 bt120-264:0(228)X442490
14.18/14.24	conflict 37lvl : 120 bt120-265:0(201)X442562
21.18/21.24	conflict 52lvl : 22 bt22-107:0(384)X448892
21.18/21.24	conflict 52lvl : 22 bt21-107:0(388)X448947
21.18/21.24	conflict 100lvl : 21 bt20-236:0(372)X449002
22.48/22.51	conflict 37lvl : 151 bt151-152:0(259)X449499
22.48/22.58	conflict 37lvl : 133 bt133-11:0(348)X449539
22.48/22.59	conflict 37lvl : 133 bt133-108:0(243)X449579
22.48/22.59	conflict 37lvl : 132 bt132-32:0(241)X449619
22.48/22.59	conflict 54lvl : 132 bt13272:0(335)X449659
22.48/22.59	conflict 52lvl : 132 bt131-157:0(234)X449716
22.58/22.60	conflict 37lvl : 130 bt130-142:0(268)X449771
22.58/22.61	conflict 54lvl : 129 bt129104:0(263)X449811
22.58/22.61	conflict 53lvl : 128 bt128-142:0(266)X449868
22.58/22.62	conflict 88lvl : 127 bt12728:0(262)X449924
22.88/22.95	conflict 87lvl : 120 bt12028:0(250)X450015
23.68/23.77	conflict 104lvl : 116 bt11628:0(246)X450105
23.68/23.78	conflict 103lvl : 114 bt11428:0(242)X450212
23.78/23.83	conflict 53lvl : 105 bt105-228:0(174)X450318
28.48/28.56	conflict 54lvl : 21 bt21225:0(372)X454581
28.48/28.56	conflict 52lvl : 21 bt20-236:0(372)X454638
30.18/30.29	conflict 37lvl : 190 bt190-335:0(255)X455063
30.18/30.29	conflict 37lvl : 187 bt187-328:0(289)X455103
30.28/30.37	conflict 54lvl : 190 bt1904:0(271)X455143
30.48/30.54	conflict 53lvl : 161 bt161-115:0(269)X455200
30.89/30.99	conflict 53lvl : 162 bt162-325:0(259)X455256
31.38/31.48	conflict 71lvl : 161 bt161322:0(293)X455312
31.38/31.48	conflict 37lvl : 190 bt190-331:0(278)X455386
31.58/31.61	conflict 71lvl : 162 bt1628:0(234)X455426
31.68/31.71	conflict 69lvl : 162 bt161-337:0(266)X455500
31.68/31.72	conflict 52lvl : 160 bt160-115:0(295)X455572
31.68/31.72	conflict 102lvl : 159 bt159-331:0(285)X455627
31.68/31.72	conflict 69lvl : 159 bt159-16:0(386)X455732
31.68/31.73	conflict 69lvl : 158 bt158-231:0(281)X455804
31.68/31.73	conflict 86lvl : 158 bt15848:0(381)X455876
31.68/31.73	conflict 85lvl : 157 bt157-331:0(279)X455965
31.68/31.77	conflict 52lvl : 148 bt148-111:0(266)X456053
39.38/39.43	conflict 52lvl : 22 bt21-235:0(384)X460602
39.38/39.43	conflict 84lvl : 21 bt20-256:0(372)X460657
50.28/50.32	conflict 52lvl : 22 bt21-216:0(379)X464417
50.28/50.32	conflict 37lvl : 38 bt22-204:0(501)X464472
53.38/53.42	conflict 37lvl : 179 bt179-215:0(284)X464834
53.38/53.44	conflict 37lvl : 187 bt187-5:0(306)X464874
53.38/53.44	conflict 71lvl : 186 bt18628:0(303)X464914
53.38/53.46	conflict 104lvl : 178 bt17848:0(395)X464988
53.38/53.46	conflict 37lvl : 178 bt178-68:0(281)X465095
53.48/53.59	conflict 37lvl : 189 bt189-128:0(320)X465135
53.58/53.61	conflict 37lvl : 179 bt179-228:0(253)X465175
53.58/53.63	conflict 53lvl : 175 bt175-8:0(414)X465215
53.58/53.63	conflict 37lvl : 175 bt175-208:0(291)X465271
53.58/53.63	conflict 37lvl : 190 bt190-28:0(294)X465311
53.58/53.64	conflict 87lvl : 189 bt18928:0(285)X465351
53.58/53.64	conflict 37lvl : 188 bt188-28:0(283)X465441
53.58/53.66	conflict 37lvl : 190 bt190-35:0(257)X465481
54.18/54.24	conflict 37lvl : 152 bt152-8:0(266)X465521
54.18/54.24	conflict 37lvl : 151 bt151-68:0(261)X465561
54.18/54.25	conflict 52lvl : 151 bt150-77:0(253)X465601
54.18/54.25	conflict 106lvl : 149 bt14984:0(281)X465656
54.18/54.26	conflict 105lvl : 148 bt14885:0(276)X465765
54.18/54.26	conflict 37lvl : 148 bt148-8:0(215)X465873
54.28/54.37	conflict 53lvl : 180 bt180-26:0(334)X465913
54.68/54.74	conflict 54lvl : 189 bt189-225:0(333)X465969
54.68/54.76	conflict 52lvl : 179 bt179-26:0(399)X466026
54.68/54.76	conflict 101lvl : 179 bt179-17:0(281)X466081
54.78/54.83	conflict 37lvl : 181 bt181-20:0(332)X466185
54.78/54.83	conflict 55lvl : 190 bt19024:0(364)X466225
54.88/54.92	conflict 37lvl : 181 bt181-82:0(295)X466283
54.98/55.01	conflict 37lvl : 190 bt190-11:0(304)X466323
54.98/55.01	conflict 53lvl : 189 bt189-11:0(301)X466363
55.08/55.12	conflict 37lvl : 179 bt179-130:0(312)X466419
55.08/55.12	conflict 37lvl : 178 bt178-83:0(337)X466459
55.18/55.23	conflict 53lvl : 180 bt180-65:0(287)X466499
55.28/55.35	conflict 37lvl : 181 bt181-65:0(341)X466555
55.38/55.45	conflict 53lvl : 179 bt179-206:0(341)X466595
55.48/55.50	conflict 53lvl : 181 bt181-26:0(352)X466651
69.48/69.50	conflict 37lvl : 22 bt21-166:0(379)X471240
69.48/69.50	conflict 69lvl : 21 bt20-216:0(372)X471280
86.67/86.73	conflict 52lvl : 22 bt21-291:0(381)X474060
86.67/86.73	conflict 84lvl : 21 bt20-236:0(372)X474115
95.37/95.45	o 1463
95.37/95.45	c   15 calls to solver: best=1463 lower=0 upper=1462 
95.57/95.64	conflict 37lvl : 187 bt187-289:0(321)X474202
95.68/95.76	conflict 53lvl : 187 bt187-292:0(367)X474242
95.68/95.76	conflict 37lvl : 186 bt186-212:0(348)X474298
95.68/95.76	conflict 37lvl : 185 bt185-292:0(310)X474338
95.68/95.76	conflict 55lvl : 188 bt1884:0(310)X474378
95.68/95.79	conflict 69lvl : 184 bt184-271:0(374)X474436
95.68/95.79	conflict 55lvl : 190 bt1904:0(361)X474508
95.78/95.86	conflict 37lvl : 190 bt189-222:0(359)X474566
95.97/96.00	conflict 37lvl : 185 bt185-85:0(330)X474606
95.97/96.06	conflict 69lvl : 183 bt183-91:0(376)X474646
95.97/96.09	conflict 69lvl : 183 bt183-171:0(390)X474718
96.37/96.42	conflict 37lvl : 157 bt157-148:0(325)X475811
96.37/96.45	conflict 54lvl : 156 bt156362:0(324)X475851
96.78/96.82	conflict 37lvl : 153 bt153-345:0(305)X475908
96.78/96.82	conflict 37lvl : 190 bt190-151:0(260)X475948
96.78/96.83	conflict 54lvl : 176 bt176-85:0(319)X475988
96.97/97.07	conflict 37lvl : 153 bt153-230:0(317)X476045
97.27/97.31	conflict 37lvl : 153 bt153-345:0(306)X476085
97.27/97.31	conflict 37lvl : 190 bt190-291:0(260)X476125
97.27/97.32	conflict 54lvl : 187 bt187-265:0(331)X476165
97.37/97.40	conflict 53lvl : 152 bt152-88:0(224)X476222
97.37/97.40	conflict 37lvl : 152 bt152-88:0(271)X476278
97.67/97.71	conflict 53lvl : 152 bt152-268:0(223)X476318
97.67/97.71	conflict 37lvl : 152 bt152-268:0(269)X476374
97.88/97.94	conflict 37lvl : 153 bt153-28:0(229)X476414
97.88/97.95	conflict 37lvl : 151 bt151-208:0(226)X476454
97.98/98.06	conflict 37lvl : 121 bt121-88:0(230)X476494
98.17/98.22	conflict 52lvl : 121 bt120-37:0(223)X476534
98.27/98.39	conflict 37lvl : 121 bt121-16:0(347)X476589
98.87/98.91	conflict 37lvl : 121 bt121-8:0(354)X476629
99.77/99.87	conflict 37lvl : 122 bt122-65:0(273)X476669
99.77/99.87	conflict 37lvl : 190 bt190-51:0(301)X476709
99.77/99.89	conflict 53lvl : 185 bt185-228:0(315)X476749
99.87/99.90	conflict 53lvl : 181 bt181-225:0(309)X476805
99.87/99.90	conflict 53lvl : 180 bt180-165:0(307)X476861
100.77/100.88	conflict 68lvl : 186 bt186-168:0(320)X476917
100.77/100.88	conflict 37lvl : 186 bt186-168:0(338)X476988
101.18/101.23	conflict 37lvl : 188 bt188-268:0(334)X477028
128.27/128.31	conflict 52lvl : 22 bt21-311:0(379)X485370
128.27/128.31	conflict 84lvl : 21 bt20-376:0(372)X485425
139.87/139.99	conflict 53lvl : 22 bt21-307:0(380)X487658
139.87/139.99	conflict 84lvl : 21 bt20-216:0(372)X487714
188.17/188.26	conflict 37lvl : 30 bt30-352:0(584)X492617
209.96/210.00	conflict 52lvl : 22 bt21-307:0(379)X494658
209.96/210.00	conflict 99lvl : 21 bt20-236:0(372)X494713
233.35/233.42	conflict 53lvl : 22 bt21-72:0(379)X496147
233.35/233.42	conflict 99lvl : 21 bt20-316:0(372)X496203
297.85/297.95	conflict 52lvl : 22 bt21-144:0(379)X499436
297.85/297.95	conflict 99lvl : 21 bt20-216:0(372)X499491
335.14/335.25	conflict 54lvl : 21 bt2144:0(372)X501751
335.14/335.25	conflict 52lvl : 21 bt20-56:0(372)X501808
376.93/377.09	conflict 53lvl : 19 bt18-350:0(279)X503297
461.72/461.82	conflict 52lvl : 22 bt22-244:0(380)X508971
461.72/461.82	conflict 52lvl : 22 bt21-244:0(385)X509026
461.72/461.82	conflict 99lvl : 21 bt20-196:0(372)X509081
512.32/512.47	conflict 52lvl : 21 bt20-56:0(372)X510597
574.41/574.53	conflict 52lvl : 18 bt17-32:0(274)X512306
621.90/622.01	conflict 52lvl : 22 bt22-87:0(379)X514086
621.90/622.01	conflict 52lvl : 22 bt21-87:0(384)X514141
621.90/622.01	conflict 99lvl : 21 bt20-236:0(372)X514196
699.49/699.63	conflict 37lvl : 190 bt190-75:0(255)X515292
699.49/699.63	conflict 37lvl : 189 bt189-68:0(289)X515332
699.49/699.68	conflict 37lvl : 190 bt190-28:0(270)X515372
708.69/708.82	conflict 37lvl : 184 bt184-69:0(318)X515412
709.29/709.48	conflict 37lvl : 183 bt183-145:0(317)X515452
729.19/729.38	conflict 37lvl : 180 bt180-145:0(314)X515492
729.58/729.73	conflict 37lvl : 175 bt175-175:0(377)X515532
729.58/729.74	conflict 37lvl : 175 bt175-154:0(373)X515572
729.58/729.75	conflict 37lvl : 176 bt176-4:0(293)X515612
729.58/729.75	conflict 53lvl : 173 bt173-318:0(373)X515652
729.58/729.76	conflict 37lvl : 190 bt190-79:0(265)X515708
729.58/729.76	conflict 54lvl : 189 bt189-8:0(262)X515748
729.78/729.90	conflict 37lvl : 188 bt187-342:0(356)X515805
729.78/729.92	conflict 37lvl : 185 bt185-169:0(321)X515845
729.78/729.95	conflict 37lvl : 188 bt188-264:0(308)X515885
729.88/730.02	conflict 37lvl : 187 bt187-148:0(345)X515925
729.88/730.03	conflict 37lvl : 187 bt187-264:0(379)X515965
729.88/730.05	conflict 53lvl : 185 bt185-169:0(324)X516005
729.88/730.08	conflict 86lvl : 186 bt186-305:0(346)X516061
729.98/730.13	conflict 85lvl : 187 bt187-305:0(338)X516150
729.98/730.15	conflict 37lvl : 184 bt184-269:0(319)X516238
730.39/730.51	conflict 37lvl : 187 bt187-264:0(351)X516278
730.39/730.57	conflict 69lvl : 188 bt188-264:0(339)X516318
730.39/730.57	conflict 70lvl : 188 bt188-344:0(342)X516390
730.39/730.57	conflict 69lvl : 186 bt186-353:0(301)X516463
730.39/730.58	conflict 69lvl : 183 bt183-273:0(294)X516535
730.39/730.58	conflict 86lvl : 181 bt181348:0(305)X516607
730.48/730.69	conflict 37lvl : 187 bt187-9:0(380)X516696
730.58/730.72	conflict 37lvl : 187 bt187-249:0(380)X516736
730.68/730.89	conflict 54lvl : 187 bt18715:0(376)X516776
730.78/730.91	conflict 89lvl : 187 bt18735:0(376)X516833
730.98/731.10	conflict 53lvl : 186 bt186-29:0(375)X516925
730.98/731.13	conflict 70lvl : 186 bt18615:0(371)X516981
731.39/731.60	conflict 37lvl : 189 bt189-251:0(342)X517054
731.49/731.67	conflict 37lvl : 189 bt189-355:0(315)X517094
731.58/731.73	conflict 37lvl : 186 bt186-168:0(351)X517134
731.58/731.74	conflict 54lvl : 189 bt18939:0(316)X517174
731.98/732.14	conflict 54lvl : 185 bt1851:0(338)X517231
732.49/732.60	conflict 37lvl : 189 bt189-355:0(315)X517288
732.49/732.61	conflict 54lvl : 189 bt18920:0(318)X517328
733.59/733.76	conflict 37lvl : 190 bt190-275:0(323)X517385
733.59/733.76	conflict 72lvl : 190 bt1907:0(324)X517425
733.59/733.76	conflict 71lvl : 190 bt19035:0(321)X517500
733.78/733.95	conflict 71lvl : 190 bt190-346:0(387)X517574
733.78/733.95	conflict 54lvl : 188 bt188-346:0(383)X517648
733.78/733.98	conflict 37lvl : 190 bt190-11:0(305)X517705
733.88/734.08	conflict 37lvl : 187 bt187-302:0(361)X517745
734.18/734.38	conflict 37lvl : 190 bt190-271:0(309)X517785
734.38/734.57	conflict 54lvl : 187 bt187-271:0(382)X517825
734.38/734.59	conflict 54lvl : 190 bt190-261:0(371)X517882
734.38/734.60	conflict 37lvl : 189 bt189-150:0(368)X517939
734.49/734.60	conflict 54lvl : 188 bt188-350:0(367)X517979
734.49/734.62	conflict 53lvl : 190 bt190-261:0(373)X518036
734.49/734.62	conflict 54lvl : 189 bt189-346:0(368)X518092
734.49/734.62	conflict 37lvl : 188 bt188-9:0(368)X518149
734.49/734.65	conflict 37lvl : 190 bt190-9:0(367)X518189
734.49/734.65	conflict 53lvl : 189 bt189-350:0(364)X518229
734.49/734.65	conflict 53lvl : 188 bt188-346:0(363)X518285
734.49/734.65	conflict 37lvl : 184 bt184-262:0(350)X518341
735.19/735.34	conflict 70lvl : 185 bt185-162:0(312)X518381
735.39/735.50	conflict 87lvl : 184 bt184361:0(308)X518454
735.69/735.86	conflict 37lvl : 187 bt187-276:0(322)X518544
735.80/735.93	conflict 37lvl : 187 bt187-142:0(320)X518584
736.29/736.48	conflict 37lvl : 186 bt186-275:0(286)X518624
738.00/738.17	conflict 86lvl : 187 bt187-142:0(319)X518664
738.10/738.25	conflict 37lvl : 187 bt187-11:0(378)X518753
738.10/738.26	conflict 37lvl : 186 bt186-346:0(356)X518793
738.39/738.58	conflict 54lvl : 190 bt190-349:0(385)X518833
738.39/738.58	conflict 87lvl : 189 bt18950:0(383)X518890
738.89/739.02	conflict 37lvl : 188 bt188-315:0(362)X518980
738.99/739.11	conflict 37lvl : 186 bt186-11:0(299)X519020
739.69/739.87	conflict 54lvl : 187 bt187-286:0(344)X519060
739.69/739.88	conflict 37lvl : 187 bt187-351:0(308)X519117
739.69/739.88	conflict 37lvl : 185 bt185-341:0(314)X519157
739.69/739.88	conflict 122lvl : 186 bt1861:0(335)X519197
739.69/739.89	conflict 37lvl : 184 bt184-261:0(311)X519322
739.79/739.92	conflict 70lvl : 185 bt185-275:0(369)X519362
739.79/739.93	conflict 54lvl : 185 bt18516:0(318)X519435
739.79/739.97	conflict 121lvl : 183 bt1831:0(328)X519492
739.79/739.97	conflict 37lvl : 182 bt182-343:0(359)X519616
739.89/740.08	conflict 53lvl : 181 bt181-142:0(290)X519656
739.99/740.17	conflict 37lvl : 181 bt181-145:0(283)X519712
740.09/740.24	conflict 37lvl : 181 bt181-391:0(295)X519752
740.09/740.26	conflict 53lvl : 177 bt177-268:0(323)X519792
740.20/740.36	conflict 72lvl : 181 bt1815:0(341)X519848
740.20/740.37	conflict 37lvl : 188 bt188-151:0(276)X519923
740.20/740.38	conflict 53lvl : 180 bt180-279:0(256)X519963
740.20/740.38	conflict 52lvl : 179 bt179-279:0(251)X520019
740.20/740.38	conflict 54lvl : 179 bt179-68:0(314)X520074
740.20/740.39	conflict 69lvl : 178 bt178-268:0(312)X520131
740.20/740.39	conflict 84lvl : 177 bt177-165:0(313)X520203
740.30/740.49	conflict 89lvl : 181 bt1815:0(286)X520290
740.49/740.65	conflict 54lvl : 181 bt181-145:0(292)X520382
740.49/740.68	conflict 36lvl : 181 bt181-142:0(295)X520439
740.49/740.68	conflict 106lvl : 190 bt1905:0(322)X520478
740.49/740.69	conflict 88lvl : 185 bt1855:0(316)X520587
740.59/740.72	conflict 53lvl : 183 bt183-248:0(345)X520678
740.59/740.75	conflict 54lvl : 181 bt181-145:0(292)X520734
740.99/741.16	conflict 54lvl : 190 bt190-168:0(326)X520791
740.99/741.16	conflict 53lvl : 189 bt189-168:0(316)X520848
740.99/741.17	conflict 70lvl : 190 bt1902:0(322)X520904
743.09/743.29	conflict 37lvl : 190 bt190-168:0(334)X520977
743.19/743.30	conflict 37lvl : 189 bt189-288:0(322)X521017
743.79/743.93	conflict 54lvl : 188 bt188-168:0(323)X521057
743.99/744.10	conflict 71lvl : 187 bt187244:0(320)X521114
744.19/744.35	conflict 37lvl : 188 bt188-168:0(333)X521188
744.19/744.38	conflict 37lvl : 188 bt188-248:0(321)X521228
744.99/745.13	conflict 37lvl : 188 bt188-244:0(320)X521268
745.09/745.28	conflict 70lvl : 188 bt1889:0(314)X521308
745.59/745.73	conflict 54lvl : 189 bt1899:0(329)X521381
745.99/746.12	conflict 54lvl : 188 bt1889:0(322)X521438
748.49/748.60	conflict 37lvl : 190 bt190-308:0(350)X521495
749.29/749.42	conflict 37lvl : 190 bt190-10:0(303)X521535
749.29/749.43	conflict 54lvl : 190 bt19028:0(300)X521575
751.79/751.98	conflict 72lvl : 189 bt189248:0(352)X521632
751.79/751.98	conflict 37lvl : 189 bt189-308:0(351)X521707
751.89/752.09	conflict 37lvl : 188 bt188-308:0(354)X521747
751.99/752.13	conflict 54lvl : 189 bt18922:0(355)X521787
753.40/753.51	conflict 37lvl : 188 bt188-308:0(348)X521844
753.99/754.10	conflict 87lvl : 188 bt18828:0(347)X521884
754.19/754.36	conflict 72lvl : 189 bt18942:0(355)X521974
756.29/756.45	conflict 102lvl : 189 bt189-245:0(372)X522049
758.39/758.54	conflict 53lvl : 187 bt187-168:0(313)X522154
758.49/758.65	conflict 37lvl : 187 bt187-168:0(323)X522210
759.39/759.55	conflict 70lvl : 186 bt1869:0(311)X522250
760.49/760.63	conflict 37lvl : 190 bt190-360:0(362)X522323
760.69/760.84	conflict 101lvl : 179 bt17964:0(277)X522363
760.69/760.85	conflict 97lvl : 178 bt178-157:0(275)X522467
760.69/760.86	conflict 70lvl : 176 bt176-144:0(299)X522567
760.69/760.87	conflict 37lvl : 175 bt175-6:0(414)X522640
760.69/760.88	conflict 37lvl : 173 bt173-6:0(384)X522680
760.69/760.88	conflict 37lvl : 190 bt190-75:0(261)X522720
760.79/760.90	conflict 71lvl : 183 bt18324:0(277)X522760
760.79/760.95	conflict 53lvl : 182 bt182-65:0(284)X522834
760.79/760.95	conflict 37lvl : 180 bt180-64:0(313)X522890
760.79/760.96	conflict 54lvl : 179 bt179-64:0(311)X522930
760.79/760.96	conflict 71lvl : 178 bt17812:0(307)X522987
760.79/760.98	conflict 85lvl : 173 bt173-75:0(392)X523061
760.79/760.99	conflict 37lvl : 172 bt172-6:0(406)X523149
760.79/760.99	conflict 53lvl : 172 bt172-148:0(267)X523189
760.79/760.99	conflict 52lvl : 172 bt172-268:0(289)X523245
760.79/760.99	conflict 37lvl : 190 bt190-75:0(261)X523300
760.79/760.99	conflict 36lvl : 189 bt189-268:0(293)X523340
760.89/761.07	conflict 37lvl : 181 bt181-65:0(359)X523379
761.09/761.24	conflict 37lvl : 179 bt179-4:0(370)X523419
761.09/761.25	conflict 54lvl : 178 bt17848:0(364)X523459
761.09/761.28	conflict 37lvl : 173 bt173-4:0(344)X523516
761.09/761.28	conflict 54lvl : 172 bt17268:0(342)X523556
761.09/761.29	conflict 37lvl : 171 bt171-6:0(362)X523613
761.19/761.33	conflict 37lvl : 184 bt184-388:0(365)X523653
761.19/761.35	conflict 53lvl : 184 bt184-385:0(342)X523693
761.19/761.35	conflict 54lvl : 186 bt186-285:0(328)X523749
761.19/761.36	conflict 37lvl : 183 bt183-284:0(251)X523806
761.19/761.36	conflict 37lvl : 183 bt183-385:0(306)X523846
761.29/761.41	conflict 37lvl : 189 bt189-171:0(278)X523886
761.29/761.43	conflict 52lvl : 183 bt183-245:0(253)X523926
761.29/761.43	conflict 54lvl : 182 bt182-248:0(254)X523981
761.29/761.43	conflict 37lvl : 182 bt182-248:0(303)X524038
761.29/761.47	conflict 54lvl : 184 bt184-8:0(431)X524078
761.29/761.48	conflict 37lvl : 184 bt184-385:0(335)X524135
761.39/761.50	conflict 37lvl : 182 bt182-284:0(259)X524175
761.39/761.50	conflict 37lvl : 181 bt181-288:0(252)X524215
761.39/761.50	conflict 54lvl : 181 bt181-288:0(301)X524255
761.39/761.54	conflict 71lvl : 184 bt184-8:0(363)X524312
761.39/761.57	conflict 69lvl : 182 bt182384:0(251)X524386
761.39/761.57	conflict 65lvl : 181 bt181-176:0(245)X524458
761.39/761.58	conflict 81lvl : 180 bt179-177:0(276)X524526
761.49/761.62	conflict 37lvl : 184 bt184-388:0(362)X524610
761.79/761.91	conflict 37lvl : 184 bt184-8:0(260)X524650
761.79/761.91	conflict 37lvl : 183 bt183-308:0(255)X524690
761.79/761.95	conflict 37lvl : 170 bt170-66:0(386)X524730
761.79/761.95	conflict 37lvl : 170 bt170-28:0(273)X524770
761.79/761.95	conflict 52lvl : 169 bt169-12:0(291)X524810
761.79/761.96	conflict 54lvl : 169 bt169108:0(382)X524865
761.79/761.96	conflict 69lvl : 169 bt168-17:0(271)X524922
761.79/761.96	conflict 72lvl : 167 bt167308:0(285)X524994
761.79/761.97	conflict 37lvl : 166 bt166-45:0(368)X525069
761.79/761.97	conflict 37lvl : 166 bt166-47:0(459)X525109
761.79/761.97	conflict 37lvl : 166 bt166-46:0(395)X525149
761.79/761.98	conflict 37lvl : 190 bt190-75:0(255)X525189
761.79/761.98	conflict 36lvl : 189 bt189-188:0(287)X525229
761.89/762.01	conflict 37lvl : 188 bt188-11:0(300)X525268
761.89/762.01	conflict 37lvl : 187 bt187-288:0(280)X525308
761.89/762.03	conflict 37lvl : 190 bt190-68:0(297)X525348
761.89/762.03	conflict 53lvl : 189 bt189-75:0(295)X525388
761.89/762.05	conflict 72lvl : 190 bt1904:0(273)X525444
761.89/762.06	conflict 37lvl : 189 bt189-305:0(354)X525519
761.89/762.07	conflict 37lvl : 188 bt188-288:0(286)X525559
761.89/762.09	conflict 68lvl : 189 bt189-246:0(324)X525599
761.99/762.10	conflict 53lvl : 189 bt189-65:0(294)X525670
761.99/762.13	conflict 37lvl : 190 bt190-68:0(296)X525726
761.99/762.15	conflict 37lvl : 190 bt190-71:0(278)X525766
761.99/762.16	conflict 36lvl : 189 bt189-188:0(293)X525806
762.09/762.25	conflict 53lvl : 189 bt189-65:0(298)X525845
762.09/762.26	conflict 71lvl : 189 bt1898:0(264)X525901
762.09/762.29	conflict 37lvl : 190 bt190-308:0(272)X525975
762.09/762.30	conflict 52lvl : 189 bt189-65:0(324)X526015
762.19/762.30	conflict 54lvl : 189 bt1892:0(293)X526070
762.29/762.46	conflict 37lvl : 190 bt190-291:0(301)X526127
762.29/762.46	conflict 53lvl : 190 bt190-68:0(320)X526167
762.29/762.48	conflict 37lvl : 190 bt190-188:0(296)X526223
762.29/762.48	conflict 36lvl : 189 bt189-308:0(287)X526263
762.39/762.57	conflict 37lvl : 190 bt190-185:0(273)X526302
762.39/762.58	conflict 88lvl : 190 bt190275:0(298)X526342
762.49/762.60	conflict 37lvl : 187 bt187-66:0(293)X526433
762.49/762.64	conflict 37lvl : 190 bt190-66:0(292)X526473
762.49/762.65	conflict 89lvl : 190 bt1905:0(296)X526513
762.49/762.65	conflict 54lvl : 189 bt1898:0(287)X526605
762.59/762.72	conflict 37lvl : 189 bt189-70:0(386)X526662
762.59/762.76	conflict 53lvl : 188 bt188-65:0(298)X526702
762.59/762.77	conflict 37lvl : 186 bt186-65:0(291)X526758
830.78/830.93	conflict 52lvl : 22 bt21-84:0(379)X529389
830.78/830.93	conflict 114lvl : 21 bt20-196:0(372)X529444
934.56/934.74	conflict 53lvl : 187 bt187-71:0(315)X532251
934.56/934.75	conflict 37lvl : 186 bt186-288:0(304)X532307
934.56/934.77	conflict 72lvl : 186 bt18651:0(410)X532347
935.56/935.72	conflict 37lvl : 190 bt190-11:0(304)X532422
935.56/935.72	conflict 37lvl : 184 bt184-368:0(283)X532462
936.46/936.67	conflict 37lvl : 190 bt190-11:0(304)X532502
936.46/936.68	conflict 37lvl : 184 bt184-368:0(283)X532542
936.46/936.69	conflict 88lvl : 186 bt18651:0(409)X532582
936.56/936.74	conflict 37lvl : 185 bt185-362:0(297)X532673
939.76/939.98	conflict 37lvl : 184 bt184-322:0(295)X532713
939.86/940.00	conflict 37lvl : 183 bt183-225:0(265)X532753
939.86/940.00	conflict 54lvl : 182 bt1828:0(287)X532793
939.86/940.06	conflict 37lvl : 165 bt165-268:0(281)X532850
939.86/940.07	conflict 103lvl : 185 bt185-91:0(315)X532890
939.86/940.08	conflict 37lvl : 187 bt187-88:0(259)X532996
939.96/940.12	conflict 54lvl : 173 bt17324:0(245)X533036
939.96/940.15	conflict 68lvl : 188 bt188-75:0(293)X533093
939.96/940.19	conflict 37lvl : 187 bt187-82:0(359)X533164
940.06/940.20	conflict 37lvl : 186 bt186-45:0(386)X533204
940.06/940.21	conflict 54lvl : 185 bt185132:0(376)X533244
940.06/940.27	conflict 37lvl : 177 bt177-105:0(355)X533301
940.16/940.38	conflict 67lvl : 190 bt190-75:0(304)X533341
940.16/940.38	conflict 37lvl : 189 bt189-65:0(304)X533411
940.16/940.38	conflict 37lvl : 188 bt188-265:0(295)X533451
940.16/940.39	conflict 37lvl : 190 bt190-268:0(271)X533491
940.26/940.44	conflict 37lvl : 187 bt187-92:0(371)X533531
940.37/940.51	conflict 54lvl : 178 bt178152:0(351)X533571
940.37/940.53	conflict 37lvl : 189 bt189-25:0(284)X533628
940.37/940.53	conflict 54lvl : 188 bt1888:0(264)X533668
940.37/940.57	conflict 37lvl : 173 bt173-28:0(318)X533725
940.37/940.58	conflict 53lvl : 172 bt172-48:0(313)X533765
940.47/940.61	conflict 53lvl : 164 bt164-5:0(372)X533821
940.47/940.61	conflict 54lvl : 164 bt164108:0(373)X533877
940.47/940.61	conflict 71lvl : 163 bt163112:0(365)X533934
940.47/940.69	conflict 37lvl : 150 bt150-48:0(217)X534008
940.56/940.70	conflict 68lvl : 188 bt188-95:0(319)X534048
940.56/940.71	conflict 53lvl : 184 bt184-72:0(306)X534119
940.56/940.71	conflict 52lvl : 184 bt183-77:0(286)X534175
940.66/940.81	conflict 88lvl : 184 bt184285:0(318)X534230
940.76/940.90	conflict 70lvl : 188 bt188-15:0(323)X534321
940.76/940.90	conflict 123lvl : 186 bt18635:0(317)X534394
940.76/940.91	conflict 120lvl : 184 bt184285:0(321)X534520
941.26/941.41	conflict 53lvl : 183 bt183-62:0(347)X534643
941.26/941.49	conflict 72lvl : 183 bt18388:0(350)X534699
1020.15/1020.33	conflict 37lvl : 169 bt169-11:0(277)X534774
1020.15/1020.34	conflict 37lvl : 190 bt190-155:0(261)X534814
1020.15/1020.36	conflict 37lvl : 182 bt182-148:0(284)X534854
1020.15/1020.39	conflict 37lvl : 171 bt171-148:0(271)X534894
1020.25/1020.42	conflict 54lvl : 158 bt158-144:0(286)X534934
1020.25/1020.43	conflict 53lvl : 157 bt157-155:0(360)X534991
1020.25/1020.48	conflict 88lvl : 149 bt14967:0(373)X535047
1020.25/1020.49	conflict 54lvl : 149 bt14968:0(362)X535138
1020.35/1020.53	conflict 37lvl : 190 bt190-155:0(261)X535195
1020.35/1020.57	conflict 37lvl : 174 bt174-148:0(276)X535235
1020.35/1020.58	conflict 54lvl : 190 bt1904:0(271)X535275
1020.55/1020.70	conflict 53lvl : 169 bt169-155:0(273)X535332
1020.55/1020.74	conflict 37lvl : 190 bt190-155:0(261)X535388
1020.55/1020.79	conflict 36lvl : 169 bt169-48:0(266)X535428
1020.66/1020.86	conflict 36lvl : 190 bt190-128:0(299)X535467
1020.66/1020.90	conflict 53lvl : 174 bt174-145:0(284)X535506
1020.76/1020.91	conflict 37lvl : 171 bt171-158:0(309)X535562
1020.76/1020.92	conflict 37lvl : 169 bt169-150:0(345)X535602
1020.76/1020.93	conflict 53lvl : 167 bt167-48:0(315)X535642
1020.76/1020.94	conflict 37lvl : 190 bt190-155:0(255)X535698
1020.76/1020.95	conflict 37lvl : 187 bt187-148:0(289)X535738
1020.76/1020.99	conflict 53lvl : 169 bt169-145:0(268)X535778
1020.85/1021.04	conflict 71lvl : 169 bt1698:0(241)X535834
1020.95/1021.17	conflict 69lvl : 169 bt169-155:0(280)X535908
1020.95/1021.17	conflict 53lvl : 168 bt168-325:0(271)X535980
1021.05/1021.23	conflict 37lvl : 190 bt190-148:0(299)X536036
1021.05/1021.28	conflict 53lvl : 169 bt169-145:0(273)X536076
1021.05/1021.29	conflict 88lvl : 168 bt16812:0(301)X536132
1027.45/1027.61	conflict 54lvl : 168 bt16824:0(364)X536223
1027.45/1027.63	conflict 37lvl : 166 bt166-128:0(333)X536280
1027.45/1027.68	conflict 37lvl : 190 bt190-148:0(294)X536320
1027.65/1027.80	conflict 37lvl : 190 bt190-158:0(335)X536360
1027.65/1027.87	conflict 72lvl : 190 bt190204:0(314)X536400
1027.65/1027.88	conflict 71lvl : 189 bt189325:0(295)X536475
1027.65/1027.88	conflict 70lvl : 188 bt1888:0(286)X536549
1027.75/1027.93	conflict 37lvl : 169 bt169-40:0(312)X536622
1027.75/1027.97	conflict 70lvl : 164 bt16445:0(266)X536662
1027.75/1027.98	conflict 37lvl : 163 bt163-45:0(276)X536735
1027.85/1028.00	conflict 52lvl : 159 bt159-365:0(227)X536775
1027.85/1028.00	conflict 37lvl : 158 bt158-59:0(229)X536830
1027.85/1028.01	conflict 53lvl : 158 bt158-48:0(268)X536870
1027.85/1028.01	conflict 54lvl : 157 bt157368:0(227)X536926
1027.85/1028.01	conflict 86lvl : 157 bt157368:0(257)X536983
1027.85/1028.06	conflict 37lvl : 148 bt148-48:0(214)X537072
1027.85/1028.07	conflict 37lvl : 190 bt190-155:0(255)X537112
1027.85/1028.08	conflict 71lvl : 187 bt1878:0(283)X537152
1027.95/1028.12	conflict 53lvl : 169 bt169-148:0(302)X537226
1027.95/1028.13	conflict 37lvl : 168 bt168-55:0(372)X537282
1027.95/1028.13	conflict 53lvl : 168 bt168-130:0(288)X537322
1028.05/1028.26	conflict 52lvl : 147 bt147-32:0(357)X537378
1028.15/1028.32	conflict 37lvl : 187 bt187-148:0(288)X537433
1028.15/1028.38	conflict 37lvl : 168 bt168-285:0(263)X537473
1028.15/1028.39	conflict 37lvl : 190 bt190-155:0(255)X537513
1028.25/1028.44	conflict 53lvl : 169 bt169-145:0(270)X537553
1028.25/1028.46	conflict 37lvl : 190 bt190-155:0(255)X537609
1028.25/1028.46	conflict 37lvl : 189 bt189-148:0(291)X537649
1028.36/1028.52	conflict 53lvl : 169 bt169-145:0(267)X537689
1028.65/1028.86	conflict 37lvl : 190 bt190-71:0(284)X537745
1028.85/1029.04	conflict 54lvl : 190 bt190-100:0(335)X537785
1028.95/1029.10	conflict 37lvl : 169 bt169-7:0(350)X537842
1028.95/1029.10	conflict 54lvl : 168 bt168128:0(343)X537882
1029.05/1029.24	conflict 37lvl : 146 bt146-6:0(335)X537939
1029.05/1029.28	conflict 71lvl : 169 bt1698:0(241)X537979
1029.05/1029.29	conflict 37lvl : 190 bt190-148:0(290)X538053
1029.25/1029.40	conflict 67lvl : 169 bt1694:0(269)X538093
1029.25/1029.40	conflict 68lvl : 168 bt168-155:0(324)X538163
1029.25/1029.41	conflict 52lvl : 168 bt168-325:0(261)X538234
1029.25/1029.47	conflict 53lvl : 169 bt169-145:0(270)X538289
1029.25/1029.49	conflict 37lvl : 189 bt189-148:0(290)X538345
1029.35/1029.60	conflict 36lvl : 190 bt190-128:0(293)X538385
1029.46/1029.60	conflict 53lvl : 189 bt189-145:0(299)X538424
1029.46/1029.67	conflict 51lvl : 168 bt168-55:0(361)X538480
1047.55/1047.70	conflict 37lvl : 189 bt189-91:0(341)X542564
1047.55/1047.71	conflict 54lvl : 189 bt18919:0(319)X542604
1047.65/1047.83	conflict 37lvl : 188 bt188-271:0(341)X542661
1047.65/1047.87	conflict 54lvl : 189 bt18919:0(319)X542701
1047.75/1047.90	conflict 37lvl : 188 bt188-31:0(339)X542758
1052.25/1052.45	conflict 37lvl : 183 bt183-275:0(413)X542798
1052.25/1052.46	conflict 37lvl : 181 bt181-271:0(388)X542838
1052.25/1052.48	conflict 54lvl : 180 bt180-271:0(387)X542878
1052.45/1052.69	conflict 37lvl : 187 bt187-271:0(275)X542935
1052.65/1052.82	conflict 37lvl : 180 bt180-331:0(355)X542975
1052.65/1052.84	conflict 37lvl : 180 bt180-45:0(344)X543015
1052.65/1052.84	conflict 37lvl : 190 bt190-351:0(305)X543055
1052.65/1052.87	conflict 53lvl : 178 bt178-279:0(274)X543095
1052.65/1052.88	conflict 52lvl : 177 bt177-279:0(251)X543151
1052.65/1052.88	conflict 53lvl : 176 bt176-28:0(300)X543206
1052.75/1052.91	conflict 69lvl : 181 bt180-157:0(283)X543262
1052.75/1052.92	conflict 37lvl : 190 bt190-155:0(261)X543334
1052.75/1052.93	conflict 37lvl : 187 bt187-148:0(295)X543374
1052.75/1052.94	conflict 53lvl : 181 bt181-145:0(283)X543414
1052.75/1052.95	conflict 53lvl : 180 bt180-155:0(325)X543470
1052.75/1052.95	conflict 54lvl : 190 bt1904:0(271)X543526
1052.75/1052.98	conflict 52lvl : 190 bt190-158:0(332)X543583
1052.75/1052.98	conflict 71lvl : 189 bt189224:0(316)X543638
1052.75/1052.98	conflict 71lvl : 188 bt188225:0(294)X543712
1052.75/1052.99	conflict 70lvl : 187 bt187339:0(291)X543786
1052.75/1052.99	conflict 69lvl : 186 bt1864:0(287)X543859
1052.85/1053.02	conflict 37lvl : 190 bt190-91:0(304)X543931
1052.85/1053.04	conflict 37lvl : 190 bt190-24:0(259)X543971
1052.85/1053.05	conflict 71lvl : 188 bt1888:0(264)X544011
1052.85/1053.08	conflict 86lvl : 177 bt177-57:0(279)X544085
1053.05/1053.22	conflict 117lvl : 155 bt15548:0(397)X544174
1053.05/1053.22	conflict 37lvl : 155 bt155-168:0(268)X544294
1053.05/1053.22	conflict 72lvl : 154 bt154168:0(264)X544334
1053.05/1053.23	conflict 68lvl : 154 bt153-77:0(256)X544409
1053.05/1053.26	conflict 82lvl : 147 bt147-6:0(389)X544480
1053.05/1053.26	conflict 37lvl : 147 bt147-168:0(214)X544565
1053.15/1053.39	conflict 53lvl : 158 bt158-62:0(300)X544605
1053.25/1053.40	conflict 72lvl : 157 bt157288:0(295)X544661
1053.25/1053.43	conflict 52lvl : 150 bt150-305:0(216)X544736
1053.25/1053.43	conflict 37lvl : 150 bt150-165:0(267)X544791
1053.45/1053.61	conflict 37lvl : 149 bt149-288:0(220)X544831
1053.45/1053.61	conflict 54lvl : 149 bt149308:0(263)X544871
1053.55/1053.78	conflict 37lvl : 149 bt149-299:0(220)X544928
1053.55/1053.79	conflict 69lvl : 148 bt148304:0(216)X544968
1053.55/1053.79	conflict 81lvl : 148 bt148-77:0(244)X545040
1053.75/1053.95	conflict 37lvl : 150 bt150-165:0(216)X545124
1053.75/1053.96	conflict 81lvl : 149 bt149-66:0(381)X545164
1053.75/1053.96	conflict 65lvl : 149 bt149-76:0(213)X545248
1053.85/1054.06	conflict 37lvl : 181 bt181-125:0(328)X545316
1053.85/1054.07	conflict 87lvl : 179 bt17951:0(392)X545356
1053.85/1054.07	conflict 87lvl : 178 bt178124:0(392)X545446
1053.85/1054.08	conflict 66lvl : 178 bt178-132:0(287)X545536
1053.85/1054.08	conflict 122lvl : 177 bt177224:0(387)X545605
1053.85/1054.08	conflict 66lvl : 177 bt177-232:0(282)X545730
1053.85/1054.08	conflict 68lvl : 176 bt176-148:0(382)X545799
1053.85/1054.09	conflict 67lvl : 176 bt176-132:0(278)X545870
1053.85/1054.09	conflict 81lvl : 175 bt175-157:0(273)X545940
1053.95/1054.16	conflict 36lvl : 190 bt190-148:0(301)X546024
1053.95/1054.18	conflict 68lvl : 181 bt181-138:0(332)X546063
1054.05/1054.21	conflict 70lvl : 181 bt181225:0(320)X546134
1054.05/1054.22	conflict 37lvl : 180 bt180-145:0(320)X546207
1054.05/1054.24	conflict 53lvl : 181 bt181-158:0(298)X546247
1054.15/1054.37	conflict 69lvl : 190 bt1904:0(273)X546303
1054.25/1054.42	conflict 72lvl : 181 bt1812:0(304)X546375
1054.25/1054.45	conflict 37lvl : 190 bt190-28:0(290)X546450
1054.35/1054.56	conflict 37lvl : 189 bt189-88:0(285)X546490
1057.05/1057.26	conflict 37lvl : 190 bt190-345:0(303)X546530
1057.05/1057.27	conflict 54lvl : 190 bt1908:0(295)X546570
1057.15/1057.33	conflict 37lvl : 190 bt190-285:0(299)X546627
1057.15/1057.34	conflict 54lvl : 190 bt1908:0(297)X546667
1057.45/1057.66	conflict 37lvl : 190 bt190-285:0(319)X546724
1057.55/1057.73	conflict 54lvl : 190 bt1908:0(313)X546764
1064.55/1064.75	conflict 37lvl : 190 bt190-151:0(282)X546821
1076.35/1076.52	conflict 37lvl : 189 bt189-368:0(312)X546861
1076.35/1076.56	conflict 37lvl : 188 bt188-388:0(307)X546901
1076.94/1077.10	conflict 37lvl : 189 bt189-368:0(370)X546941
1076.94/1077.15	conflict 70lvl : 188 bt188-368:0(368)X546981
1077.54/1077.79	conflict 53lvl : 188 bt188-368:0(336)X547054
1078.14/1078.35	conflict 55lvl : 186 bt186352:0(400)X547110
1078.14/1078.36	conflict 70lvl : 190 bt190-278:0(361)X547168
1078.64/1078.80	conflict 37lvl : 189 bt189-365:0(304)X547241
1078.74/1078.98	conflict 54lvl : 188 bt1888:0(292)X547281
1079.24/1079.44	conflict 72lvl : 186 bt186352:0(395)X547338
1081.04/1081.22	conflict 89lvl : 186 bt1868:0(392)X547413
1081.74/1081.99	conflict 53lvl : 188 bt188-368:0(339)X547505
1088.95/1089.13	conflict 37lvl : 186 bt186-349:0(374)X547561
1089.64/1089.87	conflict 37lvl : 186 bt186-229:0(360)X547601
1100.74/1100.94	conflict 52lvl : 188 bt188-368:0(315)X547641
1100.84/1101.10	conflict 52lvl : 188 bt188-368:0(315)X547696
1107.74/1107.94	conflict 37lvl : 186 bt186-370:0(376)X547751
1109.44/1109.63	conflict 72lvl : 188 bt1884:0(336)X547791
1109.85/1110.01	conflict 72lvl : 188 bt1884:0(335)X547866
1110.64/1110.90	conflict 37lvl : 187 bt187-326:0(364)X547941
1110.74/1110.94	conflict 37lvl : 186 bt186-350:0(353)X547981
1377.40/1377.61	conflict 69lvl : 21 bt20-376:0(372)X558939
1534.08/1534.30	conflict 37lvl : 188 bt188-362:0(351)X560494
1534.08/1534.31	conflict 54lvl : 188 bt188201:0(348)X560534
1535.88/1536.14	conflict 37lvl : 188 bt188-372:0(362)X560591
1535.98/1536.20	conflict 54lvl : 187 bt187321:0(346)X560631
1536.18/1536.43	conflict 53lvl : 185 bt185-311:0(373)X560688
1536.49/1536.75	conflict 70lvl : 185 bt185-11:0(368)X560744
1536.49/1536.75	conflict 37lvl : 187 bt187-304:0(325)X560817
1536.49/1536.75	conflict 37lvl : 186 bt186-4:0(322)X560857
1540.18/1540.47	conflict 37lvl : 188 bt188-181:0(351)X560897
1549.78/1550.03	conflict 37lvl : 184 bt184-168:0(245)X560937
1549.78/1550.05	conflict 68lvl : 182 bt182-31:0(378)X560977
1551.68/1551.92	conflict 37lvl : 186 bt186-365:0(339)X561048
1552.68/1552.90	conflict 37lvl : 190 bt190-11:0(305)X561088
1552.68/1552.91	conflict 37lvl : 183 bt183-348:0(283)X561128
1552.68/1552.96	conflict 37lvl : 185 bt185-162:0(299)X561168
1552.78/1553.01	conflict 37lvl : 185 bt185-362:0(293)X561208
1552.78/1553.06	conflict 54lvl : 185 bt1855:0(291)X561248
1552.78/1553.09	conflict 53lvl : 179 bt179-12:0(303)X561305
1552.88/1553.10	conflict 37lvl : 179 bt179-308:0(282)X561361
1552.88/1553.10	conflict 72lvl : 178 bt178308:0(296)X561401
1552.88/1553.10	conflict 52lvl : 178 bt177-17:0(280)X561476
1552.88/1553.11	conflict 53lvl : 176 bt176-2:0(313)X561531
1552.88/1553.11	conflict 72lvl : 175 bt175308:0(310)X561587
1552.88/1553.12	conflict 37lvl : 175 bt175-308:0(242)X561662
1552.88/1553.13	conflict 71lvl : 172 bt17265:0(422)X561702
1552.88/1553.15	conflict 87lvl : 169 bt16964:0(416)X561776
1552.88/1553.16	conflict 52lvl : 168 bt168-64:0(410)X561866
1552.98/1553.24	conflict 37lvl : 158 bt158-26:0(364)X561921
1553.08/1553.34	conflict 53lvl : 182 bt182-144:0(313)X561961
1553.58/1553.81	conflict 72lvl : 188 bt188-367:0(351)X562017
1553.58/1553.84	conflict 37lvl : 186 bt186-189:0(320)X562092
1553.58/1553.85	conflict 37lvl : 189 bt189-345:0(314)X562132
1553.58/1553.87	conflict 72lvl : 189 bt189182:0(322)X562172
1553.68/1553.91	conflict 71lvl : 186 bt186-195:0(320)X562247
1553.68/1553.92	conflict 70lvl : 190 bt190-84:0(314)X562321
1553.68/1553.92	conflict 87lvl : 189 bt1891:0(312)X562394
1553.68/1553.93	conflict 86lvl : 184 bt18413:0(293)X562484
1553.78/1554.00	conflict 70lvl : 190 bt190-24:0(311)X562573
1553.78/1554.00	conflict 87lvl : 189 bt1891:0(309)X562646
1553.78/1554.03	conflict 87lvl : 177 bt177104:0(418)X562736
1553.78/1554.05	conflict 68lvl : 175 bt175-104:0(412)X562826
1553.78/1554.07	conflict 68lvl : 172 bt172-114:0(408)X562897
1553.88/1554.17	conflict 37lvl : 162 bt162-66:0(354)X562968
1553.98/1554.23	conflict 54lvl : 189 bt189-365:0(316)X563008
1553.98/1554.24	conflict 71lvl : 188 bt18855:0(314)X563065
1554.18/1554.40	conflict 54lvl : 162 bt162128:0(354)X563139
1565.88/1566.10	conflict 70lvl : 190 bt190-24:0(309)X563196
1565.88/1566.10	conflict 87lvl : 189 bt1891:0(307)X563269
1565.88/1566.12	conflict 37lvl : 179 bt179-24:0(400)X563359
1565.88/1566.12	conflict 37lvl : 179 bt179-4:0(358)X563399
1565.88/1566.13	conflict 54lvl : 178 bt17868:0(354)X563439
1565.88/1566.15	conflict 88lvl : 174 bt174184:0(387)X563496
1565.88/1566.15	conflict 37lvl : 174 bt174-46:0(418)X563587
1565.98/1566.28	conflict 37lvl : 189 bt189-368:0(318)X563627
1565.98/1566.29	conflict 37lvl : 188 bt188-9:0(332)X563667
1565.98/1566.29	conflict 54lvl : 188 bt188-35:0(332)X563707
1566.08/1566.31	conflict 54lvl : 188 bt18842:0(313)X563764
1566.58/1566.89	conflict 37lvl : 187 bt187-362:0(361)X563821
1566.68/1566.95	conflict 71lvl : 186 bt186141:0(358)X563861
1584.98/1585.29	conflict 37lvl : 188 bt188-151:0(375)X563935
1590.77/1591.01	conflict 54lvl : 188 bt188-35:0(341)X563975
1596.27/1596.56	conflict 53lvl : 188 bt188-149:0(381)X564032
1596.27/1596.57	conflict 53lvl : 188 bt188-89:0(380)X564088
1602.27/1602.51	conflict 54lvl : 188 bt188-35:0(336)X564144
1611.47/1611.70	conflict 37lvl : 189 bt189-144:0(352)X564201
1619.77/1620.02	conflict 37lvl : 190 bt190-24:0(318)X564241
1619.87/1620.14	conflict 37lvl : 190 bt190-344:0(318)X564281
1620.07/1620.40	conflict 54lvl : 179 bt179-351:0(380)X564321
1622.57/1622.85	conflict 72lvl : 189 bt18924:0(363)X564378
1622.67/1622.90	conflict 90lvl : 189 bt18944:0(362)X564453
1624.17/1624.49	conflict 53lvl : 185 bt185-35:0(329)X564546
1644.57/1644.83	conflict 37lvl : 180 bt180-156:0(318)X564602
1644.67/1644.94	conflict 37lvl : 181 bt181-362:0(354)X564642
1644.67/1644.95	conflict 37lvl : 181 bt181-2:0(356)X564682
1644.67/1644.97	conflict 54lvl : 179 bt17932:0(322)X564722
1644.77/1645.02	conflict 37lvl : 180 bt180-84:0(287)X564779
1644.77/1645.04	conflict 37lvl : 180 bt180-158:0(391)X564819
1644.87/1645.15	conflict 54lvl : 179 bt17922:0(284)X564859
1644.87/1645.18	conflict 54lvl : 179 bt17931:0(380)X564916
1646.37/1646.68	conflict 37lvl : 177 bt177-227:0(365)X564973
1646.47/1646.71	conflict 37lvl : 178 bt178-158:0(391)X565013
1646.47/1646.72	conflict 70lvl : 178 bt17831:0(381)X565053
1646.57/1646.89	conflict 54lvl : 177 bt17784:0(367)X565126
1646.67/1646.94	conflict 37lvl : 176 bt176-231:0(370)X565183
1646.77/1647.01	conflict 89lvl : 177 bt177150:0(385)X565223
1646.77/1647.01	conflict 88lvl : 178 bt176-151:0(395)X565315
1646.87/1647.13	conflict 70lvl : 174 bt174-251:0(369)X565406
1646.87/1647.16	conflict 70lvl : 177 bt177-94:0(373)X565479
1646.97/1647.22	conflict 37lvl : 175 bt175-152:0(349)X565552
1646.97/1647.29	conflict 88lvl : 176 bt17664:0(373)X565592
1646.97/1647.29	conflict 37lvl : 175 bt175-91:0(375)X565683
1647.07/1647.30	conflict 53lvl : 175 bt175-100:0(381)X565723
1647.07/1647.32	conflict 121lvl : 175 bt17531:0(376)X565779
1647.07/1647.38	conflict 120lvl : 174 bt17431:0(374)X565903
1647.07/1647.40	conflict 70lvl : 174 bt174-291:0(371)X566026
1647.17/1647.41	conflict 37lvl : 175 bt175-375:0(370)X566099
1647.17/1647.41	conflict 37lvl : 175 bt175-285:0(334)X566139
1647.26/1647.53	conflict 37lvl : 173 bt173-169:0(383)X566179
1647.26/1647.57	conflict 37lvl : 161 bt161-59:0(366)X566219
1647.36/1647.60	conflict 37lvl : 190 bt190-375:0(261)X566259
1647.36/1647.60	conflict 37lvl : 189 bt189-368:0(297)X566299
1647.36/1647.61	conflict 53lvl : 187 bt187-365:0(295)X566339
1647.57/1647.83	conflict 69lvl : 187 bt187-375:0(302)X566395
1647.57/1647.88	conflict 67lvl : 187 bt1874:0(291)X566467
1647.86/1648.10	conflict 37lvl : 188 bt188-365:0(336)X566537
1647.86/1648.19	conflict 37lvl : 188 bt188-365:0(348)X566577
1647.96/1648.22	conflict 37lvl : 188 bt188-6:0(340)X566617
1647.96/1648.23	conflict 54lvl : 188 bt18862:0(338)X566657
1647.96/1648.25	conflict 55lvl : 189 bt189-272:0(345)X566714
1647.96/1648.25	conflict 37lvl : 189 bt189-27:0(356)X566772
1648.26/1648.58	conflict 54lvl : 190 bt190-24:0(347)X566812
1648.46/1648.71	conflict 37lvl : 186 bt186-185:0(310)X566869
1648.46/1648.72	conflict 37lvl : 186 bt186-182:0(321)X566909
1648.67/1649.00	conflict 53lvl : 188 bt188-233:0(357)X566949
1649.36/1649.63	conflict 53lvl : 187 bt187-22:0(309)X567005
1650.26/1650.54	conflict 37lvl : 188 bt188-233:0(372)X567061
1650.66/1650.90	conflict 70lvl : 186 bt186275:0(300)X567101
1653.07/1653.36	conflict 37lvl : 190 bt189-304:0(367)X567174
1655.27/1655.50	conflict 54lvl : 187 bt187-24:0(363)X567214
1662.26/1662.52	conflict 53lvl : 184 bt184-222:0(301)X567271
1662.26/1662.53	conflict 37lvl : 189 bt189-28:0(352)X567327
1662.36/1662.65	conflict 37lvl : 189 bt189-28:0(348)X567367
1670.16/1670.40	conflict 37lvl : 190 bt190-230:0(366)X567407
1670.16/1670.42	conflict 54lvl : 190 bt1903:0(327)X567447
1670.16/1670.42	conflict 53lvl : 189 bt189-366:0(306)X567504
1671.06/1671.37	conflict 53lvl : 189 bt189-166:0(308)X567560
1673.97/1674.26	conflict 89lvl : 184 bt1845:0(294)X567616
1674.07/1674.39	conflict 67lvl : 185 bt185-365:0(343)X567708
1674.76/1675.08	conflict 37lvl : 190 bt190-367:0(359)X567778
1674.76/1675.08	conflict 53lvl : 189 bt189-367:0(356)X567818
1674.86/1675.16	conflict 37lvl : 186 bt186-368:0(343)X567874
1677.96/1678.22	conflict 53lvl : 187 bt187-6:0(304)X567914
1677.96/1678.22	conflict 53lvl : 185 bt185-167:0(357)X567970
1677.96/1678.23	conflict 37lvl : 184 bt184-375:0(356)X568026
1677.96/1678.23	conflict 53lvl : 183 bt183-175:0(348)X568066
1680.46/1680.72	conflict 53lvl : 189 bt189-271:0(325)X568122
1680.46/1680.72	conflict 70lvl : 188 bt18812:0(320)X568178
1680.56/1680.82	conflict 69lvl : 182 bt182-192:0(346)X568251
1680.56/1680.83	conflict 37lvl : 181 bt181-32:0(326)X568323
1680.66/1680.95	conflict 37lvl : 189 bt189-25:0(327)X568363
1680.66/1680.95	conflict 67lvl : 188 bt188-375:0(312)X568403
1681.96/1682.29	conflict 88lvl : 190 bt1905:0(314)X568473
1682.06/1682.30	conflict 71lvl : 186 bt1862:0(301)X568564
1682.96/1683.20	conflict 54lvl : 188 bt188-152:0(315)X568638
1682.96/1683.20	conflict 53lvl : 186 bt186-92:0(308)X568695
1682.96/1683.22	conflict 37lvl : 190 bt190-142:0(316)X568751
1682.96/1683.22	conflict 71lvl : 188 bt188-252:0(309)X568791
1683.06/1683.31	conflict 52lvl : 190 bt190-8:0(300)X568865
1683.06/1683.32	conflict 52lvl : 187 bt1874:0(299)X568920
1683.16/1683.41	conflict 54lvl : 190 bt1905:0(308)X568975
1683.16/1683.42	conflict 53lvl : 188 bt188-145:0(300)X569032
1683.16/1683.43	conflict 52lvl : 185 bt185-352:0(327)X569088
1691.66/1691.95	conflict 37lvl : 190 bt190-262:0(324)X569143
1691.96/1692.20	conflict 55lvl : 186 bt186345:0(331)X569183
1691.96/1692.21	conflict 71lvl : 185 bt185-252:0(326)X569241
1692.06/1692.35	conflict 70lvl : 188 bt188245:0(286)X569315
1692.06/1692.39	conflict 37lvl : 188 bt188-158:0(314)X569388
1692.16/1692.41	conflict 37lvl : 188 bt188-152:0(315)X569428
1692.46/1692.73	conflict 53lvl : 186 bt186-192:0(309)X569468
1692.46/1692.74	conflict 53lvl : 184 bt184-268:0(328)X569524
1693.86/1694.13	conflict 37lvl : 188 bt188-148:0(290)X569580
1694.16/1694.48	conflict 88lvl : 190 bt190-372:0(367)X569620
1694.56/1694.89	conflict 37lvl : 190 bt190-245:0(359)X569711
1694.76/1695.07	conflict 37lvl : 188 bt188-145:0(322)X569751
1694.96/1695.26	conflict 69lvl : 188 bt188245:0(281)X569791
1695.76/1696.08	conflict 37lvl : 188 bt188-88:0(316)X569863
1696.06/1696.30	conflict 68lvl : 188 bt1884:0(265)X569903
1696.36/1696.63	conflict 69lvl : 188 bt188-258:0(333)X569974
1696.96/1697.29	conflict 68lvl : 188 bt188-358:0(331)X570046
1697.46/1697.73	conflict 37lvl : 144 bt144-55:0(340)X576625
1697.76/1698.01	conflict 37lvl : 144 bt144-45:0(297)X576665
1697.76/1698.01	conflict 37lvl : 190 bt190-171:0(301)X576705
1697.76/1698.02	conflict 37lvl : 190 bt190-65:0(330)X576745
1697.76/1698.02	conflict 37lvl : 190 bt190-171:0(301)X576785
1697.76/1698.02	conflict 53lvl : 188 bt188-171:0(297)X576825
1697.76/1698.09	conflict 37lvl : 189 bt189-308:0(319)X576881
1697.86/1698.10	conflict 37lvl : 184 bt184-128:0(312)X576921
1698.16/1698.50	conflict 37lvl : 144 bt144-45:0(291)X576961
1698.26/1698.50	conflict 37lvl : 190 bt190-251:0(301)X577001
1698.26/1698.51	conflict 37lvl : 190 bt190-124:0(301)X577041
1698.26/1698.52	conflict 55lvl : 190 bt1908:0(373)X577081
1698.26/1698.52	conflict 54lvl : 189 bt1898:0(294)X577139
1698.26/1698.53	conflict 37lvl : 190 bt190-68:0(299)X577196
1698.26/1698.54	conflict 52lvl : 190 bt190-128:0(373)X577236
1698.26/1698.54	conflict 54lvl : 189 bt1894:0(294)X577291
1698.26/1698.59	conflict 37lvl : 190 bt190-125:0(301)X577348
1698.36/1698.65	conflict 54lvl : 190 bt1908:0(289)X577388
1698.36/1698.67	conflict 37lvl : 189 bt189-28:0(313)X577445
1698.36/1698.67	conflict 37lvl : 187 bt187-28:0(309)X577485
1698.36/1698.69	conflict 53lvl : 180 bt180-25:0(301)X577525
1698.56/1698.80	conflict 37lvl : 142 bt142-6:0(355)X577581
1698.76/1699.09	conflict 53lvl : 144 bt144-40:0(295)X577621
1698.76/1699.09	conflict 37lvl : 190 bt190-11:0(278)X577677
1698.86/1699.10	conflict 54lvl : 180 bt180-325:0(322)X577717
1698.86/1699.12	conflict 37lvl : 169 bt169-11:0(340)X577774
1698.86/1699.18	conflict 52lvl : 143 bt143-35:0(333)X577814
1699.16/1699.47	conflict 53lvl : 144 bt144-45:0(297)X577869
1699.76/1700.08	conflict 52lvl : 175 bt175-108:0(364)X577925
1700.16/1700.41	conflict 37lvl : 190 bt190-4:0(335)X577980
1700.16/1700.41	conflict 88lvl : 189 bt18948:0(328)X578020
1700.16/1700.41	conflict 87lvl : 188 bt18864:0(325)X578111
1700.16/1700.42	conflict 37lvl : 184 bt184-128:0(320)X578201
1700.16/1700.43	conflict 69lvl : 182 bt182-27:0(322)X578241
1700.16/1700.44	conflict 70lvl : 178 bt178-25:0(331)X578313
1700.16/1700.44	conflict 70lvl : 177 bt177325:0(329)X578386
1700.36/1700.64	conflict 37lvl : 189 bt189-125:0(315)X578459
1700.36/1700.66	conflict 37lvl : 189 bt189-25:0(311)X578499
1700.46/1700.76	conflict 54lvl : 188 bt1888:0(304)X578539
1700.56/1700.84	conflict 54lvl : 188 bt1888:0(304)X578596
1700.56/1700.86	conflict 37lvl : 189 bt189-128:0(310)X578653
1700.56/1700.86	conflict 37lvl : 189 bt189-25:0(316)X578693
1700.96/1701.23	conflict 54lvl : 189 bt1898:0(307)X578733
1701.26/1701.52	conflict 37lvl : 189 bt189-248:0(307)X578790
1713.06/1713.33	conflict 37lvl : 186 bt186-128:0(347)X578830
2210.69/2211.03	conflict 52lvl : 22 bt21-329:0(379)X587494
2210.69/2211.03	conflict 98lvl : 21 bt20-136:0(372)X587549
2400.06/2400.40	
2400.06/2400.40	c *** INTERRUPTED ***
2400.06/2400.40	s SATISFIABLE
2400.06/2400.40	c Best value found: 1463
2400.06/2400.40	
2400.06/2400.40	
2400.06/2400.40	v <instantiation type='solution' cost='1463'>
2400.06/2400.40	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] d[0][0] 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[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[1][0] 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[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[2][0] 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[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[3][0] 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[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[4][0] 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[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[5][0] 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[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[6][0] 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[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[7][0] 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[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[8][0] 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[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[9][0] 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] 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[10][0] 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[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[11][0] 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[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[12][0] 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[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[13][0] 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[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[14][0] 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[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[15][0] 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[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[16][0] 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[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[17][0] 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[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[18][0] 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[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[19][0] 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[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] </list>
2400.06/2400.40	v <values>2 1 17 13 15 9 6 11 8 10 4 14 7 19 3 5 0 16 12 18 * 3 5 5 0 5 2 0 4 0 0 1 4 0 2 5 5 0 0 0 * * 5 10 3 4 5 5 2 2 5 10 1 5 10 1 0 0 0 10 * * * 5 0 5 1 1 0 2 2 5 2 1 2 0 0 5 0 1 * * * * 5 5 2 10 5 5 1 5 0 0 0 0 0 1 2 5 * * * * * 0 1 0 5 10 1 3 2 0 1 0 4

Verifier Data 

ERROR: no instantiation found

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240545-1500638604/watcher-4240545-1500638604 -o /tmp/evaluation-result-4240545-1500638604/solver-4240545-1500638604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240545-1500638604.xml 

pid=6715
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.13 4/187 6718
/proc/meminfo: memFree=31890092/32770624 swapFree=6268/18116
[pid=6718] ppid=6715 vsize=27388 CPUtime=0 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 17136959 28045312 832 33554432000 4194304 5970956 140725564150688 140725564146024 139960147319781 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 6847 832 703 434 0 211 0

[startup+0.100111 s]
/proc/loadavg: 2.00 2.01 2.13 4/187 6718
/proc/meminfo: memFree=31890092/32770624 swapFree=6268/18116
[pid=6718] ppid=6715 vsize=34568 CPUtime=0.09 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1869 0 0 0 9 0 0 0 20 0 1 0 17136959 35397632 1690 33554432000 4194304 5970956 140725564150688 140725564148248 4934453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8642 1690 788 434 0 2006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34568

[startup+0.20025 s]
/proc/loadavg: 2.00 2.01 2.13 4/187 6718
/proc/meminfo: memFree=31890092/32770624 swapFree=6268/18116
[pid=6718] ppid=6715 vsize=34568 CPUtime=0.19 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1883 0 0 0 19 0 0 0 20 0 1 0 17136959 35397632 1690 33554432000 4194304 5970956 140725564150688 140725564148248 5098954 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8642 1690 788 434 0 2006 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34568

[startup+0.300202 s]
/proc/loadavg: 2.00 2.01 2.13 4/187 6718
/proc/meminfo: memFree=31890092/32770624 swapFree=6268/18116
[pid=6718] ppid=6715 vsize=34568 CPUtime=0.29 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1895 0 0 0 29 0 0 0 20 0 1 0 17136959 35397632 1690 33554432000 4194304 5970956 140725564150688 140725564148024 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8642 1690 788 434 0 2006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34568

[startup+0.700177 s]
/proc/loadavg: 2.00 2.01 2.13 4/187 6718
/proc/meminfo: memFree=31890092/32770624 swapFree=6268/18116
[pid=6718] ppid=6715 vsize=34568 CPUtime=0.69 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1924 0 0 0 69 0 0 0 20 0 1 0 17136959 35397632 1756 33554432000 4194304 5970956 140725564150688 140725564137992 4934473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8642 1756 792 434 0 2006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34568

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.13 3/188 6719
/proc/meminfo: memFree=31885992/32770624 swapFree=6268/18132
[pid=6718] ppid=6715 vsize=34568 CPUtime=1.49 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 1971 0 0 0 149 0 0 0 20 0 1 0 17136959 35397632 1756 33554432000 4194304 5970956 140725564150688 140725564148024 5045624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8642 1756 792 434 0 2006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34568

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.13 3/188 6719
/proc/meminfo: memFree=31885372/32770624 swapFree=6268/18132
[pid=6718] ppid=6715 vsize=34784 CPUtime=3.09 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 2977 0 0 0 309 0 0 0 20 0 1 0 17136959 35618816 1916 33554432000 4194304 5970956 140725564150688 140725564148024 5136634 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8696 1916 792 434 0 2060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34784

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.13 3/188 6719
/proc/meminfo: memFree=31881784/32770624 swapFree=6268/18140
[pid=6718] ppid=6715 vsize=34784 CPUtime=6.29 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 4102 0 0 0 629 0 0 0 20 0 1 0 17136959 35618816 2529 33554432000 4194304 5970956 140725564150688 140725564148024 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8696 2529 793 434 0 2060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34784

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.13 3/188 6719
/proc/meminfo: memFree=31881536/32770624 swapFree=6268/18148
[pid=6718] ppid=6715 vsize=34784 CPUtime=12.69 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 5188 0 0 0 1269 0 0 0 20 0 1 0 17136959 35618816 2545 33554432000 4194304 5970956 140725564150688 140725564148024 4933087 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8696 2545 793 434 0 2060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34784

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.13 3/188 6719
/proc/meminfo: memFree=31880580/32770624 swapFree=6268/18164
[pid=6718] ppid=6715 vsize=34912 CPUtime=25.48 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 7235 0 0 0 2548 0 0 0 20 0 1 0 17136959 35749888 2560 33554432000 4194304 5970956 140725564150688 140725564148024 5136615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2560 793 434 0 2092 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34912

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.12 3/188 6719
/proc/meminfo: memFree=31880444/32770624 swapFree=6268/18192
[pid=6718] ppid=6715 vsize=34912 CPUtime=51.08 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 8363 0 0 0 5108 0 0 0 20 0 1 0 17136959 35749888 2566 33554432000 4194304 5970956 140725564150688 140725564148024 5136803 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2566 793 434 0 2092 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34912

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/188 6720
/proc/meminfo: memFree=31881420/32770624 swapFree=6268/18256
[pid=6718] ppid=6715 vsize=34912 CPUtime=102.28 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 9484 0 0 0 10228 0 0 0 20 0 1 0 17136959 35749888 2571 33554432000 4194304 5970956 140725564150688 140725564148024 5136620 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2571 793 434 0 2092 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34912

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 6721
/proc/meminfo: memFree=31881808/32770624 swapFree=6268/18296
[pid=6718] ppid=6715 vsize=34912 CPUtime=162.26 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 10557 0 0 0 16226 0 0 0 20 0 1 0 17136959 35749888 2576 33554432000 4194304 5970956 140725564150688 140725564148024 5136620 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2576 793 434 0 2092 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34912

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.11 3/191 6867
/proc/meminfo: memFree=32006856/32770624 swapFree=6268/18424
[pid=6718] ppid=6715 vsize=34912 CPUtime=222.26 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 11629 0 0 0 22226 0 0 0 20 0 1 0 17136959 35749888 2577 33554432000 4194304 5970956 140725564150688 140725564148024 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2577 793 434 0 2092 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 34912

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/187 7039
/proc/meminfo: memFree=32007972/32770624 swapFree=6268/18552
[pid=6718] ppid=6715 vsize=34912 CPUtime=282.25 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 12682 0 0 0 28225 0 0 0 20 0 1 0 17136959 35749888 2579 33554432000 4194304 5970956 140725564150688 140725564148024 5136623 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2579 793 434 0 2092 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 34912

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/187 7104
/proc/meminfo: memFree=31961308/32770624 swapFree=6268/18652
[pid=6718] ppid=6715 vsize=34912 CPUtime=342.24 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 13749 0 0 0 34224 0 0 0 20 0 1 0 17136959 35749888 2579 33554432000 4194304 5970956 140725564150688 140725564148024 5047048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2579 793 434 0 2092 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 34912

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/187 7112
/proc/meminfo: memFree=31934452/32770624 swapFree=6268/18716
[pid=6718] ppid=6715 vsize=34912 CPUtime=402.23 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 14819 0 0 0 40223 0 0 0 20 0 1 0 17136959 35749888 2579 33554432000 4194304 5970956 140725564150688 140725564148024 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2579 793 434 0 2092 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 34912

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/187 7113
/proc/meminfo: memFree=31932484/32770624 swapFree=6268/18760
[pid=6718] ppid=6715 vsize=34912 CPUtime=462.22 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 15865 0 0 0 46222 0 0 0 20 0 1 0 17136959 35749888 2580 33554432000 4194304 5970956 140725564150688 140725564148024 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2580 793 434 0 2092 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 34912

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/187 7114
/proc/meminfo: memFree=31932148/32770624 swapFree=6268/18788
[pid=6718] ppid=6715 vsize=34912 CPUtime=522.21 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 16961 0 0 0 52221 0 0 0 20 0 1 0 17136959 35749888 2581 33554432000 4194304 5970956 140725564150688 140725564148024 5047051 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2581 793 434 0 2092 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34912

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/187 7115
/proc/meminfo: memFree=31927492/32770624 swapFree=6268/18844
[pid=6718] ppid=6715 vsize=34912 CPUtime=582.21 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 18025 0 0 0 58221 0 0 0 20 0 1 0 17136959 35749888 2581 33554432000 4194304 5970956 140725564150688 140725564148024 5136799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8728 2581 793 434 0 2092 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 34912


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7139
/proc/meminfo: memFree=31923212/32770624 swapFree=6268/19452
[pid=6718] ppid=6715 vsize=35044 CPUtime=1482.09 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 32409 0 0 0 148208 1 0 0 20 0 1 0 17136959 35885056 2600 33554432000 4194304 5970956 140725564150688 140725564148024 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2600 793 434 0 2125 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 35044

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7140
/proc/meminfo: memFree=31923708/32770624 swapFree=6268/19584
[pid=6718] ppid=6715 vsize=35044 CPUtime=1542.09 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 33471 0 0 0 154208 1 0 0 20 0 1 0 17136959 35885056 2600 33554432000 4194304 5970956 140725564150688 140725564148024 4933182 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2600 793 434 0 2125 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 35044

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7148
/proc/meminfo: memFree=31922592/32770624 swapFree=6268/19632
[pid=6718] ppid=6715 vsize=35044 CPUtime=1602.07 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 34396 0 0 0 160206 1 0 0 20 0 1 0 17136959 35885056 2603 33554432000 4194304 5970956 140725564150688 140725564148024 4934432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2603 793 434 0 2125 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 35044

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 7149
/proc/meminfo: memFree=31923020/32770624 swapFree=6168/19712
[pid=6718] ppid=6715 vsize=35044 CPUtime=1662.06 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 35353 0 0 0 166205 1 0 0 20 0 1 0 17136959 35885056 2605 33554432000 4194304 5970956 140725564150688 140725564148024 4934506 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2605 793 434 0 2125 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 35044

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7150
/proc/meminfo: memFree=31923508/32770624 swapFree=6168/19776
[pid=6718] ppid=6715 vsize=35044 CPUtime=1722.05 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 36438 0 0 0 172204 1 0 0 20 0 1 0 17136959 35885056 2608 33554432000 4194304 5970956 140725564150688 140725564148024 4933129 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2608 793 434 0 2125 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 35044

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7151
/proc/meminfo: memFree=31922760/32770624 swapFree=6168/19820
[pid=6718] ppid=6715 vsize=35044 CPUtime=1782.05 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 37094 0 0 0 178204 1 0 0 20 0 1 0 17136959 35885056 2610 33554432000 4194304 5970956 140725564150688 140725564148024 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2610 793 434 0 2125 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 35044

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7152
/proc/meminfo: memFree=31922628/32770624 swapFree=6168/19860
[pid=6718] ppid=6715 vsize=35044 CPUtime=1842.04 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 38173 0 0 0 184203 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5136629 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 1842.04
Current children cumulated vsize (KiB) 35044

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7153
/proc/meminfo: memFree=31923012/32770624 swapFree=6168/19888
[pid=6718] ppid=6715 vsize=35044 CPUtime=1902.03 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 39066 0 0 0 190202 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 35044

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7154
/proc/meminfo: memFree=31923120/32770624 swapFree=6168/19916
[pid=6718] ppid=6715 vsize=35044 CPUtime=1962.02 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 39920 0 0 0 196201 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5240208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 35044

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7155
/proc/meminfo: memFree=31923228/32770624 swapFree=6168/19944
[pid=6718] ppid=6715 vsize=35044 CPUtime=2022.01 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 40989 0 0 0 202200 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5337487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 35044

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7156
/proc/meminfo: memFree=31923088/32770624 swapFree=6168/19980
[pid=6718] ppid=6715 vsize=35044 CPUtime=2082.01 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 41826 0 0 0 208200 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5045484 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 35044

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7157
/proc/meminfo: memFree=31921044/32770624 swapFree=6168/20008
[pid=6718] ppid=6715 vsize=35044 CPUtime=2142 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 42700 0 0 0 214199 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5136643 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 35044

[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7165
/proc/meminfo: memFree=31919592/32770624 swapFree=6168/20036
[pid=6718] ppid=6715 vsize=35044 CPUtime=2201.99 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 43508 0 0 0 220198 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 4930580 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 35044

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7166
/proc/meminfo: memFree=31919392/32770624 swapFree=6168/20088
[pid=6718] ppid=6715 vsize=35044 CPUtime=2261.98 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 44825 0 0 0 226197 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5047480 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 35044

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7167
/proc/meminfo: memFree=31919516/32770624 swapFree=6168/20120
[pid=6718] ppid=6715 vsize=35044 CPUtime=2321.97 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 45631 0 0 0 232196 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 35044

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7168
/proc/meminfo: memFree=31919392/32770624 swapFree=6168/20156
[pid=6718] ppid=6715 vsize=35044 CPUtime=2381.96 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 46400 0 0 0 238195 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5325096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 35044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7168
/proc/meminfo: memFree=31919516/32770624 swapFree=6168/20164
[pid=6718] ppid=6715 vsize=35044 CPUtime=2400.06 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 3975 0 -1 4202496 47141 0 0 0 240005 1 0 0 20 0 1 0 17136959 35885056 2611 33554432000 4194304 5970956 140725564150688 140725564148024 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29786112 140725564159164 140725564159299 140725564159299 140725564161998 0
/proc/6718/statm: 8761 2611 793 434 0 2125 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 35044

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6718 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.016997
CPU usage (%): 99.9863
Max. virtual memory (cumulated for all children) (KiB): 35044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.016997
maximum resident set size= 10488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 120659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35949 second user time and 8.31731 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 14:03:24
IDJOB=4240545
IDBENCH=123129
IDSOLVER=2621
FILE ID=node131/4240545-1500638604
RUNJOBID= node131-1500623778-4007
PBS_JOBID= 20623002
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240545-1500638604/watcher-4240545-1500638604 -o /tmp/evaluation-result-4240545-1500638604/solver-4240545-1500638604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240545-1500638604.xml

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

MD5SUM BENCH= 1ce5b24a466c3cb241db2c2b366e9012
RANDOM SEED=1063963354

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

/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.50
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		: 2133.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		: 1600.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.50
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		: 1600.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		: 1600.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.50
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		: 1600.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		: 1600.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.50
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		: 1600.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:        31890460 kB
MemAvailable:   31872176 kB
Buffers:          120900 kB
Cached:           142068 kB
SwapCached:           52 kB
Active:           354888 kB
Inactive:          90996 kB
Active(anon):     129960 kB
Inactive(anon):    72880 kB
Active(file):     224928 kB
Inactive(file):    18116 kB
Unevictable:        6268 kB
Mlocked:            6268 kB
SwapTotal:      67108860 kB
SwapFree:       67108780 kB
Dirty:              2332 kB
Writeback:            40 kB
AnonPages:        262944 kB
Mapped:            34144 kB
Shmem:             16972 kB
Slab:             135020 kB
SReclaimable:     109016 kB
SUnreclaim:        26004 kB
KernelStack:        3376 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     465456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 62020 MiB
End job on node131 at 2017-07-21 14:43:24