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