(1,28) (2,18) (3,6) (4,5) (7,24) (8,21) (9,17) (10,12) (11,25) (13,29) (14,20) (15,22) (16,26) (19,23) (27,30) 
nodes: 114847  conflicts: 28  modelTime: 1722  solveTime: 598517  totalTime: 600350  modelSize: 72275  readTime: 111 size: 15