(1,21) (2,23) (3,6) (4,28) (5,25) (7,24) (8,9) (10,14) (11,18) (12,19) (13,15) (16,17) (20,30) (22,26) (27,29) 
nodes: 103270  conflicts: 39  modelTime: 957  solveTime: 439035  totalTime: 440002  modelSize: 72263  readTime: 10 size: 15