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