(1,4) (2,28) (3,11) (5,18) (6,30) (7,12) (8,20) (9,22) (10,15) (13,23) (14,29) (16,19) (17,25) (21,26) (24,27) 
nodes: 3409  conflicts: 49  modelTime: 1708  solveTime: 14772  totalTime: 16500  modelSize: 72266  readTime: 20 size: 15