(1,18) (2,26) (3,23) (6,22) (7,29) (9,17) (10,24) (11,20) (12,30) (13,27) (14,21) (15,19) 
nodes: 1366  conflicts: 48  modelTime: 659  solveTime: 2707  totalTime: 3373  modelSize: 41292  readTime: 6 size: 12