(1,16) (2,22) (3,5) (4,24) (6,14) (7,13) (8,11) (9,21) (10,29) (12,26) (15,20) (17,23) (18,19) (25,30) (27,28) 
nodes: 67501  conflicts: 38  modelTime: 1004  solveTime: 269368  totalTime: 270391  modelSize: 72262  readTime: 19 size: 15