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