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