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