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