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