(1,30) (2,11) (3,10) (4,20) (5,16) (6,24) (7,18) (8,15) (9,28) (12,13) (14,27) (17,22) (19,26) (21,29) (23,25) 
nodes: 63045  conflicts: 39  modelTime: 1716  solveTime: 299812  totalTime: 301547  modelSize: 72268  readTime: 19 size: 15