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