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