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