(1,5) (2,18) (3,28) (6,19) (7,15) (8,26) (9,29) (10,14) (12,30) (13,20) (16,23) (17,21) (22,27) (24,25) 
nodes: 292453  conflicts: 39  modelTime: 964  solveTime: 1085895  totalTime: 1086871  modelSize: 72268  readTime: 12 size: 14