(1,3) (2,28) (4,9) (5,12) (6,24) (7,17) (8,27) (10,30) (11,13) (14,25) (15,18) (16,20) (19,22) (21,29) (23,26) 
nodes: 3699  conflicts: 36  modelTime: 1705  solveTime: 17473  totalTime: 19198  modelSize: 72265  readTime: 20 size: 15