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