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