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