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