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