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