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