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