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