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