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