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