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