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