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