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