(1,18) (2,30) (4,20) (5,26) (6,29) (7,27) (8,25) (9,19) (10,23) (12,24) (13,17) (14,21) (15,22) 
nodes: 1543  conflicts: 41  modelTime: 669  solveTime: 2767  totalTime: 3442  modelSize: 41292  readTime: 6 size: 13