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