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