(1,6) (2,9) (3,30) (4,17) (5,27) (7,24) (8,21) (10,26) (11,23) (12,28) (13,29) (14,20) (15,19) (16,25) (18,22) 
nodes: 79858  conflicts: 24  modelTime: 1382  solveTime: 390538  totalTime: 391938  modelSize: 72268  readTime: 18 size: 15