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