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