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