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