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