(1,3) (2,11) (4,15) (5,23) (6,8) (7,19) (9,24) (10,16) (12,17) (13,21) (14,20) (18,26) (22,25) (27,30) 
nodes: 67063  conflicts: 56  modelTime: 1066  solveTime: 237584  totalTime: 238670  modelSize: 72266  readTime: 20 size: 14