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