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