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