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