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