(1,13) (2,15) (3,25) (4,5) (6,8) (7,12) (9,21) (10,11) (14,17) (16,18) (19,27) (20,24) (22,28) (23,30) (26,29) 
nodes: 135513  conflicts: 24  modelTime: 1719  solveTime: 589517  totalTime: 591307  modelSize: 72285  readTime: 71 size: 15