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