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