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