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