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