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