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