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