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