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