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