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