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