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