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