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