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