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