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