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