(1,10) (2,15) (3,22) (4,6) (5,19) (7,21) (8,11) (9,28) (12,16) (13,18) (14,30) (17,29) (20,25) (23,24) (26,27) 
nodes: 24046  conflicts: 14  modelTime: 1030  solveTime: 109794  totalTime: 110924  modelSize: 72290  readTime: 100 size: 15