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