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