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