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