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