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