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