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