Trace number 4240515

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.09 2400.31

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug30.xml
MD5SUM7992d423b18f632a54772c1bcf249848
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3153
Best CPU time to get the best result obtained on this benchmark2520.1001
Satisfiable
(Un)Satisfiability was proved
Number of variables930
Number of constraints436
Number of domains2
Minimum domain size8
Maximum domain size30
Distribution of domain sizes[{"size":8,"count":435},{"size":30,"count":30}]
Minimum variable degree0
Maximum variable degree30
Distribution of variable degrees[{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":435},{"arity":30,"count":1}]
Number of extensional constraints435
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":435},{"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.05	c SAT : Variables: 8100 -- Clauses: 39180
0.00/0.05	c best=?? lower=0 upper=15950 
0.09/0.19	c
0.09/0.19	c This is cosoco 1.0 --  
0.09/0.19	c
0.09/0.19	c enable optimization
0.09/0.19	c ========================================[ Problem Statistics ]===========================================
0.09/0.19	c |                                                                                                       
0.09/0.19	c |  Parse time        :         0.04 s 
0.09/0.19	c |
0.09/0.19	c |               Variables: 930
0.09/0.19	c |            Domain Sizes: 8..30
0.09/0.19	c |
0.09/0.19	c |             Constraints: 437
0.09/0.19	c |                   Arity: 3..435  -- Ternary: 435
0.09/0.19	c | 
0.09/0.19	c |                   Types: 
0.09/0.19	c |                          All Different: 1
0.09/0.19	c |                          Extension: 435  (nb tuples: 870..870) -- (shared: 434)
0.09/0.19	c |                          Sum: 1
0.09/0.19	c |                          
0.09/0.19	c =========================================================================================================
0.09/0.19	o 3954
0.09/0.19	c    1 calls to solver: best=3954 lower=0 upper=3953 
0.18/0.26	o 3948
0.28/0.36	conflict 57lvl : 28 bt28-148:0(644)X169418
0.88/0.92	o 3904
0.88/0.92	c    3 calls to solver: best=3904 lower=0 upper=3903 
4.19/4.24	o 3824
7.18/7.29	o 3810
7.18/7.29	c    5 calls to solver: best=3810 lower=0 upper=3809 
7.70/7.76	o 3799
19.68/19.72	o 3775
19.68/19.72	c    7 calls to solver: best=3775 lower=0 upper=3774 
22.28/22.34	o 3726
31.78/31.85	conflict 57lvl : 435 bt435-38:0(549)X1090725
31.89/31.97	conflict 57lvl : 434 bt434-578:0(548)X1090785
32.68/32.72	o 3709
32.68/32.72	c    9 calls to solver: best=3709 lower=0 upper=3708 
32.68/32.78	conflict 57lvl : 435 bt435-698:0(549)X1097419
35.38/35.43	conflict 57lvl : 44 bt43-768:0(871)X1108331
35.38/35.43	conflict 57lvl : 44 bt43-858:0(875)X1108391
36.98/37.01	conflict 57lvl : 435 bt435-518:0(549)X1109325
37.08/37.13	conflict 57lvl : 435 bt435-128:0(549)X1109385
37.49/37.55	conflict 57lvl : 435 bt435-38:0(549)X1109445
41.58/41.63	conflict 57lvl : 106 bt106-687:0(1457)X1123628
41.58/41.63	conflict 57lvl : 107 bt107-446:0(1582)X1123688
41.58/41.63	 -> -446:X(1582)conflict 83lvl : 119 bt119-687:0(1579)X1123748
44.38/44.47	conflict 57lvl : 435 bt435-608:0(549)X1126800
44.48/44.54	conflict 57lvl : 434 bt434-611:0(613)X1126860
44.48/44.55	conflict 84lvl : 433 bt4339:0(601)X1126920
44.48/44.57	conflict 56lvl : 432 bt432-549:0(1039)X1127007
44.68/44.75	conflict 57lvl : 435 bt435-728:0(551)X1127066
44.78/44.83	conflict 57lvl : 434 bt434-731:0(617)X1127126
44.78/44.84	conflict 84lvl : 433 bt4339:0(607)X1127186
44.88/44.91	conflict 56lvl : 429 bt429-219:0(1036)X1127273
44.88/44.97	conflict 57lvl : 434 bt434-550:0(920)X1127332
44.88/44.99	conflict 84lvl : 433 bt433-260:0(609)X1127392
44.98/45.00	conflict 57lvl : 432 bt432-251:0(583)X1127479
44.98/45.07	conflict 57lvl : 427 bt427-71:0(569)X1127539
45.19/45.24	conflict 57lvl : 415 bt415-69:0(1022)X1127599
45.19/45.28	conflict 57lvl : 435 bt435-8:0(555)X1127659
45.38/45.41	conflict 57lvl : 435 bt435-488:0(551)X1127719
45.58/45.63	conflict 57lvl : 433 bt433-11:0(622)X1127779
45.58/45.65	conflict 84lvl : 432 bt43239:0(609)X1127839
47.88/47.91	conflict 57lvl : 435 bt435-188:0(551)X1133381
47.98/48.07	conflict 57lvl : 433 bt433-220:0(920)X1133441
47.98/48.09	conflict 84lvl : 432 bt432-320:0(594)X1133501
48.08/48.10	conflict 57lvl : 431 bt431-311:0(582)X1133588
48.18/48.26	conflict 57lvl : 419 bt419-521:0(561)X1133648
48.39/48.46	conflict 57lvl : 405 bt405-69:0(1012)X1133708
48.49/48.56	conflict 57lvl : 432 bt432-604:0(1029)X1133768
48.49/48.57	conflict 57lvl : 432 bt432-616:0(938)X1133828
48.49/48.58	conflict 112lvl : 431 bt431611:0(744)X1133888
48.58/48.64	conflict 57lvl : 435 bt435-458:0(553)X1134003
49.18/49.23	conflict 57lvl : 433 bt433-620:0(630)X1134063
49.18/49.24	conflict 138lvl : 432 bt4329:0(611)X1134123
49.18/49.28	conflict 112lvl : 430 bt430722:0(757)X1134264
49.28/49.36	conflict 57lvl : 434 bt434-189:0(925)X1134379
49.28/49.38	conflict 84lvl : 433 bt433-290:0(594)X1134439
49.28/49.39	conflict 113lvl : 432 bt43211:0(586)X1134526
49.38/49.45	conflict 57lvl : 428 bt428-671:0(572)X1134642
49.38/49.45	conflict 57lvl : 428 bt428-664:0(1016)X1134702
67.18/67.28	conflict 57lvl : 435 bt435-11:0(592)X1156203
67.28/67.39	conflict 57lvl : 427 bt427-71:0(570)X1156263
67.78/67.82	conflict 57lvl : 397 bt397-69:0(1003)X1156323
67.78/67.82	conflict 57lvl : 397 bt397-69:0(985)X1156383
67.78/67.83	conflict 57lvl : 397 bt397-219:0(857)X1156443
67.78/67.83	conflict 57lvl : 397 bt397-82:0(910)X1156503
67.78/67.84	conflict 83lvl : 397 bt397-82:0(906)X1156563
67.78/67.86	conflict 57lvl : 396 bt396-20:0(701)X1156649
67.78/67.86	conflict 57lvl : 396 bt396-729:0(986)X1156709
67.78/67.87	conflict 57lvl : 396 bt396-742:0(877)X1156769
67.78/67.89	conflict 57lvl : 395 bt395-2:0(694)X1156829
67.88/67.90	conflict 57lvl : 395 bt395-82:0(875)X1156889
67.88/67.92	conflict 84lvl : 394 bt39469:0(681)X1156949
67.88/67.97	conflict 84lvl : 393 bt39331:0(873)X1157036
68.08/68.15	conflict 57lvl : 389 bt389-230:0(905)X1157123
68.08/68.18	conflict 57lvl : 389 bt389-238:0(866)X1157183
68.18/68.23	conflict 57lvl : 435 bt435-731:0(586)X1157243
68.28/68.32	conflict 57lvl : 434 bt434-518:0(550)X1157303
68.48/68.52	conflict 57lvl : 433 bt433-548:0(549)X1157363
68.48/68.59	conflict 57lvl : 434 bt434-551:0(620)X1157423
68.58/68.60	conflict 84lvl : 433 bt4339:0(607)X1157483
68.68/68.72	conflict 57lvl : 426 bt426-220:0(913)X1157570
68.68/68.74	conflict 84lvl : 425 bt425-650:0(581)X1157630
68.68/68.75	conflict 113lvl : 424 bt42411:0(576)X1157717
68.68/68.76	conflict 57lvl : 423 bt423-641:0(574)X1157833
69.18/69.20	conflict 57lvl : 435 bt435-728:0(563)X1157893
69.18/69.28	conflict 57lvl : 434 bt434-728:0(556)X1157953
69.68/69.71	conflict 57lvl : 433 bt433-182:0(611)X1158013
69.68/69.73	conflict 57lvl : 432 bt432-191:0(615)X1158073
69.68/69.74	conflict 57lvl : 432 bt432-219:0(923)X1158133
69.68/69.75	conflict 84lvl : 431 bt431-860:0(603)X1158193
69.68/69.76	conflict 113lvl : 430 bt43011:0(584)X1158280
69.68/69.78	conflict 57lvl : 429 bt429-851:0(582)X1158396
70.08/70.12	conflict 57lvl : 433 bt433-731:0(625)X1158456
70.08/70.14	conflict 84lvl : 432 bt4329:0(619)X1158516
83.08/83.19	conflict 57lvl : 435 bt435-128:0(551)X1169163
83.38/83.41	conflict 57lvl : 433 bt433-131:0(619)X1169223
83.38/83.43	conflict 84lvl : 432 bt4329:0(604)X1169283
83.68/83.74	conflict 57lvl : 413 bt413-80:0(890)X1169370
83.68/83.74	conflict 57lvl : 413 bt413-232:0(926)X1169430
83.68/83.77	conflict 57lvl : 412 bt412-80:0(876)X1169490
83.68/83.78	conflict 82lvl : 412 bt412-17:0(913)X1169550
83.78/83.80	conflict 84lvl : 411 bt41113:0(870)X1169635
83.78/83.83	conflict 164lvl : 410 bt41020:0(868)X1169722
83.78/83.84	conflict 238lvl : 410 bt41052:0(910)X1169889
83.78/83.86	conflict 136lvl : 409 bt409-20:0(866)X1170130
83.78/83.89	conflict 57lvl : 408 bt408-219:0(998)X1170269
83.78/83.89	conflict 243lvl : 408 bt40839:0(853)X1170329
83.88/83.90	conflict 57lvl : 408 bt408-82:0(888)X1170575
83.88/83.92	conflict 82lvl : 407 bt407-122:0(706)X1170635
83.88/83.92	conflict 106lvl : 407 bt407-9:0(994)X1170720
83.88/83.93	conflict 191lvl : 407 bt4071:0(886)X1170829
83.88/83.95	conflict 84lvl : 406 bt4061:0(992)X1171023
83.88/83.96	conflict 244lvl : 406 bt4061:0(883)X1171110
83.88/83.98	conflict 138lvl : 405 bt40569:0(692)X1171357
83.88/83.99	conflict 138lvl : 405 bt405-1:0(986)X1171498
83.88/83.99	conflict 243lvl : 405 bt40544:0(880)X1171639
83.98/84.02	conflict 191lvl : 404 bt40415:0(980)X1171885
83.98/84.05	conflict 190lvl : 403 bt4039:0(974)X1172079
83.98/84.08	conflict 189lvl : 402 bt40252:0(972)X1172272
84.18/84.21	conflict 57lvl : 399 bt399-212:0(896)X1172464
84.18/84.21	conflict 57lvl : 399 bt399-62:0(838)X1172524
84.28/84.33	conflict 57lvl : 434 bt434-461:0(617)X1172584
84.28/84.35	conflict 84lvl : 433 bt4339:0(605)X1172644
84.58/84.61	conflict 57lvl : 417 bt417-220:0(903)X1172731
84.58/84.63	conflict 84lvl : 416 bt416-860:0(593)X1172791
84.58/84.64	conflict 57lvl : 415 bt415-851:0(566)X1172878
85.68/85.78	conflict 57lvl : 416 bt416-393:0(907)X1172938
85.78/85.81	conflict 57lvl : 435 bt435-278:0(553)X1172998
85.98/86.00	conflict 57lvl : 416 bt416-272:0(588)X1173058
86.28/86.38	conflict 57lvl : 416 bt416-303:0(909)X1173118
87.48/87.59	conflict 83lvl : 433 bt433-182:0(631)X1173178
87.58/87.61	conflict 57lvl : 432 bt432-191:0(641)X1173264
87.58/87.62	conflict 84lvl : 431 bt4319:0(631)X1173324
114.38/114.40	conflict 57lvl : 435 bt435-368:0(556)X1188705
114.38/114.42	conflict 57lvl : 434 bt434-371:0(614)X1188765
114.38/114.44	conflict 84lvl : 433 bt4339:0(603)X1188825
114.57/114.65	conflict 84lvl : 420 bt42040:0(1008)X1188912
114.57/114.66	conflict 57lvl : 420 bt420-616:0(927)X1188999
114.67/114.71	conflict 57lvl : 435 bt435-248:0(549)X1189059
114.67/114.78	conflict 57lvl : 430 bt430-63:0(904)X1189119
114.67/114.79	conflict 57lvl : 430 bt430-80:0(964)X1189179
114.77/114.89	conflict 57lvl : 435 bt435-362:0(611)X1189239
115.07/115.10	conflict 57lvl : 422 bt422-603:0(895)X1189299
115.07/115.11	conflict 82lvl : 422 bt422-406:0(924)X1189359
115.27/115.33	conflict 236lvl : 423 bt423-407:0(953)X1189444
115.37/115.42	conflict 57lvl : 435 bt435-380:0(630)X1189683
115.37/115.43	conflict 138lvl : 433 bt4339:0(614)X1189743
115.58/115.63	conflict 57lvl : 422 bt422-407:0(953)X1189884
115.58/115.69	conflict 57lvl : 434 bt434-410:0(580)X1189944
115.67/115.70	conflict 84lvl : 433 bt4332:0(517)X1190004
115.77/115.84	conflict 83lvl : 422 bt422-616:0(922)X1190091
115.77/115.86	conflict 57lvl : 435 bt435-548:0(549)X1190177
116.58/116.66	conflict 84lvl : 426 bt426-458:0(644)X1190237
117.78/117.85	conflict 83lvl : 421 bt421-611:0(663)X1190324
117.97/118.07	conflict 57lvl : 425 bt425-77:0(926)X1190410
118.17/118.27	conflict 138lvl : 423 bt42334:0(944)X1190470
118.37/118.47	conflict 80lvl : 425 bt425-406:0(951)X1190611
118.78/118.87	conflict 107lvl : 425 bt425-17:0(926)X1190694
118.88/118.92	conflict 57lvl : 435 bt435-398:0(562)X1190804
118.88/118.94	conflict 137lvl : 434 bt434632:0(679)X1190864
118.88/118.96	conflict 111lvl : 433 bt433-632:0(642)X1191004
118.88/118.98	conflict 137lvl : 432 bt43211:0(609)X1191118
119.07/119.18	conflict 266lvl : 427 bt4271:0(928)X1191258
119.37/119.47	conflict 190lvl : 428 bt42846:0(925)X1191527
119.47/119.50	conflict 321lvl : 427 bt42734:0(916)X1191720
119.47/119.52	conflict 189lvl : 426 bt42646:0(908)X1192044
119.67/119.71	conflict 217lvl : 426 bt42646:0(919)X1192236
119.77/119.88	conflict 56lvl : 435 bt435-242:0(618)X1192456
120.17/120.28	conflict 318lvl : 428 bt42850:0(921)X1192515
120.37/120.48	conflict 316lvl : 427 bt42747:0(951)X1192836
120.98/121.01	conflict 57lvl : 428 bt428-50:0(921)X1193155
121.17/121.24	conflict 84lvl : 432 bt432-562:0(708)X1193215
122.08/122.10	conflict 316lvl : 428 bt42847:0(917)X1193302
122.08/122.17	conflict 57lvl : 425 bt425-394:0(727)X1193621
122.18/122.21	conflict 56lvl : 424 bt424-122:0(599)X1193681
140.97/141.09	conflict 82lvl : 430 bt430-393:0(910)X1204219
140.97/141.09	conflict 57lvl : 430 bt430-76:0(947)X1204304
141.27/141.35	conflict 138lvl : 434 bt4349:0(627)X1204364
141.88/142.00	conflict 57lvl : 433 bt433-398:0(563)X1204505
143.17/143.28	conflict 138lvl : 431 bt4319:0(626)X1204565
143.57/143.68	conflict 138lvl : 433 bt4339:0(626)X1204706
143.67/143.77	conflict 137lvl : 434 bt434-250:0(717)X1204847
143.67/143.79	conflict 136lvl : 433 bt4339:0(643)X1204987
144.87/144.96	conflict 57lvl : 428 bt428-548:0(546)X1205126
145.87/145.98	conflict 57lvl : 427 bt427-608:0(549)X1205186
146.17/146.30	conflict 57lvl : 425 bt425-800:0(614)X1205246
146.28/146.32	conflict 57lvl : 424 bt424-791:0(604)X1205306
146.28/146.33	conflict 84lvl : 423 bt4239:0(600)X1205366
146.28/146.34	conflict 82lvl : 423 bt423-429:0(1021)X1205453
146.28/146.34	conflict 57lvl : 423 bt423-430:0(917)X1205538
146.47/146.58	conflict 315lvl : 429 bt42952:0(948)X1205598
146.57/146.67	conflict 57lvl : 432 bt432-220:0(920)X1205916
146.57/146.68	conflict 84lvl : 431 bt431-20:0(608)X1205976
146.97/147.09	conflict 57lvl : 426 bt426-64:0(1013)X1206063
147.07/147.10	conflict 136lvl : 426 bt426-76:0(913)X1206123
147.07/147.17	conflict 138lvl : 434 bt4349:0(625)X1206262
147.57/147.60	conflict 315lvl : 430 bt43047:0(947)X1206403
147.97/148.09	conflict 57lvl : 429 bt429-428:0(547)X1206721
154.17/154.29	o 3705
154.37/154.44	conflict 84lvl : 430 bt43040:0(1008)X1213276
154.37/154.45	conflict 317lvl : 430 bt43048:0(913)X1213363
154.47/154.51	conflict 138lvl : 434 bt4349:0(623)X1213683
154.57/154.68	conflict 57lvl : 430 bt430-31:0(943)X1213824
154.87/154.91	conflict 316lvl : 430 bt43047:0(909)X1213884
155.08/155.17	conflict 313lvl : 430 bt43038:0(942)X1214203
155.37/155.40	conflict 312lvl : 430 bt43047:0(947)X1214519
156.37/156.41	conflict 57lvl : 428 bt428-782:0(600)X1214834
156.37/156.43	conflict 57lvl : 427 bt427-440:0(574)X1214894
156.37/156.44	conflict 84lvl : 426 bt4262:0(512)X1214954
156.47/156.53	conflict 57lvl : 419 bt419-429:0(1026)X1215041
156.57/156.62	conflict 82lvl : 432 bt432-370:0(913)X1215101
156.67/156.76	conflict 313lvl : 430 bt43047:0(942)X1215186
157.17/157.24	conflict 57lvl : 429 bt429-638:0(545)X1215502
158.57/158.61	conflict 312lvl : 430 bt43038:0(945)X1215562
158.57/158.66	conflict 57lvl : 428 bt428-158:0(548)X1215877
159.27/159.39	conflict 82lvl : 428 bt428-641:0(612)X1215937
159.37/159.40	conflict 57lvl : 427 bt427-431:0(569)X1216022
159.37/159.46	conflict 83lvl : 424 bt424-430:0(910)X1216082
159.97/160.04	conflict 57lvl : 435 bt435-242:0(616)X1216168
160.07/160.15	conflict 57lvl : 429 bt429-2:0(602)X1216228
160.87/160.99	conflict 57lvl : 429 bt429-632:0(603)X1216288
189.47/189.54	conflict 57lvl : 432 bt432-235:0(919)X1227397
189.47/189.55	conflict 57lvl : 432 bt432-17:0(957)X1227457
189.67/189.76	conflict 139lvl : 432 bt4321:0(920)X1227517
189.87/189.99	conflict 57lvl : 432 bt432-1:0(912)X1227659
190.07/190.15	conflict 57lvl : 429 bt429-8:0(557)X1227719
190.07/190.16	conflict 57lvl : 428 bt428-11:0(608)X1227779
190.07/190.18	conflict 84lvl : 427 bt42739:0(597)X1227839
190.17/190.20	conflict 57lvl : 426 bt426-64:0(1022)X1227926
190.17/190.21	conflict 57lvl : 426 bt426-52:0(923)X1227986
190.17/190.26	conflict 57lvl : 435 bt435-392:0(611)X1228046
190.17/190.30	conflict 57lvl : 432 bt432-234:0(906)X1228106
190.27/190.30	conflict 57lvl : 432 bt432-237:0(953)X1228166
190.37/190.43	conflict 312lvl : 430 bt43031:0(943)X1228226
190.47/190.52	conflict 160lvl : 432 bt432-24:0(910)X1228541
190.67/190.75	conflict 188lvl : 432 bt43240:0(900)X1228704
190.67/190.75	conflict 136lvl : 432 bt432-17:0(954)X1228895
190.87/190.90	conflict 57lvl : 429 bt429-608:0(545)X1229034
190.97/191.00	conflict 214lvl : 432 bt43233:0(907)X1229094
192.07/192.15	conflict 135lvl : 432 bt432-17:0(952)X1229311
192.27/192.34	conflict 57lvl : 428 bt428-608:0(544)X1229449
193.97/194.02	conflict 313lvl : 430 bt43047:0(954)X1229509
195.27/195.39	conflict 57lvl : 431 bt431-830:0(580)X1229825
195.37/195.40	conflict 84lvl : 430 bt43010:0(516)X1229885
195.37/195.42	conflict 57lvl : 429 bt429-640:0(916)X1229972
195.37/195.43	conflict 84lvl : 428 bt428-800:0(583)X1230032
195.37/195.45	conflict 113lvl : 427 bt42711:0(579)X1230119
195.37/195.47	conflict 57lvl : 425 bt425-791:0(576)X1230235
195.47/195.50	conflict 82lvl : 423 bt423-731:0(565)X1230295
195.57/195.63	conflict 57lvl : 414 bt414-729:0(1011)X1230380
195.57/195.64	conflict 83lvl : 414 bt414-749:0(921)X1230440
195.67/195.73	conflict 57lvl : 433 bt433-4:0(1013)X1230526
195.67/195.73	conflict 236lvl : 433 bt433-385:0(905)X1230586
195.67/195.74	conflict 109lvl : 433 bt433-16:0(923)X1230825
195.67/195.76	conflict 84lvl : 432 bt43270:0(1002)X1230937
195.67/195.76	conflict 267lvl : 432 bt432370:0(892)X1231024
195.67/195.76	conflict 290lvl : 432 bt43257:0(912)X1231294
195.67/195.79	conflict 212lvl : 431 bt431-370:0(889)X1231587
195.67/195.79	conflict 57lvl : 431 bt431-57:0(909)X1231802
195.77/195.82	conflict 57lvl : 430 bt430-244:0(1019)X1231862
195.77/195.83	conflict 258lvl : 430 bt430-256:0(930)X1231922
195.77/195.83	conflict 57lvl : 430 bt430-385:0(895)X1232183
195.77/195.84	conflict 57lvl : 430 bt430-22:0(946)X1232243
195.77/195.89	conflict 57lvl : 435 bt435-68:0(555)X1232303
195.97/196.02	conflict 57lvl : 434 bt434-401:0(637)X1232363
195.97/196.04	conflict 84lvl : 433 bt4339:0(625)X1232423
196.07/196.11	conflict 57lvl : 430 bt430-20:0(935)X1232510
196.07/196.12	conflict 57lvl : 430 bt430-40:0(594)X1232570
196.17/196.27	conflict 57lvl : 429 bt429-398:0(545)X1232630
196.17/196.29	conflict 84lvl : 429 bt429-257:0(977)X1232690
196.17/196.29	conflict 109lvl : 430 bt429-40:0(899)X1232777
196.27/196.32	conflict 57lvl : 430 bt430-7:0(687)X1232889
196.27/196.34	conflict 83lvl : 429 bt429-400:0(813)X1232949
196.87/197.00	conflict 135lvl : 431 bt431-249:0(917)X1233035
196.97/197.02	conflict 84lvl : 430 bt430-500:0(600)X1233173
196.97/197.03	conflict 140lvl : 429 bt42911:0(583)X1233260
196.97/197.07	conflict 57lvl : 426 bt426-401:0(570)X1233403
197.07/197.14	conflict 82lvl : 421 bt421-491:0(562)X1233463
197.57/197.62	conflict 134lvl : 388 bt388-309:0(995)X1233548
197.57/197.63	conflict 57lvl : 388 bt388-24:0(1010)X1233685
197.57/197.64	conflict 82lvl : 388 bt388-160:0(884)X1233745
197.57/197.68	conflict 57lvl : 387 bt387-399:0(979)X1233830
197.57/197.69	conflict 134lvl : 387 bt387-322:0(896)X1233890
197.77/197.81	conflict 57lvl : 431 bt431-219:0(912)X1234027
197.77/197.82	conflict 84lvl : 431 bt431-226:0(955)X1234087
197.87/197.91	conflict 162lvl : 433 bt433-17:0(963)X1234174
198.17/198.20	conflict 159lvl : 433 bt433-17:0(963)X1234339
198.27/198.36	conflict 57lvl : 421 bt421-820:0(903)X1234501
198.47/198.58	conflict 83lvl : 433 bt433-5:0(915)X1234561
199.57/199.61	conflict 207lvl : 389 bt389-729:0(872)X1234647
199.57/199.63	conflict 110lvl : 388 bt388219:0(670)X1234857
199.57/199.68	conflict 82lvl : 387 bt387-729:0(861)X1234970
199.57/199.69	conflict 57lvl : 387 bt387-406:0(921)X1235055
199.67/199.77	conflict 83lvl : 433 bt433-370:0(1030)X1235115
199.67/199.78	conflict 236lvl : 433 bt433-387:0(930)X1235201
199.77/199.88	conflict 84lvl : 431 bt431-249:0(1027)X1235440
199.77/199.89	conflict 57lvl : 431 bt431-226:0(930)X1235527
200.07/200.19	conflict 57lvl : 431 bt431-214:0(1027)X1235587
200.07/200.20	conflict 110lvl : 431 bt431-16:0(932)X1235647
200.17/200.27	conflict 83lvl : 434 bt434-370:0(940)X1235760
200.17/200.29	conflict 57lvl : 433 bt433-9:0(1050)X1235846
200.47/200.58	conflict 57lvl : 434 bt434-10:0(931)X1235906
200.67/200.73	conflict 57lvl : 424 bt424-652:0(935)X1235966
200.87/200.93	conflict 57lvl : 404 bt404-752:0(694)X1236026
200.87/200.94	conflict 239lvl : 404 bt404-844:0(900)X1236086
200.87/200.95	conflict 57lvl : 403 bt403-752:0(701)X1236328
200.87/200.96	conflict 57lvl : 403 bt403-66:0(850)X1236388
200.87/200.96	conflict 244lvl : 403 bt40340:0(1009)X1236448
200.87/200.97	conflict 163lvl : 403 bt403-844:0(914)X1236695
201.47/201.52	conflict 183lvl : 433 bt433-364:0(1019)X1236861
201.47/201.52	conflict 160lvl : 433 bt433-376:0(917)X1237047
201.97/202.04	conflict 80lvl : 433 bt433-387:0(952)X1237210
202.47/202.54	conflict 214lvl : 433 bt43347:0(957)X1237293
202.57/202.66	conflict 80lvl : 431 bt431-256:0(964)X1237510
202.57/202.68	conflict 57lvl : 435 bt435-161:0(593)X1237593
202.67/202.77	conflict 57lvl : 429 bt429-131:0(576)X1237653
203.07/203.13	conflict 239lvl : 431 bt43147:0(957)X1237713
203.17/203.28	conflict 57lvl : 428 bt428-398:0(546)X1237955
203.97/204.08	conflict 57lvl : 431 bt431-9:0(925)X1238015
204.07/204.11	conflict 57lvl : 435 bt435-161:0(594)X1238075
204.07/204.19	conflict 57lvl : 429 bt429-71:0(577)X1238135
272.26/272.37	conflict 57lvl : 435 bt435-368:0(558)X1257384
272.26/272.38	conflict 57lvl : 434 bt434-362:0(611)X1257444
272.26/272.40	conflict 82lvl : 433 bt433-371:0(616)X1257504
272.36/272.40	conflict 57lvl : 433 bt433-393:0(918)X1257589
272.36/272.41	conflict 166lvl : 433 bt43334:0(962)X1257649
272.56/272.64	conflict 57lvl : 431 bt431-370:0(918)X1257818
272.56/272.66	conflict 84lvl : 430 bt430-470:0(589)X1257878
272.56/272.67	conflict 139lvl : 429 bt42911:0(581)X1257965
272.66/272.70	conflict 82lvl : 427 bt427-461:0(578)X1258107
272.66/272.74	conflict 57lvl : 424 bt424-611:0(565)X1258192
272.76/272.90	conflict 134lvl : 413 bt413-99:0(1020)X1258252
273.06/273.10	conflict 83lvl : 433 bt433-790:0(914)X1258389
273.46/273.56	conflict 57lvl : 435 bt435-728:0(551)X1258475
273.76/273.81	conflict 83lvl : 433 bt433-796:0(962)X1258535
274.16/274.25	conflict 212lvl : 433 bt43341:0(959)X1258621
274.46/274.52	conflict 83lvl : 433 bt433-783:0(914)X1258836
274.46/274.53	conflict 83lvl : 433 bt433-376:0(951)X1258922
274.66/274.71	conflict 57lvl : 435 bt435-788:0(553)X1259008
274.86/274.94	conflict 82lvl : 433 bt433-791:0(622)X1259068
274.86/274.96	conflict 82lvl : 432 bt432-401:0(575)X1259153
275.06/275.15	conflict 83lvl : 419 bt419-400:0(906)X1259238
275.06/275.17	conflict 84lvl : 418 bt418-350:0(581)X1259324
275.06/275.18	conflict 57lvl : 417 bt417-341:0(568)X1259411
275.16/275.26	conflict 57lvl : 411 bt411-461:0(553)X1259471
275.26/275.33	conflict 57lvl : 407 bt407-369:0(1014)X1259531
275.36/275.40	conflict 57lvl : 433 bt433-363:0(913)X1259591
275.36/275.40	conflict 211lvl : 433 bt43341:0(948)X1259651
275.66/275.79	conflict 57lvl : 420 bt420-394:0(1008)X1259865
275.76/275.80	conflict 84lvl : 420 bt420-430:0(895)X1259925
275.76/275.80	conflict 83lvl : 420 bt420-406:0(925)X1260012
275.76/275.82	conflict 82lvl : 419 bt419-404:0(693)X1260098
275.76/275.82	conflict 84lvl : 419 bt41940:0(998)X1260183
275.76/275.83	conflict 57lvl : 419 bt419-400:0(884)X1260270
275.76/275.83	conflict 138lvl : 419 bt41910:0(904)X1260330
275.76/275.85	conflict 82lvl : 418 bt418-406:0(689)X1260471
275.76/275.86	conflict 137lvl : 418 bt41844:0(901)X1260556
275.86/275.95	conflict 82lvl : 415 bt415-249:0(1016)X1260696
276.06/276.15	conflict 57lvl : 433 bt433-370:0(919)X1260781
276.46/276.56	conflict 110lvl : 420 bt420-406:0(941)X1260841
276.46/276.59	conflict 137lvl : 419 bt41950:0(933)X1260954
276.56/276.62	conflict 134lvl : 418 bt418-17:0(928)X1261094
276.56/276.65	conflict 161lvl : 417 bt41740:0(925)X1261231
276.56/276.68	conflict 83lvl : 416 bt416-250:0(896)X1261395
276.76/276.90	conflict 138lvl : 433 bt43325:0(927)X1261481
277.56/277.63	conflict 138lvl : 433 bt4331:0(920)X1261622
277.96/278.04	conflict 160lvl : 420 bt42074:0(932)X1261763
278.06/278.16	conflict 83lvl : 416 bt416-400:0(897)X1261926
278.06/278.19	conflict 57lvl : 435 bt435-758:0(553)X1262012
278.86/278.96	conflict 110lvl : 416 bt416429:0(1016)X1262072
279.06/279.16	conflict 137lvl : 433 bt4331:0(917)X1262185
279.56/279.68	conflict 83lvl : 416 bt416-17:0(968)X1262325
280.36/280.43	conflict 83lvl : 417 bt417-414:0(965)X1262411
280.36/280.43	conflict 57lvl : 417 bt417-404:0(954)X1262497
280.36/280.43	conflict 83lvl : 416 bt416-256:0(925)X1262557
280.36/280.45	conflict 57lvl : 416 bt416-256:0(962)X1262643
280.36/280.47	conflict 57lvl : 435 bt435-98:0(551)X1262703
280.46/280.57	conflict 56lvl : 425 bt425-92:0(595)X1262763
280.76/280.84	conflict 57lvl : 435 bt435-728:0(577)X1262822
280.76/280.87	conflict 56lvl : 432 bt432-722:0(628)X1262882
280.86/280.98	conflict 57lvl : 435 bt435-398:0(603)X1262941
281.66/281.75	conflict 221lvl : 421 bt4213:0(902)X1263001
281.66/281.78	conflict 220lvl : 420 bt4201:0(890)X1263225
281.86/281.91	conflict 84lvl : 415 bt415-710:0(582)X1263448
281.86/281.92	conflict 57lvl : 414 bt414-701:0(567)X1263535
281.86/281.95	conflict 57lvl : 412 bt412-461:0(555)X1263595
282.26/282.34	conflict 57lvl : 385 bt385-219:0(992)X1263655
282.76/282.83	conflict 57lvl : 421 bt421-436:0(940)X1263715
282.76/282.85	conflict 57lvl : 420 bt420-796:0(702)X1263775
282.76/282.86	conflict 213lvl : 420 bt420-17:0(922)X1263835
282.76/282.88	conflict 137lvl : 419 bt419410:0(710)X1264051
282.86/282.91	conflict 57lvl : 418 bt418-794:0(701)X1264191
282.86/282.93	conflict 238lvl : 418 bt41831:0(917)X1264251
282.86/282.94	conflict 83lvl : 417 bt417-434:0(691)X1264492
282.86/282.97	conflict 138lvl : 416 bt41616:0(691)X1264578
282.86/282.99	conflict 83lvl : 416 bt416-250:0(890)X1264719
282.96/283.01	conflict 84lvl : 415 bt415-200:0(587)X1264805
282.96/283.02	conflict 113lvl : 414 bt41411:0(566)X1264892
282.96/283.03	conflict 57lvl : 413 bt413-191:0(564)X1265008
284.06/284.14	conflict 135lvl : 416 bt416430:0(890)X1265068
284.06/284.16	conflict 137lvl : 415 bt41511:0(566)X1265206
285.16/285.24	conflict 263lvl : 418 bt41847:0(919)X1265346
285.26/285.30	conflict 83lvl : 416 bt416-430:0(887)X1265612
286.76/286.85	conflict 57lvl : 435 bt435-758:0(556)X1265698
287.06/287.14	conflict 57lvl : 434 bt434-611:0(619)X1265758
287.06/287.15	conflict 82lvl : 433 bt433-641:0(607)X1265818
287.06/287.17	conflict 57lvl : 432 bt432-611:0(575)X1265903
287.16/287.22	conflict 83lvl : 429 bt429-849:0(920)X1265963
287.16/287.24	conflict 84lvl : 428 bt428-200:0(604)X1266049
287.76/287.82	conflict 57lvl : 435 bt435-458:0(551)X1266136
287.76/287.88	conflict 56lvl : 429 bt429-452:0(600)X1266196
287.86/287.90	conflict 57lvl : 427 bt427-452:0(598)X1266255
288.86/288.91	conflict 57lvl : 435 bt435-618:0(578)X1266315
288.86/288.95	conflict 82lvl : 433 bt433-788:0(586)X1266375
289.06/289.12	conflict 80lvl : 420 bt420-431:0(611)X1266460
291.76/291.84	conflict 107lvl : 419 bt419-788:0(615)X1266543
460.14/460.27	conflict 57lvl : 433 bt433-758:0(549)X1287332
461.34/461.48	conflict 57lvl : 432 bt432-758:0(548)X1287392
461.54/461.68	conflict 57lvl : 433 bt433-731:0(616)X1287452
461.64/461.70	conflict 84lvl : 432 bt4329:0(606)X1287512
462.64/462.79	conflict 134lvl : 366 bt366-579:0(973)X1287599
462.74/462.80	conflict 84lvl : 366 bt366101:0(960)X1287736
462.74/462.86	conflict 57lvl : 365 bt365-609:0(955)X1287823
462.74/462.87	conflict 83lvl : 365 bt365-579:0(827)X1287883
462.74/462.87	conflict 134lvl : 365 bt365-592:0(869)X1287969
462.84/462.96	conflict 57lvl : 434 bt434-71:0(623)X1288106
462.84/462.97	conflict 84lvl : 433 bt4339:0(612)X1288166
462.94/463.06	conflict 57lvl : 428 bt428-16:0(957)X1288253
464.44/464.58	conflict 163lvl : 365 bt36534:0(882)X1288313
464.54/464.67	conflict 57lvl : 435 bt435-80:0(628)X1288479
464.74/464.86	conflict 111lvl : 435 bt43511:0(617)X1288539
465.04/465.18	conflict 57lvl : 427 bt427-212:0(598)X1288653
465.74/465.87	conflict 109lvl : 435 bt435-82:0(681)X1288713
465.84/465.94	conflict 136lvl : 435 bt435607:0(663)X1288825
466.34/466.43	conflict 136lvl : 435 bt4354:0(661)X1288964
466.54/466.67	conflict 82lvl : 433 bt433-758:0(603)X1289103
467.55/467.68	conflict 84lvl : 435 bt435-730:0(667)X1289188
472.04/472.16	conflict 57lvl : 431 bt431-818:0(571)X1289275
472.14/472.27	conflict 83lvl : 429 bt429-92:0(627)X1289335
472.14/472.28	conflict 57lvl : 428 bt428-101:0(630)X1289421
472.24/472.30	conflict 84lvl : 427 bt4279:0(611)X1289481
472.24/472.35	conflict 84lvl : 424 bt42440:0(1012)X1289568
472.24/472.38	conflict 57lvl : 423 bt423-106:0(736)X1289655
472.34/472.41	conflict 82lvl : 422 bt422-226:0(697)X1289715
472.44/472.50	conflict 57lvl : 419 bt419-80:0(892)X1289800
472.44/472.51	conflict 137lvl : 419 bt41940:0(917)X1289860
473.74/473.88	conflict 190lvl : 367 bt36716:0(963)X1290000
473.84/473.94	conflict 56lvl : 435 bt435-62:0(612)X1290193
473.94/474.05	conflict 57lvl : 428 bt428-93:0(910)X1290252
474.24/474.39	conflict 57lvl : 427 bt427-488:0(548)X1290312
474.34/474.41	conflict 57lvl : 426 bt426-491:0(605)X1290372
474.34/474.43	conflict 84lvl : 425 bt4259:0(595)X1290432
474.54/474.63	conflict 183lvl : 413 bt413-304:0(1009)X1290519
474.54/474.63	conflict 82lvl : 413 bt413-322:0(897)X1290705
474.64/474.79	conflict 57lvl : 428 bt428-114:0(912)X1290790
474.74/474.88	conflict 111lvl : 435 bt43511:0(621)X1290850
474.84/474.99	conflict 57lvl : 428 bt428-17:0(985)X1290964
474.94/475.08	conflict 164lvl : 433 bt433221:0(646)X1291024
475.04/475.20	conflict 57lvl : 435 bt435-161:0(592)X1291191
475.44/475.51	conflict 85lvl : 428 bt42836:0(910)X1291251
475.94/476.09	conflict 83lvl : 413 bt413-232:0(892)X1291339
476.04/476.12	conflict 57lvl : 412 bt412-4:0(995)X1291425
476.04/476.12	conflict 207lvl : 412 bt412-322:0(876)X1291485
476.04/476.13	conflict 236lvl : 412 bt412-316:0(908)X1291695
476.14/476.21	conflict 111lvl : 435 bt43511:0(617)X1291934
476.84/476.93	conflict 57lvl : 426 bt426-230:0(629)X1292048
478.54/478.67	conflict 84lvl : 435 bt435-230:0(673)X1292108
479.14/479.20	conflict 83lvl : 435 bt435-170:0(651)X1292195
479.14/479.21	conflict 110lvl : 434 bt43411:0(620)X1292281
479.24/479.33	conflict 109lvl : 426 bt42611:0(578)X1292394
479.64/479.78	conflict 57lvl : 397 bt397-76:0(927)X1292506
479.74/479.80	conflict 159lvl : 397 bt397-316:0(624)X1292566
479.74/479.83	conflict 181lvl : 395 bt395-164:0(709)X1292728
479.84/479.90	conflict 106lvl : 393 bt393-314:0(697)X1292912
479.84/479.97	conflict 210lvl : 391 bt391-164:0(687)X1293021
479.94/480.04	conflict 209lvl : 389 bt389-164:0(674)X1293234
480.74/480.81	conflict 111lvl : 435 bt43511:0(620)X1293446
480.84/480.92	conflict 84lvl : 428 bt428144:0(962)X1293560
481.94/482.07	conflict 80lvl : 399 bt399-316:0(948)X1293647
481.94/482.09	conflict 57lvl : 399 bt399-69:0(590)X1293730
484.34/484.46	conflict 181lvl : 400 bt400-174:0(921)X1293790
484.44/484.54	conflict 106lvl : 398 bt397-309:0(573)X1293974
484.44/484.57	conflict 83lvl : 397 bt397-176:0(572)X1294083
484.44/484.57	conflict 238lvl : 396 bt3964:0(677)X1294169
485.34/485.49	conflict 57lvl : 366 bt366-69:0(953)X1294410
485.44/485.58	conflict 111lvl : 435 bt43511:0(616)X1294470
485.94/486.09	conflict 57lvl : 426 bt426-590:0(576)X1294584
486.24/486.38	conflict 138lvl : 434 bt434461:0(663)X1294644
486.64/486.71	conflict 137lvl : 418 bt418461:0(625)X1294785
486.74/486.87	conflict 57lvl : 428 bt428-256:0(950)X1294925
487.04/487.19	conflict 135lvl : 428 bt428-17:0(947)X1294985
487.14/487.23	conflict 84lvl : 426 bt4262:0(517)X1295123
489.04/489.13	conflict 83lvl : 433 bt433-761:0(662)X1295210
489.54/489.66	conflict 82lvl : 433 bt433-780:0(685)X1295296
490.44/490.53	conflict 190lvl : 428 bt42831:0(950)X1295381
490.64/490.79	conflict 110lvl : 433 bt433-761:0(713)X1295574
491.04/491.11	conflict 57lvl : 428 bt428-31:0(946)X1295687
492.04/492.14	conflict 57lvl : 428 bt428-38:0(931)X1295747
492.04/492.16	conflict 56lvl : 427 bt427-482:0(606)X1295807
492.24/492.38	conflict 57lvl : 414 bt414-232:0(892)X1295866
492.24/492.39	conflict 57lvl : 414 bt414-226:0(935)X1295926
492.44/492.58	conflict 139lvl : 433 bt4339:0(620)X1295986
492.64/492.72	conflict 111lvl : 435 bt43511:0(620)X1296128
492.74/492.83	conflict 57lvl : 428 bt428-17:0(970)X1296242
493.24/493.38	conflict 84lvl : 428 bt428126:0(971)X1296302
494.14/494.28	conflict 57lvl : 416 bt416-22:0(891)X1296389
494.34/494.48	conflict 111lvl : 433 bt4339:0(628)X1296449
496.44/496.59	conflict 111lvl : 418 bt41836:0(900)X1296563
496.54/496.62	conflict 57lvl : 417 bt417-47:0(941)X1296677
496.54/496.65	conflict 84lvl : 416 bt41674:0(936)X1296737
496.84/496.93	conflict 108lvl : 430 bt430-826:0(948)X1296824
497.04/497.18	conflict 267lvl : 430 bt43041:0(946)X1296935
497.24/497.35	conflict 57lvl : 434 bt434-752:0(618)X1297205
497.34/497.43	conflict 83lvl : 430 bt430-813:0(920)X1297265
497.34/497.43	conflict 57lvl : 430 bt430-50:0(946)X1297351
497.64/497.70	conflict 108lvl : 430 bt430-815:0(911)X1297411
497.64/497.74	conflict 57lvl : 435 bt435-380:0(628)X1297522
497.74/497.80	conflict 84lvl : 433 bt433-754:0(746)X1297582
498.14/498.29	conflict 132lvl : 430 bt430-365:0(918)X1297669
498.44/498.55	conflict 212lvl : 430 bt43020:0(918)X1297804
499.04/499.19	conflict 83lvl : 399 bt399-82:0(882)X1298019
499.14/499.20	conflict 293lvl : 399 bt3991:0(930)X1298105
499.14/499.22	conflict 235lvl : 398 bt398-322:0(866)X1298401
499.14/499.23	conflict 235lvl : 398 bt398-317:0(916)X1298639
499.14/499.25	conflict 57lvl : 397 bt397-82:0(864)X1298877
499.14/499.26	conflict 291lvl : 397 bt39744:0(912)X1298937
499.14/499.28	conflict 57lvl : 396 bt396-82:0(860)X1299231
499.94/500.06	conflict 108lvl : 371 bt371-70:0(846)X1299291
499.94/500.07	conflict 112lvl : 371 bt37114:0(902)X1299402
500.34/500.48	conflict 57lvl : 430 bt430-20:0(916)X1299517
530.43/530.52	conflict 57lvl : 106 bt106-53:0(1464)X1314945
530.43/530.52	conflict 57lvl : 107 bt107-627:0(1589)X1315005
530.43/530.52	 -> -627:X(1589)conflict 57lvl : 119 bt119-53:0(1586)X1315065
639.03/639.11	conflict 57lvl : 106 bt106-716:0(1456)X1324601
639.03/639.11	conflict 57lvl : 107 bt107-353:0(1580)X1324661
639.03/639.11	conflict 57lvl : 107 bt107-353:0(1580)X1324721
639.03/639.11	conflict 84lvl : 107 bt107708:0(1454)X1324781
639.03/639.11	conflict 84lvl : 106 bt106708:0(1455)X1324868
639.03/639.11	conflict 57lvl : 106 bt106-566:0(1581)X1324955
639.03/639.11	conflict 57lvl : 106 bt106-566:0(1595)X1325015
639.03/639.11	conflict 83lvl : 106 bt106-716:0(1453)X1325075
639.03/639.11	conflict 83lvl : 105 bt105-719:0(1454)X1325161
639.03/639.12	conflict 57lvl : 119 bt119-713:0(1580)X1325247
728.23/728.37	o 3703
728.23/728.37	c   11 calls to solver: best=3703 lower=0 upper=3702 
728.52/728.66	conflict 57lvl : 422 bt422-574:0(1010)X1328688
728.52/728.67	conflict 82lvl : 422 bt422-586:0(923)X1328748
728.82/728.93	conflict 192lvl : 422 bt42246:0(943)X1328833
729.02/729.18	conflict 84lvl : 422 bt42240:0(1001)X1329028
729.02/729.19	conflict 83lvl : 422 bt422-584:0(914)X1329115
729.12/729.22	conflict 57lvl : 421 bt421-548:0(537)X1329201
729.62/729.75	conflict 110lvl : 422 bt422-46:0(938)X1329261
730.22/730.31	conflict 57lvl : 422 bt422-573:0(897)X1329374
730.43/730.58	conflict 190lvl : 422 bt42247:0(939)X1329434
730.82/730.91	conflict 57lvl : 420 bt420-782:0(594)X1329627
730.82/730.92	conflict 82lvl : 419 bt419-791:0(598)X1329687
730.82/730.93	conflict 57lvl : 419 bt419-274:0(1017)X1329772
730.82/730.94	conflict 57lvl : 419 bt419-610:0(929)X1329832
730.82/730.95	conflict 107lvl : 418 bt418-884:0(697)X1329892
730.82/730.97	conflict 82lvl : 417 bt417-881:0(590)X1330002
730.82/730.99	conflict 57lvl : 416 bt416-611:0(557)X1330087
731.53/731.65	conflict 158lvl : 372 bt372-648:0(975)X1330147
731.53/731.65	conflict 57lvl : 372 bt372-610:0(877)X1330308
731.82/731.92	conflict 57lvl : 422 bt422-603:0(903)X1330368
731.82/731.93	conflict 192lvl : 422 bt42234:0(943)X1330428
732.42/732.51	conflict 82lvl : 420 bt420-611:0(568)X1330623
732.42/732.52	conflict 83lvl : 420 bt420-280:0(902)X1330708
739.92/740.07	conflict 83lvl : 422 bt422-10:0(938)X1330794
741.62/741.79	conflict 110lvl : 422 bt42274:0(940)X1330880
742.02/742.18	conflict 57lvl : 417 bt417-214:0(719)X1330993
742.02/742.19	conflict 209lvl : 417 bt417-40:0(891)X1331053
744.73/744.85	conflict 82lvl : 418 bt418-544:0(719)X1331265
744.73/744.86	conflict 57lvl : 418 bt418-220:0(908)X1331350
744.73/744.87	conflict 297lvl : 418 bt41894:0(917)X1331410
747.42/747.56	conflict 83lvl : 418 bt418-226:0(924)X1331710
748.32/748.42	conflict 57lvl : 420 bt420-273:0(910)X1331796
750.13/750.23	conflict 297lvl : 418 bt418101:0(915)X1331856
750.13/750.25	conflict 57lvl : 417 bt417-452:0(587)X1332156
750.23/750.32	conflict 57lvl : 413 bt413-610:0(900)X1332216
751.02/751.18	conflict 57lvl : 420 bt420-603:0(905)X1332276
751.02/751.19	conflict 83lvl : 420 bt420-286:0(946)X1332336
752.52/752.60	conflict 57lvl : 422 bt422-40:0(939)X1332422
752.82/752.93	conflict 137lvl : 420 bt420286:0(947)X1332482
752.82/752.98	conflict 296lvl : 418 bt418101:0(911)X1332622
753.43/753.52	conflict 189lvl : 422 bt42247:0(937)X1332921
753.72/753.85	conflict 190lvl : 420 bt42047:0(941)X1333113
755.52/755.64	conflict 297lvl : 418 bt418101:0(916)X1333306
755.82/755.91	conflict 187lvl : 422 bt42247:0(935)X1333606
758.22/758.30	conflict 324lvl : 418 bt418101:0(963)X1333796
758.22/758.39	conflict 83lvl : 413 bt413-700:0(899)X1334123
758.32/758.40	conflict 83lvl : 413 bt413-706:0(939)X1334209
759.12/759.26	conflict 84lvl : 420 bt420-616:0(943)X1334295
760.82/760.98	conflict 189lvl : 420 bt42034:0(943)X1334382
760.92/761.04	conflict 83lvl : 418 bt418-38:0(930)X1334574
763.52/763.64	conflict 189lvl : 420 bt42047:0(942)X1334660
764.42/764.56	conflict 265lvl : 420 bt42040:0(934)X1334852
766.22/766.34	conflict 213lvl : 418 bt41838:0(925)X1335120
766.32/766.41	conflict 57lvl : 414 bt414-693:0(896)X1335336
766.32/766.42	conflict 57lvl : 414 bt414-616:0(937)X1335396
768.92/769.09	conflict 343lvl : 418 bt418107:0(911)X1335456
774.32/774.45	conflict 342lvl : 418 bt418112:0(911)X1335802
777.02/777.17	conflict 83lvl : 418 bt418-38:0(924)X1336147
782.32/782.47	conflict 212lvl : 418 bt41838:0(924)X1336233
782.42/782.55	conflict 57lvl : 414 bt414-616:0(935)X1336448
782.42/782.57	conflict 57lvl : 413 bt413-182:0(585)X1336508
785.12/785.28	conflict 82lvl : 418 bt418-214:0(717)X1336568
785.22/785.30	conflict 84lvl : 418 bt418-38:0(921)X1336653
787.82/787.95	conflict 291lvl : 418 bt41866:0(880)X1336740
790.52/790.61	conflict 110lvl : 418 bt41877:0(919)X1337034
949.80/949.92	conflict 57lvl : 421 bt421-575:0(894)X1355124
949.80/949.97	conflict 57lvl : 419 bt419-794:0(720)X1355184
949.80/949.98	conflict 57lvl : 419 bt419-616:0(913)X1355244
950.10/950.27	conflict 57lvl : 421 bt421-605:0(903)X1355304
950.41/950.56	conflict 84lvl : 421 bt42120:0(901)X1355364
950.70/950.85	conflict 138lvl : 421 bt4215:0(902)X1355451
951.00/951.15	conflict 83lvl : 421 bt42124:0(901)X1355592
951.10/951.20	conflict 135lvl : 419 bt419-274:0(723)X1355678
951.30/951.49	conflict 137lvl : 421 bt4215:0(892)X1355816
951.60/951.78	conflict 136lvl : 421 bt4215:0(891)X1355956
951.90/952.07	conflict 163lvl : 421 bt42133:0(887)X1356095
952.20/952.37	conflict 162lvl : 421 bt42133:0(886)X1356261
952.30/952.43	conflict 110lvl : 419 bt419-16:0(908)X1356426
952.30/952.45	conflict 57lvl : 418 bt418-338:0(534)X1356539
953.50/953.67	conflict 57lvl : 419 bt419-791:0(666)X1356599
953.61/953.74	conflict 137lvl : 417 bt41744:0(900)X1356659
954.81/954.95	conflict 84lvl : 419 bt419-611:0(615)X1356799
956.00/956.18	conflict 138lvl : 419 bt4199:0(618)X1356886
956.10/956.22	conflict 265lvl : 418 bt41831:0(926)X1357027
961.10/961.23	conflict 57lvl : 416 bt416-341:0(600)X1357295
961.10/961.24	conflict 84lvl : 415 bt4159:0(587)X1357355
961.20/961.35	conflict 83lvl : 409 bt409-190:0(896)X1357442
962.41/962.58	conflict 134lvl : 419 bt419-31:0(926)X1357528
965.10/965.21	conflict 112lvl : 410 bt4109:0(901)X1357665
972.31/972.43	conflict 57lvl : 435 bt435-578:0(557)X1357780
973.00/973.15	conflict 82lvl : 431 bt431-17:0(938)X1357840
974.20/974.37	conflict 82lvl : 432 bt432-10:0(929)X1357925
976.40/976.54	conflict 57lvl : 431 bt431-730:0(925)X1358010
977.20/977.35	conflict 83lvl : 431 bt431-77:0(927)X1358070
978.00/978.13	conflict 57lvl : 418 bt418-332:0(596)X1358156
978.10/978.27	conflict 57lvl : 410 bt410-423:0(900)X1358216
979.80/979.99	conflict 110lvl : 419 bt419-47:0(928)X1358276
981.50/981.69	conflict 136lvl : 419 bt41976:0(928)X1358389
981.60/981.72	conflict 135lvl : 418 bt41876:0(919)X1358528
985.50/985.69	conflict 136lvl : 432 bt432112:0(941)X1358666
986.00/986.10	conflict 264lvl : 431 bt43191:0(931)X1358805
988.60/988.73	conflict 108lvl : 410 bt410-425:0(890)X1359072
988.60/988.79	conflict 82lvl : 408 bt408-190:0(882)X1359183
990.40/990.50	conflict 265lvl : 419 bt41947:0(926)X1359268
992.20/992.33	conflict 189lvl : 431 bt431112:0(976)X1359536
1004.20/1004.37	conflict 57lvl : 435 bt435-710:0(652)X1359728
1004.20/1004.38	conflict 111lvl : 434 bt43411:0(621)X1359788
1004.30/1004.43	conflict 84lvl : 430 bt430-311:0(605)X1359902
1004.40/1004.57	conflict 57lvl : 419 bt419-303:0(892)X1359989
1004.40/1004.57	conflict 57lvl : 419 bt419-466:0(938)X1360049
1008.00/1008.13	conflict 317lvl : 431 bt431107:0(979)X1360109
1010.40/1010.55	conflict 57lvl : 431 bt431-692:0(632)X1360429
1010.40/1010.57	conflict 112lvl : 430 bt430311:0(640)X1360489
1010.40/1010.58	conflict 83lvl : 429 bt429-311:0(591)X1360604
1010.60/1010.74	conflict 136lvl : 418 bt418470:0(607)X1360690
1010.60/1010.77	conflict 136lvl : 417 bt417311:0(601)X1360829
1010.60/1010.78	conflict 57lvl : 416 bt416-453:0(888)X1360968
1010.60/1010.78	conflict 163lvl : 416 bt416-17:0(926)X1361028
1010.70/1010.80	conflict 135lvl : 415 bt4159:0(583)X1361194
1010.70/1010.86	conflict 57lvl : 413 bt413-31:0(920)X1361332
1010.80/1010.94	conflict 162lvl : 410 bt410-17:0(917)X1361392
1010.90/1011.02	conflict 57lvl : 407 bt407-316:0(914)X1361557
1010.90/1011.05	conflict 187lvl : 406 bt406-17:0(908)X1361617
1011.50/1011.65	conflict 57lvl : 384 bt384-309:0(983)X1361807
1011.60/1011.75	conflict 83lvl : 431 bt431-40:0(918)X1361867
1011.60/1011.77	conflict 84lvl : 430 bt430-650:0(595)X1361953
1011.60/1011.78	conflict 139lvl : 429 bt42911:0(581)X1362040
1011.70/1011.80	conflict 82lvl : 428 bt428-641:0(579)X1362182
1012.00/1012.14	conflict 57lvl : 431 bt431-730:0(922)X1362267
1012.50/1012.66	conflict 57lvl : 431 bt431-40:0(929)X1362327
1015.00/1015.10	conflict 57lvl : 420 bt420-698:0(539)X1362387
1015.90/1016.04	conflict 157lvl : 383 bt383-459:0(974)X1362447
1016.90/1017.08	conflict 187lvl : 421 bt42174:0(935)X1362607
1017.30/1017.49	conflict 241lvl : 421 bt42147:0(949)X1362797
1017.80/1017.95	conflict 57lvl : 435 bt435-800:0(628)X1363041
1019.30/1019.44	conflict 57lvl : 419 bt419-454:0(1016)X1363101
1019.30/1019.45	conflict 139lvl : 419 bt4191:0(918)X1363161
1019.30/1019.47	conflict 84lvl : 418 bt41840:0(997)X1363303
1019.30/1019.47	conflict 57lvl : 418 bt418-1:0(903)X1363390
1019.40/1019.50	conflict 137lvl : 417 bt41744:0(900)X1363450
1020.40/1020.57	conflict 57lvl : 377 bt377-212:0(898)X1363590
1023.60/1023.79	conflict 188lvl : 419 bt41931:0(938)X1363650
1023.70/1023.81	conflict 187lvl : 418 bt41831:0(925)X1363841
1023.70/1023.84	conflict 83lvl : 417 bt417-31:0(922)X1364031
1024.70/1024.88	conflict 57lvl : 379 bt379-16:0(889)X1364117
1024.80/1024.91	conflict 187lvl : 378 bt37831:0(884)X1364177
1024.80/1024.94	conflict 82lvl : 377 bt377-220:0(857)X1364367
1024.80/1024.95	conflict 57lvl : 377 bt377-466:0(916)X1364452
1030.79/1030.94	conflict 83lvl : 377 bt377-329:0(825)X1364512
1032.99/1033.16	conflict 83lvl : 377 bt377-239:0(823)X1364598
1035.39/1035.56	conflict 136lvl : 377 bt377-302:0(896)X1364684
1035.49/1035.62	conflict 57lvl : 376 bt376-623:0(711)X1364823
1037.89/1038.09	conflict 131lvl : 377 bt377-216:0(809)X1364883
1037.89/1038.09	conflict 57lvl : 376 bt376-22:0(943)X1365017
1040.29/1040.47	conflict 161lvl : 377 bt377-310:0(859)X1365077
1040.29/1040.49	conflict 83lvl : 377 bt377-17:0(918)X1365241
1042.70/1042.90	conflict 164lvl : 377 bt377306:0(884)X1365327
1493.95/1494.19	conflict 57lvl : 435 bt435-308:0(551)X1386198
1494.15/1494.32	conflict 57lvl : 434 bt434-308:0(555)X1386258
1494.55/1494.73	conflict 57lvl : 433 bt433-152:0(604)X1386318
1494.55/1494.74	conflict 111lvl : 432 bt432-159:0(612)X1386378
1495.55/1495.72	conflict 157lvl : 373 bt373-39:0(979)X1386492
1495.55/1495.73	conflict 83lvl : 373 bt373-39:0(960)X1386652
1495.55/1495.73	conflict 57lvl : 373 bt373-40:0(860)X1386738
1495.55/1495.74	conflict 163lvl : 373 bt373-52:0(890)X1386798
1496.15/1496.32	conflict 57lvl : 433 bt433-878:0(549)X1386964
1497.15/1497.32	conflict 57lvl : 365 bt365-609:0(972)X1387024
1497.15/1497.33	conflict 57lvl : 365 bt365-40:0(852)X1387084
1497.15/1497.34	conflict 185lvl : 365 bt365-160:0(862)X1387144
1498.65/1498.88	conflict 133lvl : 365 bt365-849:0(840)X1387332
1498.65/1498.88	conflict 57lvl : 365 bt365-616:0(866)X1387468
1499.85/1500.07	conflict 82lvl : 373 bt373-309:0(972)X1387528
1499.85/1500.08	conflict 57lvl : 373 bt373-310:0(848)X1387613
1499.85/1500.08	conflict 131lvl : 373 bt373-322:0(867)X1387673
1501.05/1501.29	conflict 57lvl : 365 bt365-603:0(840)X1387807
1501.05/1501.30	conflict 82lvl : 365 bt365-856:0(864)X1387867
1502.25/1502.45	conflict 57lvl : 365 bt365-615:0(952)X1387952
1502.25/1502.46	conflict 190lvl : 365 bt36520:0(829)X1388012
1502.35/1502.51	conflict 57lvl : 363 bt363-364:0(660)X1388205
1502.35/1502.52	conflict 107lvl : 363 bt363-369:0(962)X1388265
1502.35/1502.53	conflict 84lvl : 363 bt3639:0(820)X1388375
1502.35/1502.53	conflict 57lvl : 363 bt363-52:0(871)X1388462
1502.45/1502.61	conflict 57lvl : 434 bt434-311:0(615)X1388522
1502.45/1502.63	conflict 84lvl : 433 bt4339:0(603)X1388582
1502.45/1502.63	conflict 57lvl : 433 bt433-694:0(1028)X1388669
1502.45/1502.64	conflict 57lvl : 433 bt433-706:0(938)X1388729
1503.65/1503.82	conflict 57lvl : 365 bt365-844:0(961)X1388789
1503.65/1503.83	conflict 82lvl : 365 bt365-843:0(842)X1388849
1503.65/1503.83	conflict 82lvl : 365 bt365-854:0(860)X1388934
1503.75/1503.93	conflict 57lvl : 433 bt433-699:0(923)X1389019
1503.75/1503.94	conflict 84lvl : 432 bt432-770:0(588)X1389079
1503.75/1503.96	conflict 57lvl : 431 bt431-761:0(584)X1389166
1504.55/1504.72	conflict 83lvl : 433 bt433-489:0(926)X1389226
1505.75/1505.93	conflict 112lvl : 365 bt3651:0(841)X1389312
1505.75/1505.96	conflict 165lvl : 364 bt36440:0(945)X1389427
1505.75/1505.96	conflict 163lvl : 364 bt3645:0(819)X1389595
1505.85/1506.07	conflict 163lvl : 433 bt433-17:0(953)X1389761
1507.05/1507.27	conflict 162lvl : 365 bt36520:0(840)X1389927
1507.05/1507.27	conflict 83lvl : 365 bt365-856:0(890)X1390092
1508.35/1508.58	conflict 161lvl : 365 bt3655:0(839)X1390178
1508.45/1508.62	conflict 157lvl : 364 bt364-849:0(821)X1390342
1508.45/1508.62	conflict 137lvl : 364 bt364856:0(877)X1390502
1508.55/1508.71	conflict 84lvl : 433 bt43340:0(1022)X1390642
1508.55/1508.72	conflict 139lvl : 433 bt4331:0(933)X1390729
1509.75/1509.90	conflict 84lvl : 365 bt36540:0(952)X1390871
1509.75/1509.91	conflict 161lvl : 365 bt36539:0(827)X1390958
1511.05/1511.28	conflict 57lvl : 363 bt363-323:0(619)X1391122
1511.25/1511.42	conflict 57lvl : 435 bt435-302:0(609)X1391182
1511.25/1511.46	conflict 57lvl : 433 bt433-693:0(906)X1391242
1511.25/1511.47	conflict 83lvl : 433 bt433-496:0(935)X1391302
1511.35/1511.55	conflict 57lvl : 435 bt435-320:0(640)X1391388
1511.35/1511.57	conflict 138lvl : 433 bt4339:0(610)X1391448
1511.55/1511.75	conflict 84lvl : 435 bt435-320:0(660)X1391589
1511.75/1511.95	conflict 57lvl : 434 bt434-872:0(608)X1391676
1512.75/1512.97	conflict 82lvl : 365 bt365-614:0(857)X1391736
1512.85/1513.03	conflict 111lvl : 434 bt43411:0(581)X1391821
1512.85/1513.06	conflict 83lvl : 433 bt433-496:0(951)X1391935
1513.05/1513.23	conflict 215lvl : 433 bt433496:0(950)X1392021
1513.05/1513.25	conflict 57lvl : 432 bt432-218:0(548)X1392239
1513.55/1513.79	conflict 83lvl : 403 bt403-550:0(892)X1392299
1513.65/1513.81	conflict 84lvl : 402 bt402-770:0(553)X1392385
1515.15/1515.32	conflict 83lvl : 365 bt365-14:0(856)X1392472
1515.25/1515.41	conflict 82lvl : 433 bt433-494:0(931)X1392558
1515.35/1515.50	conflict 214lvl : 433 bt43347:0(947)X1392643
1515.35/1515.59	conflict 82lvl : 433 bt433-496:0(927)X1392860
1515.95/1516.14	conflict 82lvl : 403 bt403-549:0(1010)X1392945
1515.95/1516.16	conflict 83lvl : 402 bt402-159:0(569)X1393030
1516.45/1516.65	conflict 57lvl : 373 bt373-40:0(970)X1393116
1517.85/1518.01	conflict 57lvl : 433 bt433-1:0(923)X1393176
1517.85/1518.10	conflict 213lvl : 433 bt43340:0(946)X1393236
1517.95/1518.18	conflict 137lvl : 433 bt43344:0(922)X1393452
1518.55/1518.74	conflict 57lvl : 403 bt403-700:0(877)X1393592
1518.55/1518.74	conflict 135lvl : 403 bt403-560:0(912)X1393652
1518.55/1518.76	conflict 82lvl : 403 bt403-544:0(686)X1393790
1518.65/1518.84	conflict 239lvl : 433 bt43347:0(973)X1393875
1518.85/1519.01	conflict 183lvl : 433 bt433-47:0(973)X1394117
1519.35/1519.58	conflict 186lvl : 403 bt403-22:0(946)X1394303
1519.55/1519.76	conflict 136lvl : 433 bt433-40:0(948)X1394492
1520.25/1520.40	conflict 57lvl : 403 bt403-710:0(904)X1394631
1520.25/1520.43	conflict 57lvl : 402 bt402-653:0(684)X1394691
1520.25/1520.44	conflict 57lvl : 402 bt402-429:0(998)X1394751
1520.25/1520.46	conflict 57lvl : 401 bt401-309:0(568)X1394811
1520.85/1521.03	conflict 186lvl : 433 bt43376:0(941)X1394871
1521.05/1521.28	conflict 57lvl : 429 bt429-214:0(712)X1395060
1521.55/1521.77	conflict 57lvl : 403 bt403-2:0(939)X1395120
1521.85/1522.08	conflict 57lvl : 431 bt431-221:0(620)X1395180
1521.95/1522.10	conflict 84lvl : 430 bt4309:0(609)X1395240
1522.35/1522.56	conflict 57lvl : 403 bt403-16:0(930)X1395327
1522.75/1522.96	conflict 57lvl : 435 bt435-230:0(638)X1395387
1524.05/1524.26	conflict 83lvl : 363 bt363-849:0(955)X1395447
1524.05/1524.26	conflict 107lvl : 363 bt363-369:0(825)X1395533
1524.05/1524.27	conflict 82lvl : 363 bt363-382:0(863)X1395643
1524.05/1524.28	conflict 57lvl : 363 bt363-26:0(906)X1395728
1524.05/1524.29	conflict 84lvl : 363 bt363-23:0(908)X1395788
1524.15/1524.34	conflict 57lvl : 363 bt363-11:0(952)X1395875
1524.15/1524.35	conflict 57lvl : 362 bt362-473:0(692)X1395935
1524.25/1524.40	conflict 57lvl : 362 bt362-50:0(857)X1395995
1524.25/1524.41	conflict 57lvl : 362 bt362-468:0(885)X1396055
1524.25/1524.42	conflict 57lvl : 362 bt362-153:0(944)X1396115
1524.25/1524.42	conflict 83lvl : 363 bt362-160:0(836)X1396175
1524.25/1524.42	conflict 82lvl : 362 bt362-320:0(856)X1396261
1524.35/1524.51	conflict 57lvl : 433 bt433-483:0(913)X1396346
1524.55/1524.73	conflict 57lvl : 431 bt431-560:0(579)X1396406
1524.55/1524.74	conflict 84lvl : 430 bt4302:0(516)X1396466
1524.85/1525.06	conflict 159lvl : 403 bt403-560:0(919)X1396553
1526.85/1527.01	conflict 188lvl : 403 bt403-17:0(922)X1396715
1528.74/1528.95	conflict 57lvl : 403 bt403-693:0(885)X1396906
1529.04/1529.24	conflict 57lvl : 432 bt432-212:0(609)X1396966
1530.74/1530.91	conflict 57lvl : 403 bt403-695:0(876)X1397026
1531.34/1531.54	conflict 83lvl : 403 bt40320:0(879)X1397086
1531.94/1532.17	conflict 109lvl : 403 bt403-5:0(874)X1397172
1532.25/1532.49	conflict 57lvl : 432 bt432-558:0(589)X1397284
1532.34/1532.50	conflict 83lvl : 431 bt431-581:0(632)X1397344
1533.94/1534.11	conflict 57lvl : 435 bt435-470:0(635)X1397430
1533.94/1534.12	conflict 111lvl : 434 bt43411:0(627)X1397490
1539.34/1539.50	conflict 135lvl : 433 bt433-31:0(949)X1397604
1539.85/1540.04	conflict 213lvl : 403 bt40320:0(877)X1397742
1540.44/1540.67	conflict 109lvl : 403 bt403-20:0(878)X1397958
1541.14/1541.30	conflict 215lvl : 403 bt40339:0(873)X1398070
1554.94/1555.11	conflict 213lvl : 433 bt43331:0(956)X1398288
1556.84/1557.04	conflict 57lvl : 400 bt400-278:0(674)X1398504
1574.64/1574.80	conflict 57lvl : 400 bt400-408:0(975)X1398564
1578.54/1578.78	conflict 134lvl : 433 bt433-31:0(955)X1398624
1579.34/1579.58	conflict 211lvl : 433 bt43347:0(961)X1398761
1592.24/1592.44	conflict 83lvl : 400 bt400-408:0(973)X1398975
1592.94/1593.11	conflict 186lvl : 403 bt403-10:0(922)X1399061
1593.54/1593.75	conflict 236lvl : 403 bt40374:0(925)X1399250
1609.94/1610.10	conflict 82lvl : 400 bt400-408:0(970)X1399489
1945.21/1945.45	conflict 112lvl : 421 bt4219:0(904)X1418655
1945.71/1945.96	conflict 57lvl : 434 bt434-3:0(926)X1418770
1945.81/1946.03	conflict 57lvl : 434 bt434-715:0(932)X1418830
1945.91/1946.11	conflict 84lvl : 434 bt434-25:0(920)X1418890
1946.11/1946.39	conflict 57lvl : 434 bt434-714:0(918)X1418977
1946.21/1946.47	conflict 83lvl : 434 bt434-24:0(916)X1419037
1946.31/1946.54	conflict 110lvl : 434 bt43433:0(909)X1419123
1946.61/1946.84	conflict 138lvl : 434 bt4345:0(916)X1419236
1946.71/1946.92	conflict 164lvl : 434 bt43440:0(920)X1419377
1946.71/1946.99	conflict 138lvl : 434 bt43440:0(915)X1419544
1947.01/1947.25	conflict 57lvl : 420 bt420-860:0(605)X1419685
1947.11/1947.32	conflict 164lvl : 434 bt4341:0(921)X1419745
1947.11/1947.39	conflict 134lvl : 434 bt434-505:0(916)X1419912
1947.21/1947.46	conflict 191lvl : 434 bt4345:0(913)X1420049
1947.51/1947.76	conflict 110lvl : 434 bt434-5:0(913)X1420243
1948.91/1949.12	conflict 242lvl : 434 bt43433:0(918)X1420356
1950.01/1950.30	conflict 83lvl : 432 bt432-452:0(606)X1420601
1951.81/1952.03	conflict 57lvl : 428 bt428-602:0(602)X1420687
1952.01/1952.29	conflict 83lvl : 410 bt410-130:0(897)X1420747
1952.11/1952.37	conflict 138lvl : 434 bt4349:0(623)X1420833
1959.11/1959.35	conflict 83lvl : 432 bt432-370:0(704)X1420974
1959.11/1959.37	conflict 136lvl : 431 bt4319:0(642)X1421060
1962.51/1962.74	conflict 57lvl : 420 bt420-548:0(538)X1421199
1971.91/1972.18	conflict 135lvl : 434 bt434-694:0(755)X1421259
1972.01/1972.25	conflict 57lvl : 434 bt434-311:0(631)X1421397
1972.11/1972.32	conflict 84lvl : 434 bt4349:0(633)X1421457
1977.71/1977.93	conflict 57lvl : 419 bt419-392:0(593)X1421544
1982.40/1982.68	conflict 57lvl : 419 bt419-401:0(609)X1421604
1982.40/1982.69	conflict 82lvl : 418 bt418-281:0(596)X1421664
1982.50/1982.71	conflict 57lvl : 417 bt417-401:0(560)X1421749
1982.80/1983.06	conflict 84lvl : 393 bt39340:0(971)X1421809
1982.80/1983.07	conflict 57lvl : 393 bt393-280:0(898)X1421896
1982.90/1983.15	conflict 212lvl : 434 bt43474:0(943)X1421956
1983.30/1983.53	conflict 237lvl : 434 bt434-700:0(941)X1422171
1983.40/1983.67	conflict 288lvl : 434 bt43476:0(942)X1422411
1987.90/1988.19	conflict 83lvl : 394 bt394-640:0(876)X1422702
1988.00/1988.20	conflict 57lvl : 394 bt394-286:0(915)X1422788
1989.71/1989.94	conflict 189lvl : 394 bt394-17:0(898)X1422848
1995.60/1995.84	conflict 57lvl : 392 bt392-556:0(731)X1423040
1995.60/1995.85	conflict 57lvl : 392 bt392-52:0(953)X1423100
2005.70/2005.96	conflict 188lvl : 394 bt39431:0(900)X1423160
2007.50/2007.78	conflict 57lvl : 394 bt394-31:0(910)X1423351
2011.20/2011.47	conflict 84lvl : 391 bt391100:0(915)X1423411
2012.81/2013.10	conflict 187lvl : 394 bt394-17:0(908)X1423498
2021.00/2021.21	conflict 241lvl : 434 bt43433:0(907)X1423688
2022.50/2022.72	conflict 186lvl : 394 bt394-17:0(908)X1423932
2025.70/2025.97	conflict 57lvl : 392 bt392-443:0(741)X1424121
2025.80/2026.08	conflict 108lvl : 434 bt4345:0(915)X1424181
2025.90/2026.15	conflict 134lvl : 434 bt434-483:0(917)X1424292
2050.60/2050.80	conflict 57lvl : 394 bt394-47:0(937)X1424429
2059.50/2059.72	conflict 110lvl : 394 bt394-47:0(912)X1424489
2062.90/2063.18	conflict 135lvl : 394 bt39476:0(907)X1424602
2064.10/2064.31	conflict 57lvl : 435 bt435-650:0(634)X1424740
2064.20/2064.47	conflict 57lvl : 434 bt434-490:0(708)X1424800
2064.20/2064.49	conflict 57lvl : 433 bt433-304:0(774)X1424860
2064.50/2064.78	conflict 112lvl : 434 bt434415:0(709)X1424920
2070.60/2070.85	conflict 83lvl : 405 bt405-580:0(700)X1425035
2072.20/2072.49	conflict 138lvl : 405 bt40518:0(700)X1425121
2073.90/2074.13	conflict 57lvl : 405 bt405-8:0(949)X1425262
2077.80/2078.02	conflict 57lvl : 432 bt432-304:0(760)X1425322
2094.09/2094.33	conflict 84lvl : 405 bt40597:0(943)X1425382
2099.19/2099.41	conflict 57lvl : 435 bt435-700:0(717)X1425469
2099.19/2099.43	conflict 138lvl : 434 bt4349:0(661)X1425529
2099.29/2099.52	conflict 112lvl : 435 bt435685:0(717)X1425670
2099.39/2099.69	conflict 57lvl : 431 bt431-578:0(596)X1425785
2099.49/2099.71	conflict 83lvl : 430 bt430-581:0(659)X1425845
2099.49/2099.72	conflict 82lvl : 429 bt429-41:0(612)X1425931
2100.39/2100.69	conflict 111lvl : 435 bt435-700:0(723)X1426016
2100.59/2100.80	conflict 138lvl : 435 bt4353:0(691)X1426130
2103.00/2103.22	conflict 57lvl : 424 bt424-308:0(581)X1426271
2103.10/2103.30	conflict 163lvl : 434 bt4349:0(673)X1426331
2107.19/2107.49	conflict 111lvl : 434 bt434-490:0(722)X1426497
2107.29/2107.50	conflict 57lvl : 433 bt433-494:0(780)X1426611
2107.59/2107.80	conflict 138lvl : 434 bt4343:0(695)X1426671
2112.39/2112.67	conflict 57lvl : 430 bt430-581:0(669)X1426812
2112.39/2112.69	conflict 84lvl : 429 bt4299:0(655)X1426872
2118.99/2119.27	conflict 57lvl : 435 bt435-700:0(738)X1426959
2121.59/2121.86	conflict 84lvl : 433 bt433-380:0(701)X1427019
2121.59/2121.88	conflict 108lvl : 432 bt432-380:0(697)X1427106
2122.80/2123.01	conflict 85lvl : 433 bt433-388:0(681)X1427217
2124.69/2124.93	conflict 112lvl : 434 bt43452:0(680)X1427305
2256.58/2256.82	o 3701
2256.78/2257.04	conflict 57lvl : 435 bt435-302:0(618)X1452979
2256.78/2257.09	conflict 57lvl : 435 bt435-458:0(558)X1453039
2256.98/2257.21	conflict 107lvl : 427 bt427-249:0(919)X1453099
2257.28/2257.58	conflict 108lvl : 427 bt427-699:0(922)X1453209
2257.68/2257.94	conflict 57lvl : 427 bt427-699:0(913)X1453320
2257.68/2257.95	conflict 83lvl : 427 bt427-256:0(955)X1453380
2257.68/2257.97	conflict 57lvl : 435 bt435-548:0(553)X1453466
2259.38/2259.68	conflict 137lvl : 427 bt427256:0(951)X1453526
2260.18/2260.41	conflict 214lvl : 427 bt42747:0(952)X1453666
2260.28/2260.56	conflict 57lvl : 435 bt435-398:0(553)X1453883
2260.78/2261.09	conflict 83lvl : 396 bt396-646:0(918)X1453943
2261.78/2262.08	conflict 57lvl : 435 bt435-452:0(613)X1454029
2261.98/2262.20	conflict 208lvl : 427 bt427-243:0(917)X1454089
2261.98/2262.23	conflict 57lvl : 435 bt435-428:0(553)X1454300
2261.98/2262.24	conflict 56lvl : 434 bt434-422:0(606)X1454360
2261.98/2262.26	conflict 84lvl : 432 bt432-422:0(605)X1454419
2262.38/2262.69	conflict 139lvl : 427 bt4273:0(924)X1454506
2262.78/2263.06	conflict 138lvl : 427 bt4271:0(925)X1454648
2263.18/2263.43	conflict 138lvl : 427 bt427243:0(915)X1454789
2263.68/2263.92	conflict 137lvl : 427 bt427243:0(907)X1454930
2263.98/2264.29	conflict 263lvl : 427 bt4275:0(909)X1455070
2264.38/2264.66	conflict 266lvl : 427 bt42736:0(903)X1455336
2272.88/2273.15	conflict 84lvl : 396 bt396-646:0(909)X1455605
2273.28/2273.52	conflict 57lvl : 427 bt427-706:0(947)X1455692
2273.98/2274.25	conflict 214lvl : 427 bt42747:0(943)X1455752
2281.18/2281.48	conflict 136lvl : 427 bt42740:0(949)X1455969
2284.78/2285.08	conflict 216lvl : 396 bt39634:0(919)X1456108
2284.88/2285.11	conflict 57lvl : 435 bt435-38:0(551)X1456327
2285.28/2285.57	conflict 57lvl : 435 bt435-428:0(577)X1456387
2285.28/2285.59	conflict 56lvl : 433 bt433-422:0(629)X1456447
2285.78/2286.00	conflict 57lvl : 424 bt424-221:0(648)X1456506
2285.98/2286.21	conflict 57lvl : 411 bt411-191:0(692)X1456566
2287.08/2287.34	conflict 84lvl : 410 bt410729:0(646)X1456626
2288.18/2288.48	conflict 164lvl : 411 bt411740:0(652)X1456713
2289.38/2289.63	conflict 163lvl : 410 bt410731:0(650)X1456880
2289.88/2290.10	conflict 57lvl : 435 bt435-422:0(638)X1457046
2291.68/2291.90	conflict 57lvl : 435 bt435-488:0(577)X1457106
2291.98/2292.29	conflict 57lvl : 425 bt425-428:0(591)X1457166
2293.28/2293.57	conflict 57lvl : 420 bt420-428:0(573)X1457226
2294.67/2294.90	conflict 57lvl : 435 bt435-578:0(591)X1457286
2294.87/2295.16	conflict 57lvl : 410 bt410-725:0(914)X1457346
2298.27/2298.53	conflict 57lvl : 435 bt435-638:0(595)X1457406
2298.37/2298.68	conflict 82lvl : 420 bt420-638:0(578)X1457466
2298.57/2298.81	conflict 57lvl : 410 bt410-821:0(622)X1457551
2299.88/2300.11	conflict 82lvl : 411 bt411-199:0(654)X1457611
2299.88/2300.12	conflict 138lvl : 410 bt410-190:0(727)X1457696
2299.88/2300.13	conflict 157lvl : 410 bt410-566:0(628)X1457837
2299.88/2300.14	conflict 135lvl : 409 bt409740:0(695)X1457997
2300.07/2300.35	conflict 84lvl : 398 bt398-23:0(972)X1458135
2300.07/2300.37	conflict 83lvl : 397 bt397-23:0(970)X1458222
2300.07/2300.39	conflict 110lvl : 396 bt39693:0(958)X1458308
2300.17/2300.43	conflict 57lvl : 395 bt395-84:0(976)X1458421
2300.17/2300.44	conflict 83lvl : 395 bt395-579:0(899)X1458481
2300.17/2300.46	conflict 83lvl : 396 bt396-84:0(951)X1458567
2300.17/2300.47	conflict 83lvl : 396 bt396-85:0(966)X1458653
2336.18/2336.41	conflict 57lvl : 435 bt435-578:0(553)X1458739
2336.57/2336.88	conflict 57lvl : 435 bt435-488:0(579)X1458799
2337.07/2337.32	conflict 57lvl : 424 bt424-229:0(648)X1458859
2337.57/2337.83	conflict 160lvl : 396 bt396-190:0(861)X1458919
2337.57/2337.85	conflict 136lvl : 395 bt395-884:0(679)X1459082
2337.57/2337.86	conflict 57lvl : 395 bt395-16:0(890)X1459221
2373.67/2373.98	conflict 56lvl : 430 bt430-32:0(608)X1459281
2374.67/2374.92	conflict 82lvl : 420 bt420-548:0(620)X1459340
2392.57/2392.87	conflict 57lvl : 421 bt421-648:0(554)X1459425
2393.27/2393.56	conflict 134lvl : 419 bt419-488:0(658)X1459485
2393.77/2394.03	conflict 84lvl : 396 bt39670:0(948)X1459622
2393.77/2394.06	conflict 57lvl : 395 bt395-161:0(576)X1459709
2393.77/2394.08	conflict 112lvl : 394 bt3949:0(568)X1459769
2394.17/2394.42	conflict 57lvl : 374 bt374-39:0(980)X1459884
2394.17/2394.43	conflict 57lvl : 374 bt374-80:0(995)X1459944
2394.17/2394.45	conflict 138lvl : 374 bt374370:0(876)X1460004
2394.17/2394.46	conflict 107lvl : 374 bt374-350:0(889)X1460145
2394.47/2394.80	conflict 213lvl : 427 bt42731:0(938)X1460255
2396.87/2397.19	conflict 211lvl : 427 bt42747:0(946)X1460471
2400.07/2400.30	
2400.07/2400.30	c *** INTERRUPTED ***
2400.07/2400.30	s SATISFIABLE
2400.07/2400.30	c Best value found: 3701
2400.07/2400.30	
2400.07/2400.30	
2400.07/2400.30	v <instantiation type='solution' cost='3701'>
2400.07/2400.30	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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] 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[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[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[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[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[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[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[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[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[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[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[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[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[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[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[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[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[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[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[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[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[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[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[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[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[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[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[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[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[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[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[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[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[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[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[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[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[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[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] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[2

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-4240515-1500638281/watcher-4240515-1500638281 -o /tmp/evaluation-result-4240515-1500638281/solver-4240515-1500638281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500635810-5918 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240515-1500638281.xml 

pid=6396
running on 4 cores: 0,2,4,6

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.05 3/186 6399
/proc/meminfo: memFree=31405072/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 17262606 27770880 807 33554432000 4194304 5970956 140720523624448 140720523621096 139884651580389 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 6780 807 703 434 0 144 0

[startup+0.100176 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6399
/proc/meminfo: memFree=31405072/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=41024 CPUtime=0.09 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 3483 0 0 0 9 0 0 0 20 0 1 0 17262606 42008576 3290 33554432000 4194304 5970956 140720523624448 140720523611768 139884651580389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10256 3290 786 434 0 3620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41024

[startup+0.200399 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6399
/proc/meminfo: memFree=31405072/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=41816 CPUtime=0.18 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 3692 0 0 0 18 0 0 0 20 0 1 0 17262606 42819584 3488 33554432000 4194304 5970956 140720523624448 140720523621320 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10454 3488 786 434 0 3818 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 41816

[startup+0.300348 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6399
/proc/meminfo: memFree=31405072/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=41948 CPUtime=0.28 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 3728 0 0 0 28 0 0 0 20 0 1 0 17262606 42954752 3554 33554432000 4194304 5970956 140720523624448 140720523622008 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10487 3554 788 434 0 3851 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41948

[startup+0.700294 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6399
/proc/meminfo: memFree=31405072/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=42608 CPUtime=0.68 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 3905 0 0 0 68 0 0 0 20 0 1 0 17262606 43630592 3686 33554432000 4194304 5970956 140720523624448 140720523621272 5136623 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10652 3686 792 434 0 4016 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42608

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31393508/32770624 swapFree=6652/525488
[pid=6399] ppid=6396 vsize=42608 CPUtime=1.48 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 3951 0 0 0 148 0 0 0 20 0 1 0 17262606 43630592 3752 33554432000 4194304 5970956 140720523624448 140720523611752 4933072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10652 3752 792 434 0 4016 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42608

[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31393008/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=42736 CPUtime=3.09 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 6558 0 0 0 308 1 0 0 20 0 1 0 17262606 43761664 3825 33554432000 4194304 5970956 140720523624448 140720523621784 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10684 3825 792 434 0 4048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42736

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31392856/32770624 swapFree=6652/525496
[pid=6399] ppid=6396 vsize=42736 CPUtime=6.28 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 9362 0 0 0 627 1 0 0 20 0 1 0 17262606 43761664 3909 33554432000 4194304 5970956 140720523624448 140720523622008 5047532 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10684 3909 792 434 0 4048 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42736

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31389404/32770624 swapFree=6652/525512
[pid=6399] ppid=6396 vsize=42736 CPUtime=12.69 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 12294 0 0 0 1267 2 0 0 20 0 1 0 17262606 43761664 4548 33554432000 4194304 5970956 140720523624448 140720523622008 4934350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10684 4548 792 434 0 4048 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42736

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31388668/32770624 swapFree=6652/525528
[pid=6399] ppid=6396 vsize=42736 CPUtime=25.48 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 16447 0 0 0 2546 2 0 0 20 0 1 0 17262606 43761664 4570 33554432000 4194304 5970956 140720523624448 140720523622008 4934346 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 10684 4570 792 434 0 4048 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42736

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6401
/proc/meminfo: memFree=31388528/32770624 swapFree=6652/525560
[pid=6399] ppid=6396 vsize=45588 CPUtime=51.08 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 18269 0 0 0 5106 2 0 0 20 0 1 0 17262606 46682112 4768 33554432000 4194304 5970956 140720523624448 140720523621784 5136625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11397 4768 793 434 0 4761 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45588

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6463
/proc/meminfo: memFree=31390016/32770624 swapFree=6652/525652
[pid=6399] ppid=6396 vsize=45588 CPUtime=102.28 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 19930 0 0 0 10226 2 0 0 20 0 1 0 17262606 46682112 4813 33554432000 4194304 5970956 140720523624448 140720523621784 5327005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11397 4813 793 434 0 4761 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 45588

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6472
/proc/meminfo: memFree=31389108/32770624 swapFree=6652/525748
[pid=6399] ppid=6396 vsize=45720 CPUtime=162.27 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 21072 0 0 0 16225 2 0 0 20 0 1 0 17262606 46817280 4950 33554432000 4194304 5970956 140720523624448 140720523621784 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4950 793 434 0 4794 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 45720

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6495
/proc/meminfo: memFree=31388672/32770624 swapFree=6652/525812
[pid=6399] ppid=6396 vsize=45720 CPUtime=222.27 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 21886 0 0 0 22225 2 0 0 20 0 1 0 17262606 46817280 4952 33554432000 4194304 5970956 140720523624448 140720523621784 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4952 793 434 0 4794 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 45720

[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 6496
/proc/meminfo: memFree=31388832/32770624 swapFree=6652/525860
[pid=6399] ppid=6396 vsize=45720 CPUtime=282.26 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 22698 0 0 0 28224 2 0 0 20 0 1 0 17262606 46817280 4952 33554432000 4194304 5970956 140720523624448 140720523621784 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4952 793 434 0 4794 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 45720

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 6497
/proc/meminfo: memFree=31388680/32770624 swapFree=6652/525916
[pid=6399] ppid=6396 vsize=45720 CPUtime=342.25 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 23472 0 0 0 34223 2 0 0 20 0 1 0 17262606 46817280 4952 33554432000 4194304 5970956 140720523624448 140720523621784 4969776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4952 793 434 0 4794 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 45720

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 6498
/proc/meminfo: memFree=31388732/32770624 swapFree=6652/525948
[pid=6399] ppid=6396 vsize=45720 CPUtime=402.25 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 24275 0 0 0 40223 2 0 0 20 0 1 0 17262606 46817280 4952 33554432000 4194304 5970956 140720523624448 140720523621784 5136797 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4952 793 434 0 4794 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 45720

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6499
/proc/meminfo: memFree=31388788/32770624 swapFree=6652/525980
[pid=6399] ppid=6396 vsize=45720 CPUtime=462.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 25074 0 0 0 46222 2 0 0 20 0 1 0 17262606 46817280 4952 33554432000 4194304 5970956 140720523624448 140720523621784 4934460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4952 793 434 0 4794 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 45720

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6500
/proc/meminfo: memFree=31388460/32770624 swapFree=6652/526056
[pid=6399] ppid=6396 vsize=45720 CPUtime=522.23 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 25919 0 0 0 52221 2 0 0 20 0 1 0 17262606 46817280 4968 33554432000 4194304 5970956 140720523624448 140720523621784 5136786 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4968 793 434 0 4794 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 45720

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6501
/proc/meminfo: memFree=31388092/32770624 swapFree=6652/526108
[pid=6399] ppid=6396 vsize=45720 CPUtime=582.23 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 26663 0 0 0 58221 2 0 0 20 0 1 0 17262606 46817280 4974 33554432000 4194304 5970956 140720523624448 140720523621784 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 4974 793 434 0 4794 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 45720


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 6534
/proc/meminfo: memFree=31388332/32770624 swapFree=6652/526804
[pid=6399] ppid=6396 vsize=45720 CPUtime=1542.15 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 38993 0 0 0 154212 3 0 0 20 0 1 0 17262606 46817280 5047 33554432000 4194304 5970956 140720523624448 140720523621784 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5047 793 434 0 4794 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 45720

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6536
/proc/meminfo: memFree=31387144/32770624 swapFree=6652/526856
[pid=6399] ppid=6396 vsize=45720 CPUtime=1602.14 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 39573 0 0 0 160211 3 0 0 20 0 1 0 17262606 46817280 5056 33554432000 4194304 5970956 140720523624448 140720523621784 4934354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5056 793 434 0 4794 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 45720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6538
/proc/meminfo: memFree=31386960/32770624 swapFree=6652/526908
[pid=6399] ppid=6396 vsize=45720 CPUtime=1662.13 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 40431 0 0 0 166210 3 0 0 20 0 1 0 17262606 46817280 5070 33554432000 4194304 5970956 140720523624448 140720523621784 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5070 793 434 0 4794 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 45720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6539
/proc/meminfo: memFree=31386732/32770624 swapFree=6652/526940
[pid=6399] ppid=6396 vsize=45720 CPUtime=1722.13 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 41230 0 0 0 172210 3 0 0 20 0 1 0 17262606 46817280 5075 33554432000 4194304 5970956 140720523624448 140720523621784 5047698 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5075 793 434 0 4794 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 45720

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6540
/proc/meminfo: memFree=31386732/32770624 swapFree=6652/526976
[pid=6399] ppid=6396 vsize=45720 CPUtime=1782.12 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 41905 0 0 0 178209 3 0 0 20 0 1 0 17262606 46817280 5075 33554432000 4194304 5970956 140720523624448 140720523621784 5045319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5075 793 434 0 4794 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 45720

[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6542
/proc/meminfo: memFree=31387340/32770624 swapFree=6652/527008
[pid=6399] ppid=6396 vsize=45720 CPUtime=1842.12 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 42554 0 0 0 184209 3 0 0 20 0 1 0 17262606 46817280 5075 33554432000 4194304 5970956 140720523624448 140720523621784 5047618 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5075 793 434 0 4794 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 45720

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6543
/proc/meminfo: memFree=31387476/32770624 swapFree=6652/527048
[pid=6399] ppid=6396 vsize=45720 CPUtime=1902.11 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 43198 0 0 0 190208 3 0 0 20 0 1 0 17262606 46817280 5075 33554432000 4194304 5970956 140720523624448 140720523621784 4934335 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5075 793 434 0 4794 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 45720

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6551
/proc/meminfo: memFree=31387568/32770624 swapFree=6652/527100
[pid=6399] ppid=6396 vsize=45720 CPUtime=1962.11 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 44053 0 0 0 196208 3 0 0 20 0 1 0 17262606 46817280 5077 33554432000 4194304 5970956 140720523624448 140720523621784 4934460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5077 793 434 0 4794 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 45720

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6552
/proc/meminfo: memFree=31387288/32770624 swapFree=6652/527184
[pid=6399] ppid=6396 vsize=45720 CPUtime=2022.1 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 44652 0 0 0 202207 3 0 0 20 0 1 0 17262606 46817280 5080 33554432000 4194304 5970956 140720523624448 140720523621784 4934506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5080 793 434 0 4794 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 45720

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6553
/proc/meminfo: memFree=31387208/32770624 swapFree=6652/527248
[pid=6399] ppid=6396 vsize=45720 CPUtime=2082.1 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 45259 0 0 0 208207 3 0 0 20 0 1 0 17262606 46817280 5083 33554432000 4194304 5970956 140720523624448 140720523621784 4934354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5083 793 434 0 4794 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 45720

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6554
/proc/meminfo: memFree=31387368/32770624 swapFree=6652/527324
[pid=6399] ppid=6396 vsize=45720 CPUtime=2142.09 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 46148 0 0 0 214206 3 0 0 20 0 1 0 17262606 46817280 5106 33554432000 4194304 5970956 140720523624448 140720523621784 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5106 793 434 0 4794 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 45720

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6555
/proc/meminfo: memFree=31387416/32770624 swapFree=6652/527344
[pid=6399] ppid=6396 vsize=45720 CPUtime=2202.09 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 46777 0 0 0 220206 3 0 0 20 0 1 0 17262606 46817280 5106 33554432000 4194304 5970956 140720523624448 140720523621784 5136625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5106 793 434 0 4794 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 45720

[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6556
/proc/meminfo: memFree=31387340/32770624 swapFree=6652/527376
[pid=6399] ppid=6396 vsize=45720 CPUtime=2262.08 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 47728 0 0 0 226205 3 0 0 20 0 1 0 17262606 46817280 5117 33554432000 4194304 5970956 140720523624448 140720523621784 4934506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5117 793 434 0 4794 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 45720

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6557
/proc/meminfo: memFree=31386600/32770624 swapFree=6652/527452
[pid=6399] ppid=6396 vsize=45720 CPUtime=2322.07 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 48412 0 0 0 232204 3 0 0 20 0 1 0 17262606 46817280 5124 33554432000 4194304 5970956 140720523624448 140720523621784 4934460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5124 793 434 0 4794 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 45720

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6558
/proc/meminfo: memFree=31386964/32770624 swapFree=6652/527492
[pid=6399] ppid=6396 vsize=45720 CPUtime=2382.07 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 49017 0 0 0 238204 3 0 0 20 0 1 0 17262606 46817280 5125 33554432000 4194304 5970956 140720523624448 140720523621784 4934357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5125 793 434 0 4794 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 45720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6558
/proc/meminfo: memFree=31387056/32770624 swapFree=6652/527508
[pid=6399] ppid=6396 vsize=45720 CPUtime=2400.07 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 49622 0 0 0 240004 3 0 0 20 0 1 0 17262606 46817280 5128 33554432000 4194304 5970956 140720523624448 140720523621784 4974400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5128 793 434 0 4794 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 45720

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 6399 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6558
/proc/meminfo: memFree=31387056/32770624 swapFree=6652/527508
[pid=6399] ppid=6396 vsize=45720 CPUtime=2400.07 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 3969 0 -1 4202496 49622 0 0 0 240004 3 0 0 20 0 1 0 17262606 46817280 5128 33554432000 4194304 5970956 140720523624448 140720523621784 4974400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 13815808 140720523629756 140720523629891 140720523629891 140720523632590 0
/proc/6399/statm: 11430 5128 793 434 0 4794 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 45720

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.038996
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 45720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.038996
maximum resident set size= 20556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49674
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= 16
involuntary context switches= 123017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06949 second user time and 8.44683 second system time

The end

Launcher Data 

Begin job on node141 at 2017-07-21 13:58:01
IDJOB=4240515
IDBENCH=123048
IDSOLVER=2621
FILE ID=node141/4240515-1500638281
RUNJOBID= node141-1500635810-5918
PBS_JOBID= 20622992
Free space on /tmp= 61992 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug30.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240515-1500638281/watcher-4240515-1500638281 -o /tmp/evaluation-result-4240515-1500638281/solver-4240515-1500638281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500635810-5918 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240515-1500638281.xml

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

MD5SUM BENCH= 7992d423b18f632a54772c1bcf249848
RANDOM SEED=578994282

node141.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		: 1600.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.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.27
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.27
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		: 1867.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		: 1867.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.27
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:        31405972 kB
MemAvailable:   31995924 kB
Buffers:          162272 kB
Cached:           714568 kB
SwapCached:            0 kB
Active:           398428 kB
Inactive:         542840 kB
Active(anon):      66808 kB
Inactive(anon):    17084 kB
Active(file):     331620 kB
Inactive(file):   525756 kB
Unevictable:        6652 kB
Mlocked:            6660 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2408 kB
Writeback:             0 kB
AnonPages:         80236 kB
Mapped:            34532 kB
Shmem:             17044 kB
Slab:             122696 kB
SReclaimable:      96820 kB
SUnreclaim:        25876 kB
KernelStack:        3568 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61988 MiB
End job on node141 at 2017-07-21 14:38:02