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