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