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