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