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