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