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