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