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