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