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