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