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