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