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