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