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