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