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