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