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