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