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