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