(1,3) (2,13) (4,11) (5,20) (6,14) (7,16) (8,9) (10,23) (12,22) (15,18) (17,24) (19,27) (21,30) (25,26) (28,29) 
nodes: 23426  conflicts: 45  modelTime: 1712  solveTime: 100283  totalTime: 102030  modelSize: 72262  readTime: 35 size: 15