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