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