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