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