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