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