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