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