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