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