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