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