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