(1,27) (2,19) (3,20) (4,9) (5,23) (6,11) (7,22) (8,18) (10,26) (12,28) (13,14) (15,25) (21,24) (29,30) 
nodes: 59592  conflicts: 33  modelTime: 974  solveTime: 262652  totalTime: 263658  modelSize: 72275  readTime: 32 size: 14