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