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