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