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