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