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