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