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