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