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