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