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