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