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