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