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