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