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