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