(1,18) (2,20) (3,7) (4,9) (5,17) (6,16) (8,23) (10,12) (11,26) (13,22) (14,27) (15,21) (19,25) (24,29) (28,30) 
nodes: 114471  conflicts: 31  modelTime: 971  solveTime: 486910  totalTime: 487892  modelSize: 72266  readTime: 11 size: 15