(1,15) (2,20) (3,9) (4,27) (5,6) (7,22) (8,14) (10,18) (11,29) (12,25) (13,21) (16,24) (17,26) (19,23) (28,30) 
nodes: 50874  conflicts: 44  modelTime: 962  solveTime: 182530  totalTime: 183503  modelSize: 72266  readTime: 11 size: 15