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