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