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