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