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