(3,23) (4,29) (5,20) (6,25) (7,19) (9,26) (10,18) (11,27) (12,28) (13,17) (14,22) (15,30) 
nodes: 1283  conflicts: 49  modelTime: 692  solveTime: 3199  totalTime: 3897  modelSize: 41292  readTime: 6 size: 12