(1,5) (2,19) (3,21) (4,20) (6,15) (7,18) (8,27) (9,10) (11,14) (12,17) (13,28) (16,25) (22,29) (23,26) (24,30) 
nodes: 197662  conflicts: 33  modelTime: 1308  solveTime: 909740  totalTime: 911067  modelSize: 72275  readTime: 19 size: 15