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