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