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