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