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