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