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