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