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