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