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