(1,6) (2,9) (3,12) (4,10) (5,13) (7,11) (8,17) (14,20) (15,22) (16,26) (18,28) (19,24) (21,25) (23,27) (29,30) 
nodes: 294881  conflicts: 8  modelTime: 1191  solveTime: 1608892  totalTime: 1610176  modelSize: 72264  readTime: 92 size: 15