(1,21) (2,4) (3,23) (5,15) (6,25) (7,29) (8,20) (9,28) (10,27) (11,26) (12,19) (13,16) (18,24) (22,30) 
nodes: 228683  conflicts: 31  modelTime: 1210  solveTime: 1047402  totalTime: 1048630  modelSize: 72285  readTime: 18 size: 14