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