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