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