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