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