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