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