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