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