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