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