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