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