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